version 1.1.2: added support for height ouput even in cases where all triangulations are regular; supported transformation to full rank also in checkregularity and points2placingtriang; completed IntegerSet64 with missing functions available for IntegerSet; fixed template overload with identical types on 32-bit systems by making parameter_type signed; fixed output of heights in checkregularity client; made murmur hash function 32bit-safe; some more technical bugfixes for 32bit compatibility version 1.1.1: first bug fixes based on reports; configure script now allows to use system-wide gmp installation version 1.1.0: upgraded version for first distribution of the new TOPCOM version 1.0.19: many general corrections and improvements; corrected a determinant calculation in VirtualChiro for the case of --memopt version 1.0.18: supported a prescribed cardinality for the enumeration of all triangulations; fully supported the lazy evaluation of chirotope determinant values (not only the signs) version 1.0.17: excluded flips on positive circuits in order to provide a sensible result for totally cyclic point configurations; shifted the output of heights to the same output stream where the triangulations are output version 1.0.16: added an option to utilize Permlib for symmetry computations (temporary and only for testing) version 1.0.15: implemented a novel canonicity-check combined from switch tables and the Pech-Reichard algorithm, which is suitable when the order of the symmetry group is much larger than the degree version 1.0.14: implemented construction of switch tables directly from generators; fixed some indexing and memory management bugs version 1.0.13: upgraded to c++17 standard; drastically improved the cocircuit enumeration by better pruning version 1.0.12: improved some memory management details version 1.0.11: improved the implementation of switch tables including renaming them to the original name "switch table"; improved the symmetry check for subsets (can be deactivated with --memopt); added a more cache coherent representation of symmetries for the enumeration of all triangulations version 1.0.10: added an alternative algorithm for cocircuit enumeration version 1.0.9: added non-sophisticated support to compute all vertices of a point configuration via circuits; added a graphics module to generate graphics output for the graphics language "asymptote" version 1.0.8: used lex-comparison of integer sets only for sets of equal cardinality; in the lex-order enumeration case of all triangulations now the processing of admissibles in a partial triangulation is stopped as soon as the lex-minimal interior facet is lex-smaller than the lex-minimal facet of the new simplex because all further admissible simplices will have the same property version 1.0.7: added the Cayley embedding of two hypersimplices to the example clients as an extension to the "hypersimplex" client; exchanged the parameters to the order "dimension", "sum"[, "sum2"]; a minimal triangulations is now output in points2mintriang and chiro2mintriang version 1.0.6: introduced an extendability check relying on the lex-order of all simplices; bug fixes version 1.0.5: improved RegularityCheck by enhancing the chirotope by the rational values of all determinants, which have always been computed anyway but have never been used; supported usage of GKZ vectors as a proxy for detection of an old symmetry class; improved the order of extendability and symmetry checks in enumeration of all triangulations version 1.0.4: fixed a bug where the report_progress function was totally enclosed in a critical section, where only the actual output is critical; all waits of conditional variables are now enclosed in appropriate while loops version 1.0.3: encapsulated TOPCOM into the name space "topcom" version 1.0.2: updated the interface to the soplex LP solver version 1.0.1: implemented a more capable node type with symmetry support for the enumeration of (co-)circuits to be used in SymmetricSubsetGraph; used the same concept for the enumeration of triangulations using a representation of symmetries in terms of permutations of simplex indices version 1.0.0: implemented a simple version of the mts principle by Avis & Jordan ("A parallel framework for reverse search using mts") for the clients to enumerate all triangulations and (co)circuits, resp.; introduced classification tables for symmetries to speed up the check for the existence of lex-decreasing symmetries; implemented multithreading into symmetry orbit processing; implemented an interface to QSopt_ex; upgraded to gmp-6.2.0 and to cddlib-0.94j; remark: the general code cleanup and the major technical changes can make hidden errors more likely; if in doubt wait for bug-fixed releases with larger minor version numbers version 0.19.3: improved the enumeration algorithms for (co)circuits by checking for old symmetry class by the existence of colex-increasing permutations version 0.19.2: reorganized the code by calling the flip graph enumeration structure SymmetricFlipGraph instead of SymmetricBFS and the extension graph structure SymmetricExtensionGraph instead of SymmetricDFS because both can be explored by both BFS and DFS; adapted the old chiro2mintriang client to the new SymmetricExtensionGraph methods; added a matching points2mintriang client; corrected an error in the extendability obstruction: two free facets might be covered by the same simplex, in which case that simplex as an extension at one freefacet is not admissible to itself as an extension to the other freefacet. version 0.19.1: replaced the simplistic enumeration of all triangulations in the client points/chiro2(n)alltriangs by a more sophisticated preprocessing structure and a modified algorithm that uses a certificate for non-extendability of a partial triangulation (a drastic improvement); moreover, at last, it supports symmetries. version 0.19.0: added a new implementation of circuit enumeration utilizing symmetries; reorganized the code for enumeration of all triangulations so that the algorithm uses symmetries as well; added a class IntegerSet64 that can be used instead of IntegerSet for subsets of {0, 1, 2, ..., 63}. No check is performed; instead all element numbers are considered modulo 64; using this structure for simplices can be switched on by a compiler define version 0.18.0: added more efficient clients "2circuits" for computing/counting all circuits of a point configuration/chirotope using symmetries version 0.17.9: issue an error message when "--regular" is given but all triangulations shall be computed version 0.17.8: pure bugfix: the wrong version of gmp was packaged; must be 6.1.1 by now version 0.17.7: fixed a bug in SPXinterface.cc where a new[] had a non-matching delete modernized autoconf/automake initialization updated gmp to version 6.1.1 version 0.17.6: added a command line option that allows only balanced flips version 0.17.5: renamed the static "nullptr()" method for SmartPtr to "smartnullptr()" because the standard literal "nullptr" is implemented as a macro in gcc-4.2.1 such that the declaration of "nullptr()" in class SmartPtr gets corrupted forced "$libdir" in "external" to "lib" in order to avoid problems with autoconf installations that use lib64 on 64-bit systems and multi-binary systems (no harm here because the installation of externals is done only local inside the TOPCOM build tree) removed usage of unordered_set/map altogether because of differing include paths of different compilers for that same reason, the profiling tool "bench" was removed from the distribution version 0.17.4: gmpxx.h is now overloaded by a version that canonicalizes all rational input data right away version 0.17.3: updated to gmp-5.0.5 since "0/5 != 0" in mpq_class (gmp), introduced a special "is_zero" test for Rationals that only uses the numerator version 0.17.2: correction of a syntax issue with gcc 4.7 update of the address of the FSF in COPYING and README (thanks to the Fedora team for the report!) version 0.17.1: correction of read from input stream in Facets.hh ID for triangulations allowing for an option to output flip edges version 0.17.0: new function to construct Birkhoff subpolytopes new function to transform point configuration to full rank representation (carefull: this may change normalized volumes) version 0.16.4: updated alternative STL structures to modern gcc added command line option "--reportfrequency [n]" with the meaning that every [n]th new triangulation triggers a report to stderr version 0.16.3: changed shell command for external builds from csh to sh output heights in terms of exact fractions not doubles version 0.16.2: external includes/libs are now allways taken from external/include resp. external/lib version 0.16.1: improved automatic build of external packages gmp and cdd vanilla-cdd function "dd_free_global_constants" is now used instead of "dd_clear_global_constants" version 0.16.0: dumped polymake wrappers and switched to gmpxx wrappers version 0.15.4: updated documentation version 0.15.3: fixed dump file processing version 0.15.2: removed extra qualification "__is_const_iterator::" and similar fixed dump support by adding "clear()" at the beginning of parsing hash tables version 0.15.1: patched cdd because of memory leak version 0.15.0: new commandline option "--nonregular": it triggers an output filter so that only the nonregular triangulations are output. As opposed to "--regular" it does not reduce the number of triangulations explored; provided some new clients for points that have been there already for chirotopes updated to gmp-4.2.1 and cddlib-0.94b version 0.14.0: first version that compiles on gcc4 chiro2* returns an error now if --regular is given as an option (regularity is not a well-defined concept without coordinates) version 0.13.3: corrections in template specializations new generator for hypersimplices new examples version 0.13.2: corrections in the usage message automake 1.7 adaptions corrected a bug that made the computation of the closure of the symmetry generators slow (gcc should not have compiled the old code since it contained a const bug) version 0.13.1: automated the installation of external packages gmp and cddlib in external by the configure script automatic detection of soplex and addition to the set of libraries in LIBS version 0.13.0: new command line options --soplex : use soplex for regularity check (unstable) --nosym : ignore symmetries --heights: output height vector for every regular triangulation (requires --regular as well) corrected a bug causing regularity check being called unnecessarily often patched gmp wrappers so that there is some chance that the package compiles under gcc 2.95 (only checked on PPC) version 0.12.1: new interface to soplex (be aware that regularity checks using soplex maybe incorrect because of numerical problems) version 0.12.0b: bug fix release: 0.12.0 mistakenly required soplex version 0.12.0: compatibility to gcc3.2 version 0.11.1: correction of an error in the distribution (tweaks.h was missing) default is again to use uncompressed integer sets version 0.11.0: new gmp wrappers from the polymake team added commandline options to reduce the number of points and to check regularity in fixed frequencies added support for the use of a compressed integer set stucture in simplicial complexes version 0.10.2: added new commandline options for checking regularity at a fixed frequency reducing flips to vertex-removing flips forbidding vertex-inserting flips upgraded to automake 1.5 version 0.10.1: Replaced the use of HashSet by STL set for relatively small sets hash function uses multiplication instead of xor again (reduces chaining in large sets considerably). Introduced an invariant for bitsets to speed up negative equality check and pseudo-lexicographic comparison. Simplified hash function for IntegerSets and SimplicialComplexes by exploiting the invariant. Accellerated the IntegerSet iterator by using byte tables for first set bit and nunber of set bits. Introduced compiler flags to replace some container structures by STL standard containers; fastest setting at the time being is `-DSTL_SYMMETRIES' since the only relevant operations for symmetries are constant iteration and iterator dereferencing, which is faster in ordered sets than in HashSets. version 0.10.0: Incorporated cddlib and a commandline option to count only regular triangulations. version 0.9.3: Updated for gcc3: mainly additions of `std::'. Replaced lrand48() by random() for the universal randomized hashing because MacOSX-gcc-stdlib does not contain lrand48(). Removed explicit template instantiation because that does not work on all systems (thanks Ulrich Kortenkamp for reports on installing TOPCOM on MacOSX). version 0.9.2: Bug fixes: removed and attempt to overload `xor'. Removed some offending friend declarations in definitons of internal classes. Added a commandline parameter `-no ' specifying that only triangulations with exactly n simplices are considered. version 0.9.1: Added a program `lattice m n' to compute the point configuration of all lattice points in the rectangle [0,0], [m,0], [0,n], [m,n]. Added `chiro2[n]allfinetriangs'. Added `triangs' with new command line parameters in order to eventually reduce the number of binaries in the TOPCOM package version 0.9.0: Adapted to gmp-3.1 with the help of polymake. Field is now a synonym of Rational, i.e., the possibility of choosing double arithmetic was removed. Fixed a bug in cyclic.cc that produced too large coordinates (submitted by Julian Pfeifle). version 0.5.6: Fixed a bug in wrap-gmp/Makefile.am: include path pointed to wrong version of gmp. version 0.5.5: Fixed a bug in VirtualChiro.cc that caused segfaults in chiro2[n]triangs Version 0.5.4: Minor changes in the documentation files and comments. For details concerning the Santos triangulation see Francisco Santos' paper ``A Point Set whose Space of Triangulations is Disconnected'' Journal of the American Mathematical Society, to appear. Version 0.5.3: Minor changes in the documentation files and comments Version 0.5.2: Bugfix in santos_triang Version 0.5.1: added points2flips, points2nflips: computes only the flips of the seed triangulation. The commands {chiro,points}2{[n][fine]triangs} accept a seed triangulation given by the user. added some command line options -m: try to comsume less memory -c: check the seed triangulation given by the user -cc : set the chirotope cache size to bases. -v: verbose The famous brandnew triangulation without flips constructed recently by Francisco Santos is now included in the examples directory (courtesy of Francisco Santos). Moreover, there is a program `santos_triang' that computes the input data of the Santos triangulation for TOPCOM. With this equipment everybody should be able to check that spectacular result by typing the command santos_triang | points2nflips -v -c -m and waiting like ten minutes. Version 0.4.0: added points2triangs, points2ntriangs, points2finetriangs, points2nfinetriangs, points2placingtriang, points2finetriang: commands computing the data from the point set by constructing its chirotope on the fly (lazy evaluation). Version 0.3.0: added chiro2finetriang, chiro2finetriangs, chiro2nfinetriangs: commands providing only triangulations using all vertices verbosity is controlled via commandline option -v Version 0.2.0: changed representation of flips Version 0.1.3: replaced libg++ arithmetics by libgmp plus polymake wrappers (courtesy of E. Gawrilov and M. Joswig) Version 0.1.2: removed dfschiro2ntriangs from the distribution Version 0.1.1: the point [0, ..., 0] is now rejected added dfschiro2ntriangs; might save memory over chiro2ntriangs Version 0.1: first distributed version