home | help 
sympol(1)			  User Commands 		       sympol(1)

NAME
     sympol - symmetric polyhedra tool

SYNOPSIS
     sympol [OPTIONS] [INPUT_FILE]

DESCRIPTION
     SymPol  computes restricted automorphisms of polyhedra and performs polyhe-
     dral 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-represen-
     tation) or vertex and ray (V-representation) occupy a single line.  In  ad-
     dition, SymPol offers an extension to the format

     The  extension permits the inclusion of the automorphism group of a polyhe-
     dron, 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.

OPTIONS
     -h, --help
	    Show a help message.

     -v, --verbose[=N]
	    Set  the  verbosity  level, 0 by default.  If N is omitted, 1 is as-
	    sumed.

     -t, --time
	    Enable time measurement.

     -i, --input-file FILE
	    Read an input file (.ine or .ext).	The file can also be listed last
	    on the command line.

     --automorphisms-only
	    Compute only restricted automorphisms and then exit.

     --no-automorphisms
	    Ignores the given symmetry group and does not attempt to compute re-
	    stricted automorphisms.

     --bliss
	    Use bliss graph automorphism tool  to  compute  restricted	automor-
	    phisms (default if bliss is available).

     --permlibmatrix
	    Use  PermLib  matrix automorphism search to compute restricted auto-
	    morphisms.

     --eigen
	    Use floating point arithmetic based on Eigen to  compute  restricted
	    automorphisms.

     -e, --estimation-only
	    Compute only LRS estimation and then exit.

     -d, --direct
	    Compute dual description directly.

     -a, --adm
	    Use  one  level  of  adjacency  decomposition, solve subproblems di-
	    rectly.

     --idm-adm-level idm-level adm-level
	    Use a combined IDM/ADM strategy with the indicated levels.

     --adm-idm-level adm-level idm-level
	    Use a combined ADM/IDM strategy with the indicated levels.

     --adm-estimate threshold
	    Use adjacency decomposition method up to the given estimate  thresh-
	    old.

     --adm-dim threshold
	    Use adjacency decomposition method up to the given dimension thresh-
	    old.

     --adm-incidence threshold
	    Use  adjacency decomposition method up to the given incidence number
	    threshold.

     --idm-adm idm-threshold adm-threshold
	    Use a combined IDM/ADM strategy with the indicated thresholds.

     --cdd  Use cdd for core dual description conversion (EXPERIMENTAL).

     --adjacencies
	    Record facet adjaencies.  Requires ADM method at level 0.

PARAMETERS
     --conf-lrs-estimates=N
	    The number of estimates that LRS performs (default: 8).

     --conf-lrs-estimate-maxdepth=N
	    The maximal allowed depth of LRS estimates (default: 3).

     --conf-compute-invariants=N
	    The maximal degree of permutation group invariant polynomials to use
	    (default: 0).

     --conf-compute-orbit-limit=N
	    Memory limit in megabytes for computing  the  full	orbit  (default:
	    1024).

     --conf-compute-canonical-representatives=N
	    Nonzero to compute canonical representatives for faces (default: 0).

     --conf-intermediate-poly-fileprefix=PREFIX
	    Prefix  for  filenames  in	which  intermediate polyhedra are saved.
	    This is useful for	debugging  and	analyzing  instances.	Default:
	    empty prefix.

SymPol				      0.1.6			       sympol(1)
home | help