[MathJax off]

2 Functions

In this chapter we describe the functions offered by NormalizInterface. All functions supplied by this package start with Nmz. For examples see the chapter Examples.

2.1 Create a NmzCone

To create a cone object use NmzCone (2.1-1).

2.1-1 NmzCone

Returns: NmzCone

Creates a NmzCone. The list argument should contain an even number of elements, alternating between a string and a integer matrix. The string has to correspond to a Normaliz input type string and the following matrix will be interpreted as input of that type.

Currently the following strings are recognized:

• integral_closure,

• polyhedron,

• normalization,

• polytope,

• rees_algebra,

• inequalities,

• strict_inequalities,

• signs,

• strict_signs,

• equations,

• congruences,

• inhom_inequalities,

• inhom_equations,

• inhom_congruences,

• dehomogenization,

• lattice_ideal,

• grading,

• excluded_faces,

• lattice,

• saturation,

• cone,

• offset,

• vertices,

• support_hyperplanes,

• cone_and_lattice,

• subspace.

See the Normaliz manual for a detailed description.

gap> cone := NmzCone(["integral_closure",[[2,1],[1,3]]]);
<a Normaliz cone>

2.2 Use a NmzCone

2.2-1 NmzHasConeProperty

Returns: whether the cone has already computed the given property

See NmzConeProperty (2.2-6) for a list of recognized properties.

gap> NmzHasConeProperty(cone, "ExtremeRays");
false

2.2-2 NmzKnownConeProperties

Returns: a list of strings representing the known (computed) cone properties

Given a Normaliz cone object, return a list of all properties already computed for the cone.

gap> NmzKnownConeProperties(cone);
[ "EmbeddingDim", "Generators", "InternalIndex", "IsInhomogeneous", 
  "OriginalMonoidGenerators", "Sublattice" ]

2.2-3 NmzSetVerboseDefault

Returns: the previous verbosity

Set the global default verbosity state in libnormaliz. This will influence all NmzCone created afterwards, but not any existing ones.

See also NmzSetVerbose (2.2-4)

2.2-4 NmzSetVerbose

Returns: the previous verbosity

Set the verbosity state for a cone.

See also NmzSetVerboseDefault (2.2-3)

2.2-5 NmzCompute

Returns: a boolean indicating success

Start computing properties of the given cone. The first parameter indicates a cone object, the second parameter is either a single string, or a list of strings, which indicate what should be computed.

The single parameter version is equivalent to NmzCone(cone, ["DefaultMode"]). See NmzConeProperty (2.2-6) for a list of recognized properties.

gap> NmzKnownConeProperties(cone);
[ "EmbeddingDim", "Generators", "InternalIndex", "IsInhomogeneous", 
  "OriginalMonoidGenerators", "Sublattice" ]
gap> NmzCompute(cone, ["SupportHyperplanes", "IsPointed"]);
true
gap> NmzKnownConeProperties(cone);
[ "EmbeddingDim", "ExtremeRays", "Generators", "InternalIndex", 
  "IsDeg1ExtremeRays", "IsInhomogeneous", "IsPointed", "MaximalSubspace", 
  "OriginalMonoidGenerators", "Rank", "Sublattice", "SupportHyperplanes" ]
gap> NmzCompute(cone);;
gap> NmzKnownConeProperties(cone);
[ "ClassGroup", "EmbeddingDim", "ExtremeRays", "Generators", "HilbertBasis", 
  "InternalIndex", "IsDeg1ExtremeRays", "IsInhomogeneous", 
  "IsIntegrallyClosed", "IsPointed", "IsTriangulationNested", 
  "IsTriangulationPartial", "MaximalSubspace", "OriginalMonoidGenerators", 
  "Rank", "Sublattice", "SupportHyperplanes", "TriangulationDetSum", 
  "TriangulationSize", "UnitGroupIndex" ]

2.2-6 NmzConeProperty

Returns: the result of the computation, type depends on the property

Triggers the computation of the property of the cone and returns the result. If the property was already known, it is not recomputed. Currently the following strings are recognized as properties:

• Generators see NmzGenerators (2.3-44),

• ExtremeRays see NmzExtremeRays (2.3-37),

• VerticesOfPolyhedron see NmzVerticesOfPolyhedron (2.3-124),

