NormalizInterface

GAP wrapper for Normaliz

1.3.7

7 July 2024

Max Horn
Email: mhorn@rptu.de
Homepage: https://www.quendi.de/math
Address:
Fachbereich Mathematik
RPTU Kaiserslautern-Landau
Gottlieb-Daimler-Straße 48
67663 Kaiserslautern
Germany

1 Introduction

1.1 What is the purpose of the this package?

2 Functions

2.1 Create a NmzCone

2.1-1 NmzCone

2.2 Use a NmzCone

  2.2-1 NmzHasConeProperty
  2.2-2 NmzKnownConeProperties
  2.2-3 NmzSetVerboseDefault
  2.2-4 NmzSetVerbose
  2.2-5 NmzCompute
  2.2-6 NmzConeProperty
  2.2-7 NmzPrintConeProperties

2.3 Cone properties

  2.3-1 NmzAffineDim
  2.3-2 NmzAllGeneratorsTriangulation
  2.3-3 NmzAmbientAutomorphisms
  2.3-4 NmzApproximate
  2.3-5 NmzAutomorphisms
  2.3-6 NmzAxesScaling
  2.3-7 NmzBasicStanleyDec
  2.3-8 NmzBasicTriangulation
  2.3-9 NmzBigInt
  2.3-10 NmzBottomDecomposition
  2.3-11 NmzClassGroup
  2.3-12 NmzCombinatorialAutomorphisms
  2.3-13 NmzConeDecomposition
  2.3-14 NmzCongruences
  2.3-15 NmzCoveringFace
  2.3-16 NmzDefaultMode
  2.3-17 NmzDeg1Elements
  2.3-18 NmzDehomogenization
  2.3-19 NmzDescent
  2.3-20 NmzDistributedComp
  2.3-21 NmzDualFVector
  2.3-22 NmzDualFaceLattice
  2.3-23 NmzDualIncidence
  2.3-24 NmzDualMode
  2.3-25 NmzDynamic
  2.3-26 NmzEhrhartQuasiPolynomial
  2.3-27 NmzEhrhartSeries
  2.3-28 NmzEmbeddingDimension
  2.3-29 NmzEquations
  2.3-30 NmzEuclideanAutomorphisms
  2.3-31 NmzEuclideanIntegral
  2.3-32 NmzEuclideanVolume
  2.3-33 NmzExcludedFaces
  2.3-34 NmzExploitAutomsVectors
  2.3-35 NmzExploitIsosMult
  2.3-36 NmzExternalIndex
  2.3-37 NmzExtremeRays
  2.3-38 NmzExtremeRaysFloat
  2.3-39 NmzFVector
  2.3-40 NmzFaceLattice
  2.3-41 NmzFixedPrecision
  2.3-42 NmzFullConeDynamic
  2.3-43 NmzGeneratorOfInterior
  2.3-44 NmzGenerators
  2.3-45 NmzGrading
  2.3-46 NmzGradingDenom
  2.3-47 NmzGradingIsPositive
  2.3-48 NmzHSOP
  2.3-49 NmzHilbertBasis
  2.3-50 NmzHilbertQuasiPolynomial
  2.3-51 NmzHilbertSeries
  2.3-52 NmzIncidence
  2.3-53 NmzInclusionExclusionData
  2.3-54 NmzInputAutomorphisms
  2.3-55 NmzIntegerHull
  2.3-56 NmzIntegral
  2.3-57 NmzInternalIndex
  2.3-58 NmzIsDeg1ExtremeRays
  2.3-59 NmzIsDeg1HilbertBasis
  2.3-60 NmzIsEmptySemiOpen
  2.3-61 NmzIsGorenstein
  2.3-62 NmzIsInhomogeneous
  2.3-63 NmzIsIntegrallyClosed
  2.3-64 NmzIsPointed
  2.3-65 NmzIsReesPrimary
  2.3-66 NmzIsTriangulationNested
  2.3-67 NmzIsTriangulationPartial
  2.3-68 NmzKeepOrder
  2.3-69 NmzLatticePointTriangulation
  2.3-70 NmzLatticePoints
  2.3-71 NmzMaximalSubspace
  2.3-72 NmzModuleGenerators
  2.3-73 NmzModuleGeneratorsOverOriginalMonoid
  2.3-74 NmzModuleRank
  2.3-75 NmzMultiplicity
  2.3-76 NmzNoBottomDec
  2.3-77 NmzNoDescent
  2.3-78 NmzNoGradingDenom
  2.3-79 NmzNoLLL
  2.3-80 NmzNoNestedTri
  2.3-81 NmzNoPeriodBound
  2.3-82 NmzNoProjection
  2.3-83 NmzNoRelax
  2.3-84 NmzNoSignedDec
  2.3-85 NmzNoSubdivision
  2.3-86 NmzNoSymmetrization
  2.3-87 NmzNumberLatticePoints
  2.3-88 NmzOriginalMonoidGenerators
  2.3-89 NmzPlacingTriangulation
  2.3-90 NmzPrimalMode
  2.3-91 NmzProjectCone
  2.3-92 NmzProjection
  2.3-93 NmzProjectionFloat
  2.3-94 NmzPullingTriangulation
  2.3-95 NmzPullingTriangulationInternal
  2.3-96 NmzRank
  2.3-97 NmzRationalAutomorphisms
  2.3-98 NmzRecessionRank
  2.3-99 NmzReesPrimaryMultiplicity
  2.3-100 NmzRenfVolume
  2.3-101 NmzSignedDec
  2.3-102 NmzStanleyDec
  2.3-103 NmzStatic
  2.3-104 NmzStrictIsoTypeCheck
  2.3-105 NmzSublattice
  2.3-106 NmzSuppHypsFloat
  2.3-107 NmzSupportHyperplanes
  2.3-108 NmzSymmetrize
  2.3-109 NmzTestArithOverflowDescent
  2.3-110 NmzTestArithOverflowDualMode
  2.3-111 NmzTestArithOverflowFullCone
  2.3-112 NmzTestArithOverflowProjAndLift
  2.3-113 NmzTestLargePyramids
  2.3-114 NmzTestLibNormaliz
  2.3-115 NmzTestLinearAlgebraGMP
  2.3-116 NmzTestSimplexParallel
  2.3-117 NmzTestSmallPyramids
  2.3-118 NmzTriangulation
  2.3-119 NmzTriangulationDetSum
  2.3-120 NmzTriangulationSize
  2.3-121 NmzUnimodularTriangulation
  2.3-122 NmzUnitGroupIndex
  2.3-123 NmzVerticesFloat
  2.3-124 NmzVerticesOfPolyhedron
  2.3-125 NmzVirtualMultiplicity
  2.3-126 NmzVolume
  2.3-127 NmzWeightedEhrhartQuasiPolynomial
  2.3-128 NmzWeightedEhrhartSeries
  2.3-129 NmzWitnessNotIntegrallyClosed
  2.3-130 NmzBasisChange

3 Examples

3.1 Generators

3.2 System of equations

3.3 System of inhomogeneous equations

3.4 Combined input

3.5 Using the dual mode

4 Installing NormalizInterface

4.1 Compiling

References

Index

NormalizInterface

GAP wrapper for Normaliz

Contents