Documentation for cws.x-NEU

"cws.x" is concerned mainly with the first steps of the algorithm of \cite{Kreuzer:1995cd,Skarke:1996hq,Kreuzer:2000qv} for the classification of reflexive polytopes in a given dimension. In particular it contains an implementation of the algorithm \cite{Skarke:1996hq} for the classification of weight systems, and routines for combining these weight systems into CWS.

Help Screen

As always, rough information can be obtained with the help screen.

palp$ 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', `d' or `h'.
Options:
-h        print this information
-f        use as filter; otherwise parameters denote I/O files
-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'.
 -d#      compute basic IP weight systems for #-dimensional reflexive
          Gorenstein cones;
     -r#  specifies the index as #/2.
 -2       adjoin a weight of 1/2 to the input of the weight system.

There is also a second help screen that can be called with the option `-x' (see below).

Options of "cws.x"

-w[number]

The behaviour of {\tt cws.x -w\#} depends crucially on \#.

If $\#\le 4$ all weight systems corresponding to \#-dimensional IP-simplices are determined by executing the algorithm of \cite{Skarke:1996hq}:

palp$ cws.x -w2
3  1 1 1  rt
4  1 1 2  rt
6  1 2 3  rt  #=3  #cand=3

The algorithm determines candidates for weight systems %Then it checks whether these and prints them if they lead to polytopes with the IP property (see section \ref{ipps}); %0 in their respective interiors this holds for all 3 candidates, as {\tt \#=3 \#cand=3} indicates. %These weight systems are displayed. If such a weight system gives rise to a reflexive polytope (which is always the case in dimension $\le 4$ \cite{Skarke:1996hq}) this is indicated by an {\tt r}; if the (possibly singular) weighted projective space corresponding to the weight system obeys the `transversality condition' that the Calabi--Yau hypersurface equation introduces no additional singularities, this is indicated by a {\tt t}.

If $\# > 4$, one has to enter a lower and an upper bound for the degrees of the weight systems. {\tt cws.x -w\#} then examines all possible such systems and displays the ones that define polytopes with the IP property.

If an extra option of `-r' or `-t' is specified, the output contains only the reflexive or transverse weight systems, respectively. Just try {\tt cws.x -w5 5 8}, {\tt cws.x -w5 5 8 -r} and {\tt cws.x -w5 5 8 -t} to see how this works.

-c[number]

Now the output contains combined weight systems (CWS). Again all of them are created if the number after `-c' is $\le 4$ (try {\tt cws.x -c3}). Otherwise weight systems that are read from files are combined. We apologize for not being able to give information beyond the one given in the help screen.

-i

In this case polytope input is required. The output is like that of {\tt poly.x -g}, but suppressed for polytopes without the IP property. This can be useful to filter a list of CWS for the IP property.

-d[number] [-r[number]]

The so-called basic weight systems for reflexive Gorenstein cones of a given dimension (the number after `-d') and a given index are computed; if `-r' is used, the index is \emph{half} the number after `-r', otherwise the index is 1 by default. See \cite{Skarke:2012zg,cydata} for more details.

-2

{\tt cws.x -2 < infile > outfile} writes the list of weight systems in {\tt infile} to {\tt outfile}, %containing the same list but with a weight of 1 / 2 adjoined to each input weight system; this is useful because the `-d'--option produces only weight systems without weights of 1 / 2.

-x

A further help screen with additional options is displayed:

palp$ 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 `-x' refers to `experimental' and none of the authors is familiar with them, we leave it to the reader to play with them and perhaps find useful applications. It would be greatly appreciated if any insights gained in this way were communicated via the PALP-Wiki \cite{wiki}.