sympol(1) User Commands sympol(1) (NAME) sympol - (SYNOPSIS) sympol [OPTIONS] [INPUT_FILE] (DESCRIPTION) SymPol (restricted automorphisms) . SymPol .ine/.ext cddlib lrslib (http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats). cddlib SymPol (H-representation) (V-representation) . SymPol . . H V : permutation group p { list of #p group generators } q { #q base points separated by whitespace } p (cycle form) . q . (OPTIONS) -h, --help . -v, --verbose[=N] (verbosity) 0 . N 1 . -t, --time . -i, --input-file FILE (.ine .ext). . --automorphisms-only . --no-automorphisms . --bliss bliss ( bliss). --permlibmatrix PermLib . --eigen Eigen . -e, --estimation-only LRS . -d, --direct (dual description). -a, --adm (adjacency decomposition) . --idm-adm-level idm-level adm-level IDM/ADM . --adm-idm-level adm-level idm-level ADM/IDM . --adm-estimate threshold . --adm-dim threshold . --adm-incidence threshold . --idm-adm idm-threshold adm-threshold IDM/ADM . --cdd cdd (). --adjacencies (facet adjacencies). ADM 0 . (PARAMETERS) --conf-lrs-estimates=N LRS (: 8). --conf-lrs-estimate-maxdepth=N LRS (: 3). --conf-compute-invariants=N (: 0). --conf-compute-orbit-limit=N (: 1024). --conf-compute-canonical-representatives=N (: 0). --conf-intermediate-poly-fileprefix=PREFIX . . : . SymPol 0.1.6 sympol(1)