1sympol(1) User Commands sympol(1)
2
6 sympol - symmetric polyhedra tool
7
9 sympol [OPTIONS] [INPUT_FILE]
10
12 SymPol computes restricted automorphisms of polyhedra and performs
13 polyhedral description conversion up to a given or computed symmetry
14 group.
15 SymPol mostly uses the .ine/.ext file format used by cddlib and lrslib;
17 (http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats).
18 However, unlike cddlib, SymPol requires that every inequality (H-repre‐
19 sentation) or vertex and ray (V-representation) occupy a single line.
20 In addition, SymPol offers an extension to the format
21 The extension permits the inclusion of the automorphism group of a
23 polyhedron, or parts of it, in the file. It is given after the end of
24 the H- or V-representation of a permutation group, as follows.
25 permutation group
27 p
28 { list of #p group generators }
29 q
30 { #q base points separated by whitespace }
31 The p group generators are to be given in cycle form, where commas sep‐
33 arate cycles. The value q may be set to zero if no base of the group
34 is known.
35
37 -h, --help
38 Show a help message.
39 -v, --verbose[=N]
41 Set the verbosity level, 0 by default. If N is omitted, 1 is
42 assumed.
43 -t, --time
45 Enable time measurement.
46 -i, --input-file FILE
48 Read an input file (.ine or .ext). The file can also be listed
49 last on the command line.
50 --automorphisms-only
52 Compute only restricted automorphisms and then exit.
53 --no-automorphisms
55 Ignores the given symmetry group and does not attempt to compute
56 restricted automorphisms.
57 --bliss
59 Use bliss graph automorphism tool to compute restricted automor‐
60 phisms (default if bliss is available).
61 --permlibmatrix
63 Use PermLib matrix automorphism search to compute restricted
64 automorphisms.
65 --eigen
67 Use floating point arithmetic based on Eigen to compute
68 restricted automorphisms.
69 -e, --estimation-only
71 Compute only LRS estimation and then exit.
72 -d, --direct
74 Compute dual description directly.
75 -a, --adm
77 Use one level of adjacency decomposition, solve subproblems
78 directly.
79 --idm-adm-level idm-level adm-level
81 Use a combined IDM/ADM strategy with the indicated levels.
82 --adm-idm-level adm-level idm-level
84 Use a combined ADM/IDM strategy with the indicated levels.
85 --adm-estimate threshold
87 Use adjacency decomposition method up to the given estimate
88 threshold.
89 --adm-dim threshold
91 Use adjacency decomposition method up to the given dimension
92 threshold.
93 --adm-incidence threshold
95 Use adjacency decomposition method up to the given incidence
96 number threshold.
97 --idm-adm idm-threshold adm-threshold
99 Use a combined IDM/ADM strategy with the indicated thresholds.
100 --cdd Use cdd for core dual description conversion (EXPERIMENTAL).
102 --adjacencies
104 Record facet adjaencies. Requires ADM method at level 0.
105
107 --conf-lrs-estimates=N
108 The number of estimates that LRS performs (default: 8).
109 --conf-lrs-estimate-maxdepth=N
111 The maximal allowed depth of LRS estimates (default: 3).
112 --conf-compute-invariants=N
114 The maximal degree of permutation group invariant polynomials to
115 use (default: 0).
116 --conf-compute-orbit-limit=N
118 Memory limit in megabytes for computing the full orbit (default:
119 1024).
120 --conf-compute-canonical-representatives=N
122 Nonzero to compute canonical representatives for faces (default:
123 0).
124 --conf-intermediate-poly-fileprefix=PREFIX
126 Prefix for filenames in which intermediate polyhedra are saved.
127 This is useful for debugging and analyzing instances. Default:
128 empty prefix.
129SymPol 0.1.6 sympol(1)