1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
.TH POLY.X "1" "May 2012" "poly.x (palp) 2.1" "User Commands"
.SH NAME
poly.x, poly-<num>d.x \- computes data of a polytope
.SH SYNOPSIS
.B poly.x
[\fI-<Option-string>\fR] [\fIin-file \fR[\fIout-file\fR]]
.SH DESCRIPTION
Computes data of a polytope P
The poly-<num>d.x variant programs, where <num> is one of 4, 5, 6 and 11
work in different dimensions ; poly.x defaults to dimension 6.
.SS Options (concatenate any number of them into <Option\-string>):
.HP
h print this information
.IP
.HP
f use as filter
.IP
.HP
g general output ; for P reflexive: numbers of (dual) points/vertices, Hodge numbers and if P is not reflexive: numbers of points, vertices, equations
.IP
.PP
p points of P
.IP
.HP
v vertices of P
.IP
.HP
e equations of P/vertices of P\-dual
.IP
.HP
m pairing matrix between vertices and equations
.IP
.HP
d points of P\-dual (only if P reflexive)
.IP
.HP
a all of the above except h,f
.IP
.HP
l LG\-`Hodge numbers' from single weight input
.IP
.HP
r ignore non\-reflexive input
.IP
.HP
D dual polytope as input (ref only)
.IP
.HP
n do not complete polytope or calculate Hodge numbers
.IP
.HP
i incidence information
.IP
.HP
s check for span property (only if P from CWS)
.IP
.HP
I check for IP property
.IP
.HP
S number of symmetries
.IP
.HP
T upper triangular form
.IP
.HP
N normal form
.IP
.HP
t traced normal form computation
.IP
.HP
V IP simplices among vertices of P*
.IP
.HP
P IP simplices among points of P* (with 1<=codim<=# when # is set)
.IP
.HP
Z lattice quotients for IP simplices
.IP
.HP
# #=1,2,3 fibers spanned by IP simplices with codim<=#
.IP
.HP
## ##=11,22,33,(12,23): all (fibered) fibers with specified codim(s)
when combined: ### = (##)#
.IP
.HP
A affine normal form
.IP
.HP
B Barycenter and lattice volume [# ... points at deg #]
.IP
.HP
F print all facets
.IP
.HP
G Gorenstein: divisible by I>1
.IP
.HP
L like 'l' with Hodge data for twisted sectors
.IP
.HP
U simplicial facets in N\-lattice
.IP
.HP
U1 Fano (simplicial and unimodular facets in N\-lattice)
.IP
.HP
U5 5d fano from reflexive 4d projections (M lattice)
.IP
.HP
C1 conifold CY (unimodular or square 2\-faces)
.IP
.HP
C2 conifold FANO (divisible by 2 & basic 2 faces)
.IP
.HP
E symmetries related to Einstein\-Kaehler Metrics
.SS Input
degrees and weights `d1 w11 w12 ... d2 w21 w22 ...'
or `d np' or `np d' (d=Dimension, np=#[points]) and
(after newline) np*d coordinates
.SS Output
as specified by options
.SH SEE ALSO
A complete manual is available here : http://arxiv.org/abs/1205.4147
|
