1sympol(1)                        User Commands                       sympol(1)
2
3
4

NAME

6       sympol - symmetric polyhedra tool
7

SYNOPSIS

9       sympol [OPTIONS] [INPUT_FILE]
10

DESCRIPTION

12       SymPol  computes  restricted  automorphisms  of  polyhedra and performs
13       polyhedral description conversion up to a given  or  computed  symmetry
14       group.
15
16       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
22       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
26       permutation group
27       p
28        { list of #p group generators }
29       q
30        { #q base points separated by whitespace }
31
32       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

OPTIONS

37       -h, --help
38              Show a help message.
39
40       -v, --verbose[=N]
41              Set  the  verbosity  level, 0 by default.  If N is omitted, 1 is
42              assumed.
43
44       -t, --time
45              Enable time measurement.
46
47       -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
51       --automorphisms-only
52              Compute only restricted automorphisms and then exit.
53
54       --no-automorphisms
55              Ignores the given symmetry group and does not attempt to compute
56              restricted automorphisms.
57
58       --bliss
59              Use bliss graph automorphism tool to compute restricted automor‐
60              phisms (default if bliss is available).
61
62       --permlibmatrix
63              Use  PermLib  matrix  automorphism  search to compute restricted
64              automorphisms.
65
66       --eigen
67              Use  floating  point  arithmetic  based  on  Eigen  to   compute
68              restricted automorphisms.
69
70       -e, --estimation-only
71              Compute only LRS estimation and then exit.
72
73       -d, --direct
74              Compute dual description directly.
75
76       -a, --adm
77              Use  one  level  of  adjacency  decomposition, solve subproblems
78              directly.
79
80       --idm-adm-level idm-level adm-level
81              Use a combined IDM/ADM strategy with the indicated levels.
82
83       --adm-idm-level adm-level idm-level
84              Use a combined ADM/IDM strategy with the indicated levels.
85
86       --adm-estimate threshold
87              Use adjacency decomposition method  up  to  the  given  estimate
88              threshold.
89
90       --adm-dim threshold
91              Use  adjacency  decomposition  method  up to the given dimension
92              threshold.
93
94       --adm-incidence threshold
95              Use adjacency decomposition method up  to  the  given  incidence
96              number threshold.
97
98       --idm-adm idm-threshold adm-threshold
99              Use a combined IDM/ADM strategy with the indicated thresholds.
100
101       --cdd  Use cdd for core dual description conversion (EXPERIMENTAL).
102
103       --adjacencies
104              Record facet adjaencies.  Requires ADM method at level 0.
105

PARAMETERS

107       --conf-lrs-estimates=N
108              The number of estimates that LRS performs (default: 8).
109
110       --conf-lrs-estimate-maxdepth=N
111              The maximal allowed depth of LRS estimates (default: 3).
112
113       --conf-compute-invariants=N
114              The maximal degree of permutation group invariant polynomials to
115              use (default: 0).
116
117       --conf-compute-orbit-limit=N
118              Memory limit in megabytes for computing the full orbit (default:
119              1024).
120
121       --conf-compute-canonical-representatives=N
122              Nonzero to compute canonical representatives for faces (default:
123              0).
124
125       --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.
129
130
131
132SymPol                               0.1.6                           sympol(1)
Impressum