• SupportHyperplanes see NmzSupportHyperplanes (2.3-107),

• TriangulationSize see NmzTriangulationSize (2.3-120),

• TriangulationDetSum see NmzTriangulationDetSum (2.3-119),

• Triangulation see NmzTriangulation (2.3-118),

• Multiplicity see NmzMultiplicity (2.3-75),

• RecessionRank see NmzRecessionRank (2.3-98),

• AffineDim see NmzAffineDim (2.3-1),

• ModuleRank see NmzModuleRank (2.3-74),

• HilbertBasis see NmzHilbertBasis (2.3-49),

• ModuleGenerators see NmzModuleGenerators (2.3-72),

• Deg1Elements see NmzDeg1Elements (2.3-17),

• HilbertSeries see NmzHilbertSeries (2.3-51),

• HilbertQuasiPolynomial see NmzHilbertQuasiPolynomial (2.3-50),

• Grading see NmzGrading (2.3-45),

• IsPointed see NmzIsPointed (2.3-64),

• IsDeg1ExtremeRays see NmzIsDeg1ExtremeRays (2.3-58),

• IsDeg1HilbertBasis see NmzIsDeg1HilbertBasis (2.3-59),

• IsIntegrallyClosed see NmzIsIntegrallyClosed (2.3-63),

• OriginalMonoidGenerators see NmzOriginalMonoidGenerators (2.3-88),

• IsReesPrimary see NmzIsReesPrimary (2.3-65),

• ReesPrimaryMultiplicity see NmzReesPrimaryMultiplicity (2.3-99),

• ExcludedFaces see NmzExcludedFaces (2.3-33),

• Dehomogenization see NmzDehomogenization (2.3-18),

• InclusionExclusionData see NmzInclusionExclusionData (2.3-53),

• ClassGroup see NmzClassGroup (2.3-11),

• ModuleGeneratorsOverOriginalMonoid see NmzModuleGeneratorsOverOriginalMonoid (2.3-73),

• Sublattice computes the efficient sublattice and returns a bool signaling whether the computation was successful. Actual data connected to it can be accessed by NmzRank (2.3-96), NmzEquations (2.3-29), NmzCongruences (2.3-14), and NmzBasisChange (2.3-130).

Additionally also the following compute options are accepted as property. They modify what and how should be computed, and return True after a successful computation.

• Approximate approximate the rational polytope by an integral polytope, currently only useful in combination with Deg1Elements.

• BottomDecomposition use the best possible triangulation (with respect to the sum of determinants) using the given generators.

• DefaultMode try to compute what is possible and do not throw an exception when something cannot be computed.

• DualModeactivates the dual algorithm for the computation of the Hilbert basis and degree 1 elements. Includes HilbertBasis, unless Deg1Elements is set. Often a good choice if you start from constraints.

• KeepOrder forbids to reorder the generators. Blocks BottomDecomposition.

All the properties above can be given to NmzCompute (2.2-5). There you can combine different properties, e.g. give some properties that you would like to know and add some compute options.

See the Normaliz manual for a detailed description.

2.2-7 NmzPrintConeProperties

Print an overview of all known properties of the given cone, as well as their values.

2.3 Cone properties

2.3-1 NmzAffineDim

Returns: the affine dimension

The affine dimension of the polyhedron in inhomogeneous computations. Its computation is triggered if necessary.

This is an alias for NmzConeProperty( cone, "AffineDim" ); see NmzConeProperty (2.2-6).

2.3-2 NmzAllGeneratorsTriangulation

This is an alias for NmzConeProperty( cone, "AllGeneratorsTriangulation" ); see NmzConeProperty (2.2-6).

2.3-3 NmzAmbientAutomorphisms

This is an alias for NmzConeProperty( cone, "AmbientAutomorphisms" ); see NmzConeProperty (2.2-6).

2.3-4 NmzApproximate

This is an alias for NmzConeProperty( cone, "Approximate" ); see NmzConeProperty (2.2-6).

2.3-5 NmzAutomorphisms

This is an alias for NmzConeProperty( cone, "Automorphisms" ); see NmzConeProperty (2.2-6).

2.3-6 NmzAxesScaling

This is an alias for NmzConeProperty( cone, "AxesScaling" ); see NmzConeProperty (2.2-6).

