passagemath-gap-pkg-normalizinterface 10.6.32__cp314-cp314t-musllinux_1_2_aarch64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of passagemath-gap-pkg-normalizinterface might be problematic. Click here for more details.
- gap/pkg/normalizinterface/CHANGES +113 -0
- gap/pkg/normalizinterface/LICENSE +351 -0
- gap/pkg/normalizinterface/PackageInfo.g +121 -0
- gap/pkg/normalizinterface/README.md +96 -0
- gap/pkg/normalizinterface/bin/aarch64-unknown-linux-musl-default64-kv10/NormalizInterface.so +0 -0
- gap/pkg/normalizinterface/etc/download.sh +85 -0
- gap/pkg/normalizinterface/etc/generate_cone_property_wrappers.g +380 -0
- gap/pkg/normalizinterface/examples/5x5.g +22 -0
- gap/pkg/normalizinterface/examples/demo.g +53 -0
- gap/pkg/normalizinterface/examples/docs.g +43 -0
- gap/pkg/normalizinterface/examples/dual_mode.g +26 -0
- gap/pkg/normalizinterface/examples/magic_square.g +36 -0
- gap/pkg/normalizinterface/init.g +7 -0
- gap/pkg/normalizinterface/lib/cone_property_wrappers.gd +682 -0
- gap/pkg/normalizinterface/lib/cone_property_wrappers.gi +132 -0
- gap/pkg/normalizinterface/lib/normaliz.gd +130 -0
- gap/pkg/normalizinterface/lib/normaliz.gi +153 -0
- gap/pkg/normalizinterface/makedoc.g +13 -0
- gap/pkg/normalizinterface/read.g +3 -0
- gap/pkg/normalizinterface/tst/InhomIneq.tst +20 -0
- gap/pkg/normalizinterface/tst/bugfix.tst +37 -0
- gap/pkg/normalizinterface/tst/conversion.tst +87 -0
- gap/pkg/normalizinterface/tst/cube-incidence.tst +62 -0
- gap/pkg/normalizinterface/tst/descent.tst +173 -0
- gap/pkg/normalizinterface/tst/dual.tst +533 -0
- gap/pkg/normalizinterface/tst/fractions.tst +29 -0
- gap/pkg/normalizinterface/tst/gorenstein.tst +22 -0
- gap/pkg/normalizinterface/tst/normalizinterface01.tst +46 -0
- gap/pkg/normalizinterface/tst/normalizinterface02.tst +107 -0
- gap/pkg/normalizinterface/tst/project.tst +136 -0
- gap/pkg/normalizinterface/tst/rational.tst +151 -0
- gap/pkg/normalizinterface/tst/rees.tst +544 -0
- gap/pkg/normalizinterface/tst/rp2poly.tst +351 -0
- gap/pkg/normalizinterface/tst/rproj2.tst +548 -0
- gap/pkg/normalizinterface/tst/testall.g +3 -0
- gap/pkg/normalizinterface/tst/verticesfloat.tst +11 -0
- passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/METADATA +93 -0
- passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/METADATA.bak +94 -0
- passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/RECORD +54 -0
- passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/WHEEL +5 -0
- passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/top_level.txt +1 -0
- passagemath_gap_pkg_normalizinterface.libs/libeantic-da90a096.so.3.1.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libeanticxx-bd9d5c67.so.3.1.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libflint-8c82a98a.so.21.0.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libgcc_s-2d945d6c.so.1 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libgmp-28992bcb.so.10.5.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libgmpxx-fecb01a9.so.4.7.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libgomp-1ede7ee7.so.1.0.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libmpfr-e34bb864.so.6.2.1 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libnormaliz-40532fe8.so.3.11.0 +0 -0
- passagemath_gap_pkg_normalizinterface.libs/libstdc++-85f2cd6d.so.6.0.33 +0 -0
- sage/all__sagemath_gap_pkg_normalizinterface.py +1 -0
- sage/libs/all__sagemath_gap_pkg_normalizinterface.py +1 -0
- sage/libs/gap_pkg_normalizinterface.cpython-314t-aarch64-linux-musl.so +0 -0
|
@@ -0,0 +1,682 @@
|
|
|
1
|
+
# WARNING: This file was generated by etc/generate_cone_property_wrappers.g,
|
|
2
|
+
# DO NOT EDIT IT BY HAND!
|
|
3
|
+
|
|
4
|
+
#! @Chapter Functions
|
|
5
|
+
#! @Section Cone properties
|
|
6
|
+
|
|
7
|
+
#! @Arguments cone
|
|
8
|
+
#! @Returns the affine dimension
|
|
9
|
+
#! @Description
|
|
10
|
+
#!
|
|
11
|
+
#! The affine dimension of the polyhedron in inhomogeneous computations. Its computation is triggered if necessary.
|
|
12
|
+
#! <P/>
|
|
13
|
+
#! This is an alias for <C>NmzConeProperty( cone, "AffineDim" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
14
|
+
DeclareGlobalFunction( "NmzAffineDim" );
|
|
15
|
+
#! @Arguments cone
|
|
16
|
+
#! @Description
|
|
17
|
+
#! This is an alias for <C>NmzConeProperty( cone, "AllGeneratorsTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
18
|
+
DeclareGlobalFunction( "NmzAllGeneratorsTriangulation" );
|
|
19
|
+
#! @Arguments cone
|
|
20
|
+
#! @Description
|
|
21
|
+
#! This is an alias for <C>NmzConeProperty( cone, "AmbientAutomorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
22
|
+
DeclareGlobalFunction( "NmzAmbientAutomorphisms" );
|
|
23
|
+
#! @Arguments cone
|
|
24
|
+
#! @Description
|
|
25
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Approximate" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
26
|
+
DeclareGlobalFunction( "NmzApproximate" );
|
|
27
|
+
#! @Arguments cone
|
|
28
|
+
#! @Description
|
|
29
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Automorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
30
|
+
DeclareGlobalFunction( "NmzAutomorphisms" );
|
|
31
|
+
#! @Arguments cone
|
|
32
|
+
#! @Description
|
|
33
|
+
#! This is an alias for <C>NmzConeProperty( cone, "AxesScaling" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
34
|
+
DeclareGlobalFunction( "NmzAxesScaling" );
|
|
35
|
+
#! @Arguments cone
|
|
36
|
+
#! @Description
|
|
37
|
+
#! This is an alias for <C>NmzConeProperty( cone, "BasicStanleyDec" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
38
|
+
DeclareGlobalFunction( "NmzBasicStanleyDec" );
|
|
39
|
+
#! @Arguments cone
|
|
40
|
+
#! @Description
|
|
41
|
+
#! This is an alias for <C>NmzConeProperty( cone, "BasicTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
42
|
+
DeclareGlobalFunction( "NmzBasicTriangulation" );
|
|
43
|
+
#! @Arguments cone
|
|
44
|
+
#! @Description
|
|
45
|
+
#! This is an alias for <C>NmzConeProperty( cone, "BigInt" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
46
|
+
DeclareGlobalFunction( "NmzBigInt" );
|
|
47
|
+
#! @Arguments cone
|
|
48
|
+
#! @Description
|
|
49
|
+
#! This is an alias for <C>NmzConeProperty( cone, "BottomDecomposition" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
50
|
+
DeclareGlobalFunction( "NmzBottomDecomposition" );
|
|
51
|
+
#! @Arguments cone
|
|
52
|
+
#! @Returns the class group in a special format
|
|
53
|
+
#! @Description
|
|
54
|
+
#!
|
|
55
|
+
#! A normal affine monoid $M$ has a well-defined divisor class group.
|
|
56
|
+
#! It is naturally isomorphic to the divisor class group of $K[M]$ where $K$
|
|
57
|
+
#! is a field (or any unique factorization domain).
|
|
58
|
+
#! We represent it as a vector where the first entry is the rank. It is
|
|
59
|
+
#! followed by sequence of pairs of entries <M>n,m</M>. Such two entries
|
|
60
|
+
#! represent a free cyclic summand <M>(\mathbb{Z}/n\mathbb{Z})^m</M>.
|
|
61
|
+
#! Not allowed in inhomogeneous computations.
|
|
62
|
+
#! <P/>
|
|
63
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ClassGroup" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
64
|
+
DeclareGlobalFunction( "NmzClassGroup" );
|
|
65
|
+
#! @Arguments cone
|
|
66
|
+
#! @Description
|
|
67
|
+
#! This is an alias for <C>NmzConeProperty( cone, "CombinatorialAutomorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
68
|
+
DeclareGlobalFunction( "NmzCombinatorialAutomorphisms" );
|
|
69
|
+
#! @Arguments cone
|
|
70
|
+
#! @Description
|
|
71
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ConeDecomposition" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
72
|
+
DeclareGlobalFunction( "NmzConeDecomposition" );
|
|
73
|
+
#! @Arguments cone
|
|
74
|
+
#! @Returns a matrix whose rows represent the congruences
|
|
75
|
+
#! @Description
|
|
76
|
+
#!
|
|
77
|
+
#! The equations, congruences and support hyperplanes together
|
|
78
|
+
#! describe the lattice points of the cone.
|
|
79
|
+
#! <P/>
|
|
80
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Congruences" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
81
|
+
DeclareGlobalFunction( "NmzCongruences" );
|
|
82
|
+
#! @Arguments cone
|
|
83
|
+
#! @Description
|
|
84
|
+
#! This is an alias for <C>NmzConeProperty( cone, "CoveringFace" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
85
|
+
DeclareGlobalFunction( "NmzCoveringFace" );
|
|
86
|
+
#! @Arguments cone
|
|
87
|
+
#! @Description
|
|
88
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DefaultMode" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
89
|
+
DeclareGlobalFunction( "NmzDefaultMode" );
|
|
90
|
+
#! @Arguments cone
|
|
91
|
+
#! @Returns a matrix whose rows are the degree 1 elements
|
|
92
|
+
#! @Description
|
|
93
|
+
#!
|
|
94
|
+
#! Requires the presence of a grading. Not allowed in inhomogeneous computations.
|
|
95
|
+
#! <P/>
|
|
96
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Deg1Elements" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
97
|
+
DeclareGlobalFunction( "NmzDeg1Elements" );
|
|
98
|
+
#! @Arguments cone
|
|
99
|
+
#! @Returns the dehomgenization vector
|
|
100
|
+
#! @Description
|
|
101
|
+
#!
|
|
102
|
+
#! Only for inhomogeneous computations.
|
|
103
|
+
#! <P/>
|
|
104
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Dehomogenization" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
105
|
+
DeclareGlobalFunction( "NmzDehomogenization" );
|
|
106
|
+
#! @Arguments cone
|
|
107
|
+
#! @Description
|
|
108
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Descent" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
109
|
+
DeclareGlobalFunction( "NmzDescent" );
|
|
110
|
+
#! @Arguments cone
|
|
111
|
+
#! @Description
|
|
112
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DistributedComp" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
113
|
+
DeclareGlobalFunction( "NmzDistributedComp" );
|
|
114
|
+
#! @Arguments cone
|
|
115
|
+
#! @Description
|
|
116
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DualFVector" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
117
|
+
DeclareGlobalFunction( "NmzDualFVector" );
|
|
118
|
+
#! @Arguments cone
|
|
119
|
+
#! @Description
|
|
120
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DualFaceLattice" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
121
|
+
DeclareGlobalFunction( "NmzDualFaceLattice" );
|
|
122
|
+
#! @Arguments cone
|
|
123
|
+
#! @Description
|
|
124
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DualIncidence" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
125
|
+
DeclareGlobalFunction( "NmzDualIncidence" );
|
|
126
|
+
#! @Arguments cone
|
|
127
|
+
#! @Description
|
|
128
|
+
#! This is an alias for <C>NmzConeProperty( cone, "DualMode" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
129
|
+
DeclareGlobalFunction( "NmzDualMode" );
|
|
130
|
+
#! @Arguments cone
|
|
131
|
+
#! @Description
|
|
132
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Dynamic" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
133
|
+
DeclareGlobalFunction( "NmzDynamic" );
|
|
134
|
+
#! @Arguments cone
|
|
135
|
+
#! @Description
|
|
136
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EhrhartQuasiPolynomial" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
137
|
+
DeclareGlobalFunction( "NmzEhrhartQuasiPolynomial" );
|
|
138
|
+
#! @Arguments cone
|
|
139
|
+
#! @Description
|
|
140
|
+
#!
|
|
141
|
+
#! Supported in Normaliz >= 3.5.0.
|
|
142
|
+
#! <P/>
|
|
143
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EhrhartSeries" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
144
|
+
DeclareGlobalFunction( "NmzEhrhartSeries" );
|
|
145
|
+
#! @Arguments cone
|
|
146
|
+
#! @Returns the embedding dimension of the cone
|
|
147
|
+
#! @Description
|
|
148
|
+
#!
|
|
149
|
+
#! The embedding dimension is the dimension of the space in which the
|
|
150
|
+
#! computation is done. It is the number of components of the output vectors.
|
|
151
|
+
#! This value is always known directly after the creation of the cone.
|
|
152
|
+
#! <P/>
|
|
153
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EmbeddingDim" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
154
|
+
DeclareGlobalFunction( "NmzEmbeddingDimension" );
|
|
155
|
+
#! @Arguments cone
|
|
156
|
+
#! @Returns a matrix whose rows represent the equations
|
|
157
|
+
#! @Description
|
|
158
|
+
#!
|
|
159
|
+
#! The equations cut out the linear space generated by the cone.
|
|
160
|
+
#! The equations, congruences and support hyperplanes together
|
|
161
|
+
#! describe the lattice points of the cone.
|
|
162
|
+
#! <P/>
|
|
163
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Equations" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
164
|
+
DeclareGlobalFunction( "NmzEquations" );
|
|
165
|
+
#! @Arguments cone
|
|
166
|
+
#! @Description
|
|
167
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EuclideanAutomorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
168
|
+
DeclareGlobalFunction( "NmzEuclideanAutomorphisms" );
|
|
169
|
+
#! @Arguments cone
|
|
170
|
+
#! @Description
|
|
171
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EuclideanIntegral" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
172
|
+
DeclareGlobalFunction( "NmzEuclideanIntegral" );
|
|
173
|
+
#! @Arguments cone
|
|
174
|
+
#! @Description
|
|
175
|
+
#!
|
|
176
|
+
#! Supported in Normaliz >= 3.5.0.
|
|
177
|
+
#! <P/>
|
|
178
|
+
#! This is an alias for <C>NmzConeProperty( cone, "EuclideanVolume" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
179
|
+
DeclareGlobalFunction( "NmzEuclideanVolume" );
|
|
180
|
+
#! @Arguments cone
|
|
181
|
+
#! @Returns a matrix whose rows represent the excluded faces
|
|
182
|
+
#! @Description
|
|
183
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExcludedFaces" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
184
|
+
DeclareGlobalFunction( "NmzExcludedFaces" );
|
|
185
|
+
#! @Arguments cone
|
|
186
|
+
#! @Description
|
|
187
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExploitAutomsVectors" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
188
|
+
DeclareGlobalFunction( "NmzExploitAutomsVectors" );
|
|
189
|
+
#! @Arguments cone
|
|
190
|
+
#! @Description
|
|
191
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExploitIsosMult" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
192
|
+
DeclareGlobalFunction( "NmzExploitIsosMult" );
|
|
193
|
+
#! @Arguments cone
|
|
194
|
+
#! @Description
|
|
195
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExternalIndex" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
196
|
+
DeclareGlobalFunction( "NmzExternalIndex" );
|
|
197
|
+
#! @Arguments cone
|
|
198
|
+
#! @Returns a matrix whose rows are the extreme rays
|
|
199
|
+
#! @Description
|
|
200
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExtremeRays" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
201
|
+
DeclareGlobalFunction( "NmzExtremeRays" );
|
|
202
|
+
#! @Arguments cone
|
|
203
|
+
#! @Description
|
|
204
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ExtremeRaysFloat" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
205
|
+
DeclareGlobalFunction( "NmzExtremeRaysFloat" );
|
|
206
|
+
#! @Arguments cone
|
|
207
|
+
#! @Description
|
|
208
|
+
#!
|
|
209
|
+
#! Supported in Normaliz >= 3.7.0.
|
|
210
|
+
#! <P/>
|
|
211
|
+
#! This is an alias for <C>NmzConeProperty( cone, "FVector" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
212
|
+
DeclareGlobalFunction( "NmzFVector" );
|
|
213
|
+
#! @Arguments cone
|
|
214
|
+
#! @Description
|
|
215
|
+
#!
|
|
216
|
+
#! Supported in Normaliz >= 3.7.0.
|
|
217
|
+
#! <P/>
|
|
218
|
+
#! This is an alias for <C>NmzConeProperty( cone, "FaceLattice" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
219
|
+
DeclareGlobalFunction( "NmzFaceLattice" );
|
|
220
|
+
#! @Arguments cone
|
|
221
|
+
#! @Description
|
|
222
|
+
#! This is an alias for <C>NmzConeProperty( cone, "FixedPrecision" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
223
|
+
DeclareGlobalFunction( "NmzFixedPrecision" );
|
|
224
|
+
#! @Arguments cone
|
|
225
|
+
#! @Description
|
|
226
|
+
#! This is an alias for <C>NmzConeProperty( cone, "FullConeDynamic" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
227
|
+
DeclareGlobalFunction( "NmzFullConeDynamic" );
|
|
228
|
+
#! @Arguments cone
|
|
229
|
+
#! @Returns a vector representing the generator of the interior of <A>cone</A>
|
|
230
|
+
#! @Description
|
|
231
|
+
#!
|
|
232
|
+
#! If <A>cone</A> is Gorenstein, this function returns the generator of the interior of <A>cone</A>.
|
|
233
|
+
#! If <A>cone</A> is not Gorenstein, an error is raised.
|
|
234
|
+
#! <P/>
|
|
235
|
+
#! This is an alias for <C>NmzConeProperty( cone, "GeneratorOfInterior" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
236
|
+
DeclareGlobalFunction( "NmzGeneratorOfInterior" );
|
|
237
|
+
#! @Arguments cone
|
|
238
|
+
#! @Returns a matrix whose rows are the generators of <A>cone</A>
|
|
239
|
+
#! @Description
|
|
240
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Generators" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
241
|
+
DeclareGlobalFunction( "NmzGenerators" );
|
|
242
|
+
#! @Arguments cone
|
|
243
|
+
#! @Returns the grading vector
|
|
244
|
+
#! @Description
|
|
245
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Grading" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
246
|
+
DeclareGlobalFunction( "NmzGrading" );
|
|
247
|
+
#! @Arguments cone
|
|
248
|
+
#! @Description
|
|
249
|
+
#! This is an alias for <C>NmzConeProperty( cone, "GradingDenom" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
250
|
+
DeclareGlobalFunction( "NmzGradingDenom" );
|
|
251
|
+
#! @Arguments cone
|
|
252
|
+
#! @Description
|
|
253
|
+
#! This is an alias for <C>NmzConeProperty( cone, "GradingIsPositive" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
254
|
+
DeclareGlobalFunction( "NmzGradingIsPositive" );
|
|
255
|
+
#! @Arguments cone
|
|
256
|
+
#! @Description
|
|
257
|
+
#! This is an alias for <C>NmzConeProperty( cone, "HSOP" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
258
|
+
DeclareGlobalFunction( "NmzHSOP" );
|
|
259
|
+
#! @Arguments cone
|
|
260
|
+
#! @Returns a matrix whose rows are the Hilbert basis elements
|
|
261
|
+
#! @Description
|
|
262
|
+
#! This is an alias for <C>NmzConeProperty( cone, "HilbertBasis" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
263
|
+
DeclareGlobalFunction( "NmzHilbertBasis" );
|
|
264
|
+
#! @Arguments cone
|
|
265
|
+
#! @Returns the Hilbert function as a quasipolynomial
|
|
266
|
+
#! @Description
|
|
267
|
+
#!
|
|
268
|
+
#! The Hilbert function counts the lattice points degreewise. The result is a
|
|
269
|
+
#! quasipolynomial <M>Q</M>, that is, a polynomial with periodic coefficients. It is
|
|
270
|
+
#! given as list of polynomials <M>P_0, \ldots, P_{(p-1)}</M> such that <M>Q(i) = P_{(i \bmod p)} (i)</M>.
|
|
271
|
+
#! <P/>
|
|
272
|
+
#! This is an alias for <C>NmzConeProperty( cone, "HilbertQuasiPolynomial" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
273
|
+
DeclareGlobalFunction( "NmzHilbertQuasiPolynomial" );
|
|
274
|
+
#! @Arguments cone
|
|
275
|
+
#! @Returns the Hilbert series as rational function
|
|
276
|
+
#! @Description
|
|
277
|
+
#!
|
|
278
|
+
#! The result consists of a list with two entries. The first is the numerator
|
|
279
|
+
#! polynomial. In inhomogeneous computations this can also be a Laurent
|
|
280
|
+
#! polynomial. The second list entry represents the denominator. It is a list
|
|
281
|
+
#! of pairs <M>[k_i, l_i]</M>. Such a pair represents the factor <M>(1-t^{k_i})^{l_i}</M>.
|
|
282
|
+
#! <P/>
|
|
283
|
+
#! This is an alias for <C>NmzConeProperty( cone, "HilbertSeries" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
284
|
+
DeclareGlobalFunction( "NmzHilbertSeries" );
|
|
285
|
+
#! @Arguments cone
|
|
286
|
+
#! @Description
|
|
287
|
+
#!
|
|
288
|
+
#! Supported in Normaliz >= 3.8.0.
|
|
289
|
+
#! <P/>
|
|
290
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Incidence" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
291
|
+
DeclareGlobalFunction( "NmzIncidence" );
|
|
292
|
+
#! @Arguments cone
|
|
293
|
+
#! @Returns inclusion-exclusion data
|
|
294
|
+
#! @Description
|
|
295
|
+
#!
|
|
296
|
+
#! List of faces which are internally have been used in the inclusion-exclusion
|
|
297
|
+
#! scheme. Given as a list pairs. The first pair entry is a key of generators
|
|
298
|
+
#! contained in the face (compare also <Ref Func="NmzTriangulation"/>) and the
|
|
299
|
+
#! multiplicity with which it was considered.
|
|
300
|
+
#! Only available with excluded faces or strict constraints as input.
|
|
301
|
+
#! <P/>
|
|
302
|
+
#! This is an alias for <C>NmzConeProperty( cone, "InclusionExclusionData" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
303
|
+
DeclareGlobalFunction( "NmzInclusionExclusionData" );
|
|
304
|
+
#! @Arguments cone
|
|
305
|
+
#! @Description
|
|
306
|
+
#! This is an alias for <C>NmzConeProperty( cone, "InputAutomorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
307
|
+
DeclareGlobalFunction( "NmzInputAutomorphisms" );
|
|
308
|
+
#! @Arguments cone
|
|
309
|
+
#! @Description
|
|
310
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IntegerHull" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
311
|
+
DeclareGlobalFunction( "NmzIntegerHull" );
|
|
312
|
+
#! @Arguments cone
|
|
313
|
+
#! @Description
|
|
314
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Integral" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
315
|
+
DeclareGlobalFunction( "NmzIntegral" );
|
|
316
|
+
#! @Arguments cone
|
|
317
|
+
#! @Description
|
|
318
|
+
#! This is an alias for <C>NmzConeProperty( cone, "InternalIndex" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
319
|
+
DeclareGlobalFunction( "NmzInternalIndex" );
|
|
320
|
+
#! @Arguments cone
|
|
321
|
+
#! @Returns <K>true</K> if all extreme rays have degree 1; <K>false</K> otherwise
|
|
322
|
+
#! @Description
|
|
323
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsDeg1ExtremeRays" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
324
|
+
DeclareGlobalFunction( "NmzIsDeg1ExtremeRays" );
|
|
325
|
+
#! @Arguments cone
|
|
326
|
+
#! @Returns <K>true</K> if all Hilbert basis elements have degree 1; <K>false</K> otherwise
|
|
327
|
+
#! @Description
|
|
328
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsDeg1HilbertBasis" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
329
|
+
DeclareGlobalFunction( "NmzIsDeg1HilbertBasis" );
|
|
330
|
+
#! @Arguments cone
|
|
331
|
+
#! @Description
|
|
332
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsEmptySemiOpen" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
333
|
+
DeclareGlobalFunction( "NmzIsEmptySemiOpen" );
|
|
334
|
+
#! @Arguments cone
|
|
335
|
+
#! @Returns whether the cone is Gorenstein
|
|
336
|
+
#! @Description
|
|
337
|
+
#!
|
|
338
|
+
#! Returns true if <A>cone</A> is Gorenstein, false otherwise.
|
|
339
|
+
#! <P/>
|
|
340
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsGorenstein" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
341
|
+
DeclareGlobalFunction( "NmzIsGorenstein" );
|
|
342
|
+
#! @Arguments cone
|
|
343
|
+
#! @Returns whether the cone is inhomogeneous
|
|
344
|
+
#! @Description
|
|
345
|
+
#!
|
|
346
|
+
#! This value is always known directly after the creation of the cone.
|
|
347
|
+
#! <P/>
|
|
348
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsInhomogeneous" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
349
|
+
DeclareGlobalFunction( "NmzIsInhomogeneous" );
|
|
350
|
+
#! @Arguments cone
|
|
351
|
+
#! @Returns <K>true</K> if the cone is integrally closed; <K>false</K> otherwise
|
|
352
|
+
#! @Description
|
|
353
|
+
#!
|
|
354
|
+
#! It is integrally closed when the Hilbert basis is a subset of the original monoid generators. So it is only computable if we have original monoid generators.
|
|
355
|
+
#! <P/>
|
|
356
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsIntegrallyClosed" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
357
|
+
DeclareGlobalFunction( "NmzIsIntegrallyClosed" );
|
|
358
|
+
#! @Arguments cone
|
|
359
|
+
#! @Returns <K>true</K> if the cone is pointed; <K>false</K> otherwise
|
|
360
|
+
#! @Description
|
|
361
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsPointed" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
362
|
+
DeclareGlobalFunction( "NmzIsPointed" );
|
|
363
|
+
#! @Arguments cone
|
|
364
|
+
#! @Returns <K>true</K> if is the monomial ideal is primary to the irrelevant maximal ideal, <K>false</K> otherwise
|
|
365
|
+
#! @Description
|
|
366
|
+
#!
|
|
367
|
+
#! Only used with the input type <C>rees_algebra</C>.
|
|
368
|
+
#! <P/>
|
|
369
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsReesPrimary" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
370
|
+
DeclareGlobalFunction( "NmzIsReesPrimary" );
|
|
371
|
+
#! @Arguments cone
|
|
372
|
+
#! @Description
|
|
373
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsTriangulationNested" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
374
|
+
DeclareGlobalFunction( "NmzIsTriangulationNested" );
|
|
375
|
+
#! @Arguments cone
|
|
376
|
+
#! @Description
|
|
377
|
+
#! This is an alias for <C>NmzConeProperty( cone, "IsTriangulationPartial" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
378
|
+
DeclareGlobalFunction( "NmzIsTriangulationPartial" );
|
|
379
|
+
#! @Arguments cone
|
|
380
|
+
#! @Description
|
|
381
|
+
#! This is an alias for <C>NmzConeProperty( cone, "KeepOrder" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
382
|
+
DeclareGlobalFunction( "NmzKeepOrder" );
|
|
383
|
+
#! @Arguments cone
|
|
384
|
+
#! @Description
|
|
385
|
+
#! This is an alias for <C>NmzConeProperty( cone, "LatticePointTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
386
|
+
DeclareGlobalFunction( "NmzLatticePointTriangulation" );
|
|
387
|
+
#! @Arguments cone
|
|
388
|
+
#! @Description
|
|
389
|
+
#! This is an alias for <C>NmzConeProperty( cone, "LatticePoints" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
390
|
+
DeclareGlobalFunction( "NmzLatticePoints" );
|
|
391
|
+
#! @Arguments cone
|
|
392
|
+
#! @Returns a matrix whose rows generate the maximale linear subspace
|
|
393
|
+
#! @Description
|
|
394
|
+
#! This is an alias for <C>NmzConeProperty( cone, "MaximalSubspace" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
395
|
+
DeclareGlobalFunction( "NmzMaximalSubspace" );
|
|
396
|
+
#! @Arguments cone
|
|
397
|
+
#! @Returns a matrix whose rows are the module generators
|
|
398
|
+
#! @Description
|
|
399
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ModuleGenerators" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
400
|
+
DeclareGlobalFunction( "NmzModuleGenerators" );
|
|
401
|
+
#! @Arguments cone
|
|
402
|
+
#! @Returns a matrix whose rows are the module generators over the original monoid
|
|
403
|
+
#! @Description
|
|
404
|
+
#!
|
|
405
|
+
#! A minimal system of generators of the integral closure over the original monoid.
|
|
406
|
+
#! Requires the existence of original monoid generators. Not allowed in inhomogeneous computations.
|
|
407
|
+
#! <P/>
|
|
408
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ModuleGeneratorsOverOriginalMonoid" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
409
|
+
DeclareGlobalFunction( "NmzModuleGeneratorsOverOriginalMonoid" );
|
|
410
|
+
#! @Arguments cone
|
|
411
|
+
#! @Returns the rank of the module of lattice points in the polyhedron as a module over the recession monoid
|
|
412
|
+
#! @Description
|
|
413
|
+
#!
|
|
414
|
+
#! Only for inhomogeneous computations.
|
|
415
|
+
#! <P/>
|
|
416
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ModuleRank" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
417
|
+
DeclareGlobalFunction( "NmzModuleRank" );
|
|
418
|
+
#! @Arguments cone
|
|
419
|
+
#! @Description
|
|
420
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Multiplicity" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
421
|
+
DeclareGlobalFunction( "NmzMultiplicity" );
|
|
422
|
+
#! @Arguments cone
|
|
423
|
+
#! @Description
|
|
424
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoBottomDec" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
425
|
+
DeclareGlobalFunction( "NmzNoBottomDec" );
|
|
426
|
+
#! @Arguments cone
|
|
427
|
+
#! @Description
|
|
428
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoDescent" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
429
|
+
DeclareGlobalFunction( "NmzNoDescent" );
|
|
430
|
+
#! @Arguments cone
|
|
431
|
+
#! @Description
|
|
432
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoGradingDenom" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
433
|
+
DeclareGlobalFunction( "NmzNoGradingDenom" );
|
|
434
|
+
#! @Arguments cone
|
|
435
|
+
#! @Description
|
|
436
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoLLL" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
437
|
+
DeclareGlobalFunction( "NmzNoLLL" );
|
|
438
|
+
#! @Arguments cone
|
|
439
|
+
#! @Description
|
|
440
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoNestedTri" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
441
|
+
DeclareGlobalFunction( "NmzNoNestedTri" );
|
|
442
|
+
#! @Arguments cone
|
|
443
|
+
#! @Description
|
|
444
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoPeriodBound" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
445
|
+
DeclareGlobalFunction( "NmzNoPeriodBound" );
|
|
446
|
+
#! @Arguments cone
|
|
447
|
+
#! @Description
|
|
448
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoProjection" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
449
|
+
DeclareGlobalFunction( "NmzNoProjection" );
|
|
450
|
+
#! @Arguments cone
|
|
451
|
+
#! @Description
|
|
452
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoRelax" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
453
|
+
DeclareGlobalFunction( "NmzNoRelax" );
|
|
454
|
+
#! @Arguments cone
|
|
455
|
+
#! @Description
|
|
456
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoSignedDec" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
457
|
+
DeclareGlobalFunction( "NmzNoSignedDec" );
|
|
458
|
+
#! @Arguments cone
|
|
459
|
+
#! @Description
|
|
460
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoSubdivision" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
461
|
+
DeclareGlobalFunction( "NmzNoSubdivision" );
|
|
462
|
+
#! @Arguments cone
|
|
463
|
+
#! @Description
|
|
464
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NoSymmetrization" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
465
|
+
DeclareGlobalFunction( "NmzNoSymmetrization" );
|
|
466
|
+
#! @Arguments cone
|
|
467
|
+
#! @Description
|
|
468
|
+
#! This is an alias for <C>NmzConeProperty( cone, "NumberLatticePoints" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
469
|
+
DeclareGlobalFunction( "NmzNumberLatticePoints" );
|
|
470
|
+
#! @Arguments cone
|
|
471
|
+
#! @Returns a matrix whose rows are the original monoid generators
|
|
472
|
+
#! @Description
|
|
473
|
+
#! This is an alias for <C>NmzConeProperty( cone, "OriginalMonoidGenerators" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
474
|
+
DeclareGlobalFunction( "NmzOriginalMonoidGenerators" );
|
|
475
|
+
#! @Arguments cone
|
|
476
|
+
#! @Description
|
|
477
|
+
#! This is an alias for <C>NmzConeProperty( cone, "PlacingTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
478
|
+
DeclareGlobalFunction( "NmzPlacingTriangulation" );
|
|
479
|
+
#! @Arguments cone
|
|
480
|
+
#! @Description
|
|
481
|
+
#! This is an alias for <C>NmzConeProperty( cone, "PrimalMode" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
482
|
+
DeclareGlobalFunction( "NmzPrimalMode" );
|
|
483
|
+
#! @Arguments cone
|
|
484
|
+
#! @Description
|
|
485
|
+
#!
|
|
486
|
+
#! Supported in Normaliz >= 3.5.0.
|
|
487
|
+
#! <P/>
|
|
488
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ProjectCone" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
489
|
+
DeclareGlobalFunction( "NmzProjectCone" );
|
|
490
|
+
#! @Arguments cone
|
|
491
|
+
#! @Description
|
|
492
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Projection" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
493
|
+
DeclareGlobalFunction( "NmzProjection" );
|
|
494
|
+
#! @Arguments cone
|
|
495
|
+
#! @Description
|
|
496
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ProjectionFloat" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
497
|
+
DeclareGlobalFunction( "NmzProjectionFloat" );
|
|
498
|
+
#! @Arguments cone
|
|
499
|
+
#! @Description
|
|
500
|
+
#! This is an alias for <C>NmzConeProperty( cone, "PullingTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
501
|
+
DeclareGlobalFunction( "NmzPullingTriangulation" );
|
|
502
|
+
#! @Arguments cone
|
|
503
|
+
#! @Description
|
|
504
|
+
#! This is an alias for <C>NmzConeProperty( cone, "PullingTriangulationInternal" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
505
|
+
DeclareGlobalFunction( "NmzPullingTriangulationInternal" );
|
|
506
|
+
#! @Arguments cone
|
|
507
|
+
#! @Returns the rank of the cone
|
|
508
|
+
#! @Description
|
|
509
|
+
#!
|
|
510
|
+
#! This value is the rank of the lattice generated by the lattice points of the cone.
|
|
511
|
+
#! <P/>
|
|
512
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Rank" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
513
|
+
DeclareGlobalFunction( "NmzRank" );
|
|
514
|
+
#! @Arguments cone
|
|
515
|
+
#! @Description
|
|
516
|
+
#! This is an alias for <C>NmzConeProperty( cone, "RationalAutomorphisms" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
517
|
+
DeclareGlobalFunction( "NmzRationalAutomorphisms" );
|
|
518
|
+
#! @Arguments cone
|
|
519
|
+
#! @Returns the rank of the recession cone
|
|
520
|
+
#! @Description
|
|
521
|
+
#!
|
|
522
|
+
#! Only for inhomogeneous computations.
|
|
523
|
+
#! <P/>
|
|
524
|
+
#! This is an alias for <C>NmzConeProperty( cone, "RecessionRank" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
525
|
+
DeclareGlobalFunction( "NmzRecessionRank" );
|
|
526
|
+
#! @Arguments cone
|
|
527
|
+
#! @Description
|
|
528
|
+
#!
|
|
529
|
+
#! the multiplicity of a monomial ideal, provided it is primary to the maximal
|
|
530
|
+
#! ideal generated by the indeterminates. Used only with the input type
|
|
531
|
+
#! <C>rees_algebra</C>.
|
|
532
|
+
#! <P/>
|
|
533
|
+
#! This is an alias for <C>NmzConeProperty( cone, "ReesPrimaryMultiplicity" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
534
|
+
DeclareGlobalFunction( "NmzReesPrimaryMultiplicity" );
|
|
535
|
+
#! @Arguments cone
|
|
536
|
+
#! @Description
|
|
537
|
+
#! This is an alias for <C>NmzConeProperty( cone, "RenfVolume" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
538
|
+
DeclareGlobalFunction( "NmzRenfVolume" );
|
|
539
|
+
#! @Arguments cone
|
|
540
|
+
#! @Description
|
|
541
|
+
#! This is an alias for <C>NmzConeProperty( cone, "SignedDec" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
542
|
+
DeclareGlobalFunction( "NmzSignedDec" );
|
|
543
|
+
#! @Arguments cone
|
|
544
|
+
#! @Description
|
|
545
|
+
#! This is an alias for <C>NmzConeProperty( cone, "StanleyDec" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
546
|
+
DeclareGlobalFunction( "NmzStanleyDec" );
|
|
547
|
+
#! @Arguments cone
|
|
548
|
+
#! @Description
|
|
549
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Static" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
550
|
+
DeclareGlobalFunction( "NmzStatic" );
|
|
551
|
+
#! @Arguments cone
|
|
552
|
+
#! @Description
|
|
553
|
+
#! This is an alias for <C>NmzConeProperty( cone, "StrictIsoTypeCheck" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
554
|
+
DeclareGlobalFunction( "NmzStrictIsoTypeCheck" );
|
|
555
|
+
#! @Arguments cone
|
|
556
|
+
#! @Description
|
|
557
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Sublattice" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
558
|
+
DeclareGlobalFunction( "NmzSublattice" );
|
|
559
|
+
#! @Arguments cone
|
|
560
|
+
#! @Description
|
|
561
|
+
#!
|
|
562
|
+
#! Supported in Normaliz >= 3.5.2.
|
|
563
|
+
#! <P/>
|
|
564
|
+
#! This is an alias for <C>NmzConeProperty( cone, "SuppHypsFloat" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
565
|
+
DeclareGlobalFunction( "NmzSuppHypsFloat" );
|
|
566
|
+
#! @Arguments cone
|
|
567
|
+
#! @Returns a matrix whose rows represent the support hyperplanes
|
|
568
|
+
#! @Description
|
|
569
|
+
#!
|
|
570
|
+
#! The equations cut out the linear space generated by the cone.
|
|
571
|
+
#! The equations, congruences and support hyperplanes together
|
|
572
|
+
#! describe the lattice points of the cone.
|
|
573
|
+
#! <P/>
|
|
574
|
+
#! This is an alias for <C>NmzConeProperty( cone, "SupportHyperplanes" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
575
|
+
DeclareGlobalFunction( "NmzSupportHyperplanes" );
|
|
576
|
+
#! @Arguments cone
|
|
577
|
+
#! @Description
|
|
578
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Symmetrize" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
579
|
+
DeclareGlobalFunction( "NmzSymmetrize" );
|
|
580
|
+
#! @Arguments cone
|
|
581
|
+
#! @Description
|
|
582
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestArithOverflowDescent" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
583
|
+
DeclareGlobalFunction( "NmzTestArithOverflowDescent" );
|
|
584
|
+
#! @Arguments cone
|
|
585
|
+
#! @Description
|
|
586
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestArithOverflowDualMode" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
587
|
+
DeclareGlobalFunction( "NmzTestArithOverflowDualMode" );
|
|
588
|
+
#! @Arguments cone
|
|
589
|
+
#! @Description
|
|
590
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestArithOverflowFullCone" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
591
|
+
DeclareGlobalFunction( "NmzTestArithOverflowFullCone" );
|
|
592
|
+
#! @Arguments cone
|
|
593
|
+
#! @Description
|
|
594
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestArithOverflowProjAndLift" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
595
|
+
DeclareGlobalFunction( "NmzTestArithOverflowProjAndLift" );
|
|
596
|
+
#! @Arguments cone
|
|
597
|
+
#! @Description
|
|
598
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestLargePyramids" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
599
|
+
DeclareGlobalFunction( "NmzTestLargePyramids" );
|
|
600
|
+
#! @Arguments cone
|
|
601
|
+
#! @Description
|
|
602
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestLibNormaliz" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
603
|
+
DeclareGlobalFunction( "NmzTestLibNormaliz" );
|
|
604
|
+
#! @Arguments cone
|
|
605
|
+
#! @Description
|
|
606
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestLinearAlgebraGMP" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
607
|
+
DeclareGlobalFunction( "NmzTestLinearAlgebraGMP" );
|
|
608
|
+
#! @Arguments cone
|
|
609
|
+
#! @Description
|
|
610
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestSimplexParallel" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
611
|
+
DeclareGlobalFunction( "NmzTestSimplexParallel" );
|
|
612
|
+
#! @Arguments cone
|
|
613
|
+
#! @Description
|
|
614
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TestSmallPyramids" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
615
|
+
DeclareGlobalFunction( "NmzTestSmallPyramids" );
|
|
616
|
+
#! @Arguments cone
|
|
617
|
+
#! @Returns the triangulation
|
|
618
|
+
#! @Description
|
|
619
|
+
#!
|
|
620
|
+
#! This returns a list of the maximal simplicial cones in a triangulation, i.e., a list of cones dividing the
|
|
621
|
+
#! cone into simplicial cones. Each cone in the list is represented by a pair.
|
|
622
|
+
#! The first entry of such a pair is the key of the simplex, i.e., a list of integers $a_1,\dots,a_n$
|
|
623
|
+
#! referring to the <Ref Func="NmzGenerators"/> (counting from 0) which are used in this simplicial cone.
|
|
624
|
+
#! The second entry of each pair in the list is the absolute value of the determinant of the generator matrix of the simplicial cone.
|
|
625
|
+
#! <P/>
|
|
626
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Triangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
627
|
+
DeclareGlobalFunction( "NmzTriangulation" );
|
|
628
|
+
#! @Arguments cone
|
|
629
|
+
#! @Returns sum of the absolute values of the determinants of the simplicial cones in the used triangulation
|
|
630
|
+
#! @Description
|
|
631
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TriangulationDetSum" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
632
|
+
DeclareGlobalFunction( "NmzTriangulationDetSum" );
|
|
633
|
+
#! @Arguments cone
|
|
634
|
+
#! @Returns the number of simplicial cones in the used triangulation
|
|
635
|
+
#! @Description
|
|
636
|
+
#! This is an alias for <C>NmzConeProperty( cone, "TriangulationSize" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
637
|
+
DeclareGlobalFunction( "NmzTriangulationSize" );
|
|
638
|
+
#! @Arguments cone
|
|
639
|
+
#! @Description
|
|
640
|
+
#! This is an alias for <C>NmzConeProperty( cone, "UnimodularTriangulation" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
641
|
+
DeclareGlobalFunction( "NmzUnimodularTriangulation" );
|
|
642
|
+
#! @Arguments cone
|
|
643
|
+
#! @Description
|
|
644
|
+
#! This is an alias for <C>NmzConeProperty( cone, "UnitGroupIndex" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
645
|
+
DeclareGlobalFunction( "NmzUnitGroupIndex" );
|
|
646
|
+
#! @Arguments cone
|
|
647
|
+
#! @Returns a matrix whose rows are the vertices of the polyhedron <A>cone</A> with float coordinates
|
|
648
|
+
#! @Description
|
|
649
|
+
#!
|
|
650
|
+
#! The rows of this matrix represent the vertices of <A>cone</A>, printed as floats for better readability.
|
|
651
|
+
#! The result might be inexact, and should therefore not be used for computations.
|
|
652
|
+
#! <P/>
|
|
653
|
+
#! This is an alias for <C>NmzConeProperty( cone, "VerticesFloat" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
654
|
+
DeclareGlobalFunction( "NmzVerticesFloat" );
|
|
655
|
+
#! @Arguments cone
|
|
656
|
+
#! @Returns a matrix whose rows are the vertices of the polyhedron
|
|
657
|
+
#! @Description
|
|
658
|
+
#! This is an alias for <C>NmzConeProperty( cone, "VerticesOfPolyhedron" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
659
|
+
DeclareGlobalFunction( "NmzVerticesOfPolyhedron" );
|
|
660
|
+
#! @Arguments cone
|
|
661
|
+
#! @Description
|
|
662
|
+
#! This is an alias for <C>NmzConeProperty( cone, "VirtualMultiplicity" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
663
|
+
DeclareGlobalFunction( "NmzVirtualMultiplicity" );
|
|
664
|
+
#! @Arguments cone
|
|
665
|
+
#! @Description
|
|
666
|
+
#!
|
|
667
|
+
#! Supported in Normaliz >= 3.5.0.
|
|
668
|
+
#! <P/>
|
|
669
|
+
#! This is an alias for <C>NmzConeProperty( cone, "Volume" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
670
|
+
DeclareGlobalFunction( "NmzVolume" );
|
|
671
|
+
#! @Arguments cone
|
|
672
|
+
#! @Description
|
|
673
|
+
#! This is an alias for <C>NmzConeProperty( cone, "WeightedEhrhartQuasiPolynomial" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
674
|
+
DeclareGlobalFunction( "NmzWeightedEhrhartQuasiPolynomial" );
|
|
675
|
+
#! @Arguments cone
|
|
676
|
+
#! @Description
|
|
677
|
+
#! This is an alias for <C>NmzConeProperty( cone, "WeightedEhrhartSeries" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
678
|
+
DeclareGlobalFunction( "NmzWeightedEhrhartSeries" );
|
|
679
|
+
#! @Arguments cone
|
|
680
|
+
#! @Description
|
|
681
|
+
#! This is an alias for <C>NmzConeProperty( cone, "WitnessNotIntegrallyClosed" );</C> see <Ref Func="NmzConeProperty"/>.
|
|
682
|
+
DeclareGlobalFunction( "NmzWitnessNotIntegrallyClosed" );
|