NormalizInterface   GAP wrapper for Normaliz  1.0.2 3 December 2017 Sebastian Gutsche Max Horn Christof Söger Sebastian Gutsche Email: mailto:gutsche@mathematik.uni-siegen.de Homepage: http://wwwb.math.rwth-aachen.de/~gutsche/ Address: Department of Mathematics University of Siegen 57072 Kaiserslautern Germany Max Horn Email: mailto:max.horn@math.uni-giessen.de Homepage: http://www.quendi.de/math Address: AG Algebra Mathematisches Institut Justus-Liebig-Universität Gießen Arndtstraße 2 35392 Gießen Germany Christof Söger Email: mailto:csoeger@uos.de Homepage: https://www.normaliz.uni-osnabrueck.de Address: Institut für Mathematik Albrechtstr. 28a 49076 Osnabrück Germany ------------------------------------------------------- Contents (NormalizInterface) 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 NmzClassGroup 2.3-3 NmzCongruences 2.3-4 NmzDeg1Elements 2.3-5 NmzDehomogenization 2.3-6 NmzEmbeddingDimension 2.3-7 NmzEquations 2.3-8 NmzExcludedFaces 2.3-9 NmzExtremeRays 2.3-10 NmzGenerators 2.3-11 NmzGeneratorOfInterior 2.3-12 NmzGrading 2.3-13 NmzHilbertBasis 2.3-14 NmzHilbertQuasiPolynomial 2.3-15 NmzHilbertSeries 2.3-16 NmzInclusionExclusionData 2.3-17 NmzIsDeg1ExtremeRays 2.3-18 NmzIsDeg1HilbertBasis 2.3-19 NmzIsGorenstein 2.3-20 NmzIsInhomogeneous 2.3-21 NmzIsIntegrallyClosed 2.3-22 NmzIsPointed 2.3-23 NmzIsReesPrimary 2.3-24 NmzMaximalSubspace 2.3-25 NmzModuleGenerators 2.3-26 NmzModuleGeneratorsOverOriginalMonoid 2.3-27 NmzModuleRank 2.3-28 NmzMultiplicity 2.3-29 NmzOriginalMonoidGenerators 2.3-30 NmzRank 2.3-31 NmzRecessionRank 2.3-32 NmzReesPrimaryMultiplicity 2.3-33 NmzSupportHyperplanes 2.3-34 NmzTriangulation 2.3-35 NmzTriangulationDetSum 2.3-36 NmzTriangulationSize 2.3-37 NmzVerticesFloat 2.3-38 NmzVerticesOfPolyhedron 2.3-39 NmzConeDecomposition 2.3-40 NmzEmbeddingDim 2.3-41 NmzExternalIndex 2.3-42 NmzGradingDenom 2.3-43 NmzIntegerHull 2.3-44 NmzInternalIndex 2.3-45 NmzStanleyDec 2.3-46 NmzSublattice 2.3-47 NmzUnitGroupIndex 2.3-48 NmzWeightedEhrhartQuasiPolynomial 2.3-49 NmzWeightedEhrhartSeries 2.3-50 NmzWitnessNotIntegrallyClosed 2.3-51 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