2.3-7 NmzBasicStanleyDec

This is an alias for NmzConeProperty( cone, "BasicStanleyDec" ); see NmzConeProperty (2.2-6).

2.3-8 NmzBasicTriangulation

This is an alias for NmzConeProperty( cone, "BasicTriangulation" ); see NmzConeProperty (2.2-6).

2.3-9 NmzBigInt

This is an alias for NmzConeProperty( cone, "BigInt" ); see NmzConeProperty (2.2-6).

2.3-10 NmzBottomDecomposition

This is an alias for NmzConeProperty( cone, "BottomDecomposition" ); see NmzConeProperty (2.2-6).

2.3-11 NmzClassGroup

Returns: the class group in a special format

A normal affine monoid \(M\) has a well-defined divisor class group. It is naturally isomorphic to the divisor class group of \(K[M]\) where \(K\) is a field (or any unique factorization domain). We represent it as a vector where the first entry is the rank. It is followed by sequence of pairs of entries \(n,m\). Such two entries represent a free cyclic summand \((\mathbb{Z}/n\mathbb{Z})^m\). Not allowed in inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "ClassGroup" ); see NmzConeProperty (2.2-6).

2.3-12 NmzCombinatorialAutomorphisms

This is an alias for NmzConeProperty( cone, "CombinatorialAutomorphisms" ); see NmzConeProperty (2.2-6).

2.3-13 NmzConeDecomposition

This is an alias for NmzConeProperty( cone, "ConeDecomposition" ); see NmzConeProperty (2.2-6).

2.3-14 NmzCongruences

Returns: a matrix whose rows represent the congruences

The equations, congruences and support hyperplanes together describe the lattice points of the cone.

This is an alias for NmzConeProperty( cone, "Congruences" ); see NmzConeProperty (2.2-6).

2.3-15 NmzCoveringFace

This is an alias for NmzConeProperty( cone, "CoveringFace" ); see NmzConeProperty (2.2-6).

2.3-16 NmzDefaultMode

This is an alias for NmzConeProperty( cone, "DefaultMode" ); see NmzConeProperty (2.2-6).

2.3-17 NmzDeg1Elements

Returns: a matrix whose rows are the degree 1 elements

Requires the presence of a grading. Not allowed in inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "Deg1Elements" ); see NmzConeProperty (2.2-6).

2.3-18 NmzDehomogenization

Returns: the dehomgenization vector

Only for inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "Dehomogenization" ); see NmzConeProperty (2.2-6).

2.3-19 NmzDescent

This is an alias for NmzConeProperty( cone, "Descent" ); see NmzConeProperty (2.2-6).

2.3-20 NmzDistributedComp

This is an alias for NmzConeProperty( cone, "DistributedComp" ); see NmzConeProperty (2.2-6).

2.3-21 NmzDualFVector

This is an alias for NmzConeProperty( cone, "DualFVector" ); see NmzConeProperty (2.2-6).

2.3-22 NmzDualFaceLattice

This is an alias for NmzConeProperty( cone, "DualFaceLattice" ); see NmzConeProperty (2.2-6).

2.3-23 NmzDualIncidence

This is an alias for NmzConeProperty( cone, "DualIncidence" ); see NmzConeProperty (2.2-6).

2.3-24 NmzDualMode

This is an alias for NmzConeProperty( cone, "DualMode" ); see NmzConeProperty (2.2-6).

2.3-25 NmzDynamic

This is an alias for NmzConeProperty( cone, "Dynamic" ); see NmzConeProperty (2.2-6).

2.3-26 NmzEhrhartQuasiPolynomial

This is an alias for NmzConeProperty( cone, "EhrhartQuasiPolynomial" ); see NmzConeProperty (2.2-6).

2.3-27 NmzEhrhartSeries

Supported in Normaliz >= 3.5.0.

This is an alias for NmzConeProperty( cone, "EhrhartSeries" ); see NmzConeProperty (2.2-6).

2.3-28 NmzEmbeddingDimension

Returns: the embedding dimension of the cone

The embedding dimension is the dimension of the space in which the computation is done. It is the number of components of the output vectors. This value is always known directly after the creation of the cone.

This is an alias for NmzConeProperty( cone, "EmbeddingDim" ); see NmzConeProperty (2.2-6).

