sympol(1) User Commands sympol(1)

sympol - symmetric polyhedra tool

sympol [OPTIONS] [INPUT_FILE]

SymPol computes restricted automorphisms of polyhedra and performs polyhedral description conversion up to a given or computed symmetry group.

SymPol mostly uses the .ine/.ext file format used by cddlib and lrslib; (http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats). However, unlike cddlib, SymPol requires that every inequality (H-representation) or vertex and ray (V-representation) occupy a single line. In addition, SymPol offers an extension to the format

The extension permits the inclusion of the automorphism group of a polyhedron, or parts of it, in the file. It is given after the end of the H- or V-representation of a permutation group, as follows.

permutation group
p
{ list of #p group generators }
q
{ #q base points separated by whitespace }

The p group generators are to be given in cycle form, where commas separate cycles. The value q may be set to zero if no base of the group is known.

Show a help message.
Set the verbosity level, 0 by default. If N is omitted, 1 is assumed.
Enable time measurement.
Read an input file (.ine or .ext). The file can also be listed last on the command line.
Compute only restricted automorphisms and then exit.
Ignores the given symmetry group and does not attempt to compute restricted automorphisms.
Use bliss graph automorphism tool to compute restricted automorphisms (default if bliss is available).
Use PermLib matrix automorphism search to compute restricted automorphisms.
Use floating point arithmetic based on Eigen to compute restricted automorphisms.
Compute only LRS estimation and then exit.
Compute dual description directly.
Use one level of adjacency decomposition, solve subproblems directly.
Use a combined IDM/ADM strategy with the indicated levels.
Use a combined ADM/IDM strategy with the indicated levels.
Use adjacency decomposition method up to the given estimate threshold.
Use adjacency decomposition method up to the given dimension threshold.
Use adjacency decomposition method up to the given incidence number threshold.
Use a combined IDM/ADM strategy with the indicated thresholds.
Use cdd for core dual description conversion (EXPERIMENTAL).
Record facet adjaencies. Requires ADM method at level 0.

The number of estimates that LRS performs (default: 8).
The maximal allowed depth of LRS estimates (default: 3).
The maximal degree of permutation group invariant polynomials to use (default: 0).
Memory limit in megabytes for computing the full orbit (default: 1024).
Nonzero to compute canonical representatives for faces (default: 0).
Prefix for filenames in which intermediate polyhedra are saved. This is useful for debugging and analyzing instances. Default: empty prefix.
0.1.6 SymPol