Documentation for cws.x-2.0
From Palp
(Difference between revisions)
(As before the crash) |
m (moved Documentation for cws.x to Documentation for cws.x-2.0) |
Latest revision as of 15:36, 15 May 2012
The program cws.x creates the weight systems and combined weight systems ('cws') that are required for the classification of reflexive polytopes. The help screens are
cws.x -h This is `cws.x': create weight systems and combined weight systems. Usage: cws.x -<options>; the first option must be `w', `c', `i', or `h'. Options: -h print this information -w# [L H] make IP weight systems for #-dimensional polytopes. For #>4 the lowest and highest degrees L<=H are required. -r/-t make reflexive/transversal weight systems (optional). -c# make combined weight systems for #-dimensional polytopes. For #<=4 all relevant combinations are made by default, otherwise the following option is required: -n[#] followed by the names wf_1 ... wf_# of weight files currently #=2,3 are implemented. [-t] followed by # numbers n_i specifies the CWS-type, i.e. the numbers n_i of weights to be selected from wf_i. Currently all cases with n_i<=2 are implemented. -i compute the polytope data M:p v [F:f] N:p [v] for all IP CWS, where p and v denote the numbers of lattice points and vertices of a dual pair of IP polytopes; an entry F:f and no v for N indicates a non-reflexive `dual pair'. -f use as filter; otherwise parameters denote I/O files
and
cws.x -x This is `cws.x': -x gives undocumented extensions: -ip printf PolyPointList -id printf dual PolyPointList -N make CWS for PPL in N lattice -p# [infile1] [infile2] makes cartesian product of Vertices. # dimensions are identified. -S count simplex points for weight system -L count using LattE (-> count redcheck cdd)
As these are very specialized applications there is perhaps no need for more detailed descriptions.
The C routines that are executed by cws.x with its various options can all be found in the file cws.c; there is no extra header file.