2.3-29 NmzEquations

Returns: a matrix whose rows represent the equations

The equations cut out the linear space generated by the cone. The equations, congruences and support hyperplanes together describe the lattice points of the cone.

This is an alias for NmzConeProperty( cone, "Equations" ); see NmzConeProperty (2.2-6).

2.3-30 NmzEuclideanAutomorphisms

This is an alias for NmzConeProperty( cone, "EuclideanAutomorphisms" ); see NmzConeProperty (2.2-6).

2.3-31 NmzEuclideanIntegral

This is an alias for NmzConeProperty( cone, "EuclideanIntegral" ); see NmzConeProperty (2.2-6).

2.3-32 NmzEuclideanVolume

Supported in Normaliz >= 3.5.0.

This is an alias for NmzConeProperty( cone, "EuclideanVolume" ); see NmzConeProperty (2.2-6).

2.3-33 NmzExcludedFaces

Returns: a matrix whose rows represent the excluded faces

This is an alias for NmzConeProperty( cone, "ExcludedFaces" ); see NmzConeProperty (2.2-6).

2.3-34 NmzExploitAutomsVectors

This is an alias for NmzConeProperty( cone, "ExploitAutomsVectors" ); see NmzConeProperty (2.2-6).

2.3-35 NmzExploitIsosMult

This is an alias for NmzConeProperty( cone, "ExploitIsosMult" ); see NmzConeProperty (2.2-6).

2.3-36 NmzExternalIndex

This is an alias for NmzConeProperty( cone, "ExternalIndex" ); see NmzConeProperty (2.2-6).

2.3-37 NmzExtremeRays

Returns: a matrix whose rows are the extreme rays

This is an alias for NmzConeProperty( cone, "ExtremeRays" ); see NmzConeProperty (2.2-6).

2.3-38 NmzExtremeRaysFloat

This is an alias for NmzConeProperty( cone, "ExtremeRaysFloat" ); see NmzConeProperty (2.2-6).

2.3-39 NmzFVector

Supported in Normaliz >= 3.7.0.

This is an alias for NmzConeProperty( cone, "FVector" ); see NmzConeProperty (2.2-6).

2.3-40 NmzFaceLattice

Supported in Normaliz >= 3.7.0.

This is an alias for NmzConeProperty( cone, "FaceLattice" ); see NmzConeProperty (2.2-6).

2.3-41 NmzFixedPrecision

This is an alias for NmzConeProperty( cone, "FixedPrecision" ); see NmzConeProperty (2.2-6).

2.3-42 NmzFullConeDynamic

This is an alias for NmzConeProperty( cone, "FullConeDynamic" ); see NmzConeProperty (2.2-6).

2.3-43 NmzGeneratorOfInterior

Returns: a vector representing the generator of the interior of cone

If cone is Gorenstein, this function returns the generator of the interior of cone. If cone is not Gorenstein, an error is raised.

This is an alias for NmzConeProperty( cone, "GeneratorOfInterior" ); see NmzConeProperty (2.2-6).

2.3-44 NmzGenerators

Returns: a matrix whose rows are the generators of cone

This is an alias for NmzConeProperty( cone, "Generators" ); see NmzConeProperty (2.2-6).

2.3-45 NmzGrading

Returns: the grading vector

This is an alias for NmzConeProperty( cone, "Grading" ); see NmzConeProperty (2.2-6).

2.3-46 NmzGradingDenom

This is an alias for NmzConeProperty( cone, "GradingDenom" ); see NmzConeProperty (2.2-6).

2.3-47 NmzGradingIsPositive

This is an alias for NmzConeProperty( cone, "GradingIsPositive" ); see NmzConeProperty (2.2-6).

2.3-48 NmzHSOP

This is an alias for NmzConeProperty( cone, "HSOP" ); see NmzConeProperty (2.2-6).

2.3-49 NmzHilbertBasis

Returns: a matrix whose rows are the Hilbert basis elements

This is an alias for NmzConeProperty( cone, "HilbertBasis" ); see NmzConeProperty (2.2-6).

2.3-50 NmzHilbertQuasiPolynomial

Returns: the Hilbert function as a quasipolynomial

