chap0.txt

  
  
                               NormalizInterface 
  
  
                            GAP wrapper for Normaliz 
  
  
                                     1.0.2
  
  
                                3 December 2017
  
  
                               Sebastian Gutsche
  
                                    Max Horn
  
                                 Christof Söger
  
  
  
  Sebastian Gutsche
      Email:    mailto:[email protected]
      Homepage: http://wwwb.math.rwth-aachen.de/~gutsche/
      Address:  Department of Mathematics
                University of Siegen
                57072 Kaiserslautern
                Germany
  
  
  Max Horn
      Email:    mailto:[email protected]
      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:[email protected]
      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