The Hilbert function counts the lattice points degreewise. The result is a quasipolynomial \(Q\), that is, a polynomial with periodic coefficients. It is given as list of polynomials \(P_0, \ldots, P_{(p-1)}\) such that \(Q(i) = P_{(i \bmod p)} (i)\).

This is an alias for NmzConeProperty( cone, "HilbertQuasiPolynomial" ); see NmzConeProperty (2.2-6).

2.3-51 NmzHilbertSeries

Returns: the Hilbert series as rational function

The result consists of a list with two entries. The first is the numerator polynomial. In inhomogeneous computations this can also be a Laurent polynomial. The second list entry represents the denominator. It is a list of pairs \([k_i, l_i]\). Such a pair represents the factor \((1-t^{k_i})^{l_i}\).

This is an alias for NmzConeProperty( cone, "HilbertSeries" ); see NmzConeProperty (2.2-6).

2.3-52 NmzIncidence

Supported in Normaliz >= 3.8.0.

This is an alias for NmzConeProperty( cone, "Incidence" ); see NmzConeProperty (2.2-6).

2.3-53 NmzInclusionExclusionData

Returns: inclusion-exclusion data

List of faces which are internally have been used in the inclusion-exclusion scheme. Given as a list pairs. The first pair entry is a key of generators contained in the face (compare also NmzTriangulation (2.3-118)) and the multiplicity with which it was considered. Only available with excluded faces or strict constraints as input.

This is an alias for NmzConeProperty( cone, "InclusionExclusionData" ); see NmzConeProperty (2.2-6).

2.3-54 NmzInputAutomorphisms

This is an alias for NmzConeProperty( cone, "InputAutomorphisms" ); see NmzConeProperty (2.2-6).

2.3-55 NmzIntegerHull

This is an alias for NmzConeProperty( cone, "IntegerHull" ); see NmzConeProperty (2.2-6).

2.3-56 NmzIntegral

This is an alias for NmzConeProperty( cone, "Integral" ); see NmzConeProperty (2.2-6).

2.3-57 NmzInternalIndex

This is an alias for NmzConeProperty( cone, "InternalIndex" ); see NmzConeProperty (2.2-6).

2.3-58 NmzIsDeg1ExtremeRays

Returns: true if all extreme rays have degree 1; false otherwise

This is an alias for NmzConeProperty( cone, "IsDeg1ExtremeRays" ); see NmzConeProperty (2.2-6).

2.3-59 NmzIsDeg1HilbertBasis

Returns: true if all Hilbert basis elements have degree 1; false otherwise

This is an alias for NmzConeProperty( cone, "IsDeg1HilbertBasis" ); see NmzConeProperty (2.2-6).

2.3-60 NmzIsEmptySemiOpen

This is an alias for NmzConeProperty( cone, "IsEmptySemiOpen" ); see NmzConeProperty (2.2-6).

2.3-61 NmzIsGorenstein

Returns: whether the cone is Gorenstein

Returns true if cone is Gorenstein, false otherwise.

This is an alias for NmzConeProperty( cone, "IsGorenstein" ); see NmzConeProperty (2.2-6).

2.3-62 NmzIsInhomogeneous

Returns: whether the cone is inhomogeneous

This value is always known directly after the creation of the cone.

This is an alias for NmzConeProperty( cone, "IsInhomogeneous" ); see NmzConeProperty (2.2-6).

2.3-63 NmzIsIntegrallyClosed

Returns: true if the cone is integrally closed; false otherwise

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.

This is an alias for NmzConeProperty( cone, "IsIntegrallyClosed" ); see NmzConeProperty (2.2-6).

2.3-64 NmzIsPointed

Returns: true if the cone is pointed; false otherwise

This is an alias for NmzConeProperty( cone, "IsPointed" ); see NmzConeProperty (2.2-6).

2.3-65 NmzIsReesPrimary

Returns: true if is the monomial ideal is primary to the irrelevant maximal ideal, false otherwise

Only used with the input type rees_algebra.

This is an alias for NmzConeProperty( cone, "IsReesPrimary" ); see NmzConeProperty (2.2-6).

2.3-66 NmzIsTriangulationNested

This is an alias for NmzConeProperty( cone, "IsTriangulationNested" ); see NmzConeProperty (2.2-6).

2.3-67 NmzIsTriangulationPartial

This is an alias for NmzConeProperty( cone, "IsTriangulationPartial" ); see NmzConeProperty (2.2-6).

2.3-68 NmzKeepOrder

This is an alias for NmzConeProperty( cone, "KeepOrder" ); see NmzConeProperty (2.2-6).

2.3-69 NmzLatticePointTriangulation

This is an alias for NmzConeProperty( cone, "LatticePointTriangulation" ); see NmzConeProperty (2.2-6).

2.3-70 NmzLatticePoints

This is an alias for NmzConeProperty( cone, "LatticePoints" ); see NmzConeProperty (2.2-6).

2.3-71 NmzMaximalSubspace

Returns: a matrix whose rows generate the maximale linear subspace

This is an alias for NmzConeProperty( cone, "MaximalSubspace" ); see NmzConeProperty (2.2-6).

2.3-72 NmzModuleGenerators

Returns: a matrix whose rows are the module generators

This is an alias for NmzConeProperty( cone, "ModuleGenerators" ); see NmzConeProperty (2.2-6).

2.3-73 NmzModuleGeneratorsOverOriginalMonoid

Returns: a matrix whose rows are the module generators over the original monoid

A minimal system of generators of the integral closure over the original monoid. Requires the existence of original monoid generators. Not allowed in inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "ModuleGeneratorsOverOriginalMonoid" ); see NmzConeProperty (2.2-6).

2.3-74 NmzModuleRank

Returns: the rank of the module of lattice points in the polyhedron as a module over the recession monoid

Only for inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "ModuleRank" ); see NmzConeProperty (2.2-6).

2.3-75 NmzMultiplicity

This is an alias for NmzConeProperty( cone, "Multiplicity" ); see NmzConeProperty (2.2-6).

2.3-76 NmzNoBottomDec

This is an alias for NmzConeProperty( cone, "NoBottomDec" ); see NmzConeProperty (2.2-6).

2.3-77 NmzNoDescent

This is an alias for NmzConeProperty( cone, "NoDescent" ); see NmzConeProperty (2.2-6).

2.3-78 NmzNoGradingDenom

This is an alias for NmzConeProperty( cone, "NoGradingDenom" ); see NmzConeProperty (2.2-6).

2.3-79 NmzNoLLL

This is an alias for NmzConeProperty( cone, "NoLLL" ); see NmzConeProperty (2.2-6).

2.3-80 NmzNoNestedTri

This is an alias for NmzConeProperty( cone, "NoNestedTri" ); see NmzConeProperty (2.2-6).

2.3-81 NmzNoPeriodBound

This is an alias for NmzConeProperty( cone, "NoPeriodBound" ); see NmzConeProperty (2.2-6).

2.3-82 NmzNoProjection

This is an alias for NmzConeProperty( cone, "NoProjection" ); see NmzConeProperty (2.2-6).

2.3-83 NmzNoRelax

This is an alias for NmzConeProperty( cone, "NoRelax" ); see NmzConeProperty (2.2-6).

2.3-84 NmzNoSignedDec

This is an alias for NmzConeProperty( cone, "NoSignedDec" ); see NmzConeProperty (2.2-6).

2.3-85 NmzNoSubdivision

This is an alias for NmzConeProperty( cone, "NoSubdivision" ); see NmzConeProperty (2.2-6).

2.3-86 NmzNoSymmetrization

This is an alias for NmzConeProperty( cone, "NoSymmetrization" ); see NmzConeProperty (2.2-6).

2.3-87 NmzNumberLatticePoints

This is an alias for NmzConeProperty( cone, "NumberLatticePoints" ); see NmzConeProperty (2.2-6).

2.3-88 NmzOriginalMonoidGenerators

Returns: a matrix whose rows are the original monoid generators

This is an alias for NmzConeProperty( cone, "OriginalMonoidGenerators" ); see NmzConeProperty (2.2-6).

2.3-89 NmzPlacingTriangulation

This is an alias for NmzConeProperty( cone, "PlacingTriangulation" ); see NmzConeProperty (2.2-6).

2.3-90 NmzPrimalMode

This is an alias for NmzConeProperty( cone, "PrimalMode" ); see NmzConeProperty (2.2-6).

2.3-91 NmzProjectCone

Supported in Normaliz >= 3.5.0.

This is an alias for NmzConeProperty( cone, "ProjectCone" ); see NmzConeProperty (2.2-6).

2.3-92 NmzProjection

This is an alias for NmzConeProperty( cone, "Projection" ); see NmzConeProperty (2.2-6).

2.3-93 NmzProjectionFloat

This is an alias for NmzConeProperty( cone, "ProjectionFloat" ); see NmzConeProperty (2.2-6).

2.3-94 NmzPullingTriangulation

This is an alias for NmzConeProperty( cone, "PullingTriangulation" ); see NmzConeProperty (2.2-6).

2.3-95 NmzPullingTriangulationInternal

This is an alias for NmzConeProperty( cone, "PullingTriangulationInternal" ); see NmzConeProperty (2.2-6).

2.3-96 NmzRank

Returns: the rank of the cone

This value is the rank of the lattice generated by the lattice points of the cone.

This is an alias for NmzConeProperty( cone, "Rank" ); see NmzConeProperty (2.2-6).

2.3-97 NmzRationalAutomorphisms

This is an alias for NmzConeProperty( cone, "RationalAutomorphisms" ); see NmzConeProperty (2.2-6).

2.3-98 NmzRecessionRank

Returns: the rank of the recession cone

Only for inhomogeneous computations.

This is an alias for NmzConeProperty( cone, "RecessionRank" ); see NmzConeProperty (2.2-6).

2.3-99 NmzReesPrimaryMultiplicity

the multiplicity of a monomial ideal, provided it is primary to the maximal ideal generated by the indeterminates. Used only with the input type rees_algebra.

This is an alias for NmzConeProperty( cone, "ReesPrimaryMultiplicity" ); see NmzConeProperty (2.2-6).

2.3-100 NmzRenfVolume

This is an alias for NmzConeProperty( cone, "RenfVolume" ); see NmzConeProperty (2.2-6).

2.3-101 NmzSignedDec

This is an alias for NmzConeProperty( cone, "SignedDec" ); see NmzConeProperty (2.2-6).

2.3-102 NmzStanleyDec

This is an alias for NmzConeProperty( cone, "StanleyDec" ); see NmzConeProperty (2.2-6).

2.3-103 NmzStatic

This is an alias for NmzConeProperty( cone, "Static" ); see NmzConeProperty (2.2-6).

2.3-104 NmzStrictIsoTypeCheck

This is an alias for NmzConeProperty( cone, "StrictIsoTypeCheck" ); see NmzConeProperty (2.2-6).

2.3-105 NmzSublattice

This is an alias for NmzConeProperty( cone, "Sublattice" ); see NmzConeProperty (2.2-6).

2.3-106 NmzSuppHypsFloat

Supported in Normaliz >= 3.5.2.

This is an alias for NmzConeProperty( cone, "SuppHypsFloat" ); see NmzConeProperty (2.2-6).

2.3-107 NmzSupportHyperplanes

Returns: a matrix whose rows represent the support hyperplanes

The equations cut out the linear space generated by the cone. The equations, congruences and support hyperplanes together describe the lattice points of the cone.

This is an alias for NmzConeProperty( cone, "SupportHyperplanes" ); see NmzConeProperty (2.2-6).

2.3-108 NmzSymmetrize

This is an alias for NmzConeProperty( cone, "Symmetrize" ); see NmzConeProperty (2.2-6).

2.3-109 NmzTestArithOverflowDescent

This is an alias for NmzConeProperty( cone, "TestArithOverflowDescent" ); see NmzConeProperty (2.2-6).

2.3-110 NmzTestArithOverflowDualMode

This is an alias for NmzConeProperty( cone, "TestArithOverflowDualMode" ); see NmzConeProperty (2.2-6).

2.3-111 NmzTestArithOverflowFullCone

This is an alias for NmzConeProperty( cone, "TestArithOverflowFullCone" ); see NmzConeProperty (2.2-6).

2.3-112 NmzTestArithOverflowProjAndLift

This is an alias for NmzConeProperty( cone, "TestArithOverflowProjAndLift" ); see NmzConeProperty (2.2-6).

2.3-113 NmzTestLargePyramids

This is an alias for NmzConeProperty( cone, "TestLargePyramids" ); see NmzConeProperty (2.2-6).

2.3-114 NmzTestLibNormaliz

This is an alias for NmzConeProperty( cone, "TestLibNormaliz" ); see NmzConeProperty (2.2-6).

2.3-115 NmzTestLinearAlgebraGMP

This is an alias for NmzConeProperty( cone, "TestLinearAlgebraGMP" ); see NmzConeProperty (2.2-6).

2.3-116 NmzTestSimplexParallel

This is an alias for NmzConeProperty( cone, "TestSimplexParallel" ); see NmzConeProperty (2.2-6).

2.3-117 NmzTestSmallPyramids

This is an alias for NmzConeProperty( cone, "TestSmallPyramids" ); see NmzConeProperty (2.2-6).

2.3-118 NmzTriangulation

Returns: the triangulation

This returns a list of the maximal simplicial cones in a triangulation, i.e., a list of cones dividing the cone into simplicial cones. Each cone in the list is represented by a pair. The first entry of such a pair is the key of the simplex, i.e., a list of integers \(a_1,\dots,a_n\) referring to the NmzGenerators (2.3-44) (counting from 0) which are used in this simplicial cone. The second entry of each pair in the list is the absolute value of the determinant of the generator matrix of the simplicial cone.

This is an alias for NmzConeProperty( cone, "Triangulation" ); see NmzConeProperty (2.2-6).

2.3-119 NmzTriangulationDetSum

Returns: sum of the absolute values of the determinants of the simplicial cones in the used triangulation

This is an alias for NmzConeProperty( cone, "TriangulationDetSum" ); see NmzConeProperty (2.2-6).

2.3-120 NmzTriangulationSize

Returns: the number of simplicial cones in the used triangulation

This is an alias for NmzConeProperty( cone, "TriangulationSize" ); see NmzConeProperty (2.2-6).

2.3-121 NmzUnimodularTriangulation

This is an alias for NmzConeProperty( cone, "UnimodularTriangulation" ); see NmzConeProperty (2.2-6).

2.3-122 NmzUnitGroupIndex

This is an alias for NmzConeProperty( cone, "UnitGroupIndex" ); see NmzConeProperty (2.2-6).

2.3-123 NmzVerticesFloat

Returns: a matrix whose rows are the vertices of the polyhedron cone with float coordinates

The rows of this matrix represent the vertices of cone, printed as floats for better readability. The result might be inexact, and should therefore not be used for computations.

This is an alias for NmzConeProperty( cone, "VerticesFloat" ); see NmzConeProperty (2.2-6).

2.3-124 NmzVerticesOfPolyhedron

Returns: a matrix whose rows are the vertices of the polyhedron

This is an alias for NmzConeProperty( cone, "VerticesOfPolyhedron" ); see NmzConeProperty (2.2-6).

2.3-125 NmzVirtualMultiplicity

This is an alias for NmzConeProperty( cone, "VirtualMultiplicity" ); see NmzConeProperty (2.2-6).

2.3-126 NmzVolume

Supported in Normaliz >= 3.5.0.

This is an alias for NmzConeProperty( cone, "Volume" ); see NmzConeProperty (2.2-6).

2.3-127 NmzWeightedEhrhartQuasiPolynomial

This is an alias for NmzConeProperty( cone, "WeightedEhrhartQuasiPolynomial" ); see NmzConeProperty (2.2-6).

2.3-128 NmzWeightedEhrhartSeries

This is an alias for NmzConeProperty( cone, "WeightedEhrhartSeries" ); see NmzConeProperty (2.2-6).

2.3-129 NmzWitnessNotIntegrallyClosed

This is an alias for NmzConeProperty( cone, "WitnessNotIntegrallyClosed" ); see NmzConeProperty (2.2-6).

2.3-130 NmzBasisChange

Returns: a record describing the basis change

The result record r has three components: r.Embedding, r.Projection, and r.Annihilator, where the embedding A and the projection B are matrices, and the annihilator c is an integer. They represent the mapping into the effective lattice \(\mathbb{Z}^n \to \mathbb{Z}^r, u \mapsto (uB)/c\) and the inverse operation \(\mathbb{Z}^r \to \mathbb{Z}^n, v \mapsto vA\).

This is part of the cone property Sublattice.

generated by GAPDoc2HTML