1
  
2
  
3
                               NormalizInterface 
4
  
5
  
6
                            GAP wrapper for Normaliz 
7
  
8
  
9
                                     1.0.2
10
  
11
  
12
                                3 December 2017
13
  
14
  
15
                               Sebastian Gutsche
16
  
17
                                    Max Horn
18
  
19
                                 Christof Söger
20
  
21
  
22
  
23
  Sebastian Gutsche
24
      Email:    mailto:[email protected]
25
      Homepage: http://wwwb.math.rwth-aachen.de/~gutsche/
26
      Address:  Department of Mathematics
27
                University of Siegen
28
                57072 Kaiserslautern
29
                Germany
30
  
31
  
32
  Max Horn
33
      Email:    mailto:[email protected]
34
      Homepage: http://www.quendi.de/math
35
      Address:  AG Algebra
36
                Mathematisches Institut
37
                Justus-Liebig-Universität Gießen
38
                Arndtstraße 2
39
                35392 Gießen
40
                Germany
41
  
42
  
43
  Christof Söger
44
      Email:    mailto:[email protected]
45
      Homepage: https://www.normaliz.uni-osnabrueck.de
46
      Address:  Institut für Mathematik
47
                Albrechtstr. 28a
48
                49076 Osnabrück
49
                Germany
50
  
51
  
52
  
53
  -------------------------------------------------------
54
  
55
  
56
  Contents (NormalizInterface)
57
  
58
  1 Introduction
59
    1.1 What is the purpose of the this package?
60
  2 Functions
61
    2.1 Create a NmzCone
62
      2.1-1 NmzCone
63
    2.2 Use a NmzCone
64
      2.2-1 NmzHasConeProperty
65
      2.2-2 NmzKnownConeProperties
66
      2.2-3 NmzSetVerboseDefault
67
      2.2-4 NmzSetVerbose
68
      2.2-5 NmzCompute
69
      2.2-6 NmzConeProperty
70
      2.2-7 NmzPrintConeProperties
71
    2.3 Cone properties
72
      2.3-1 NmzAffineDim
73
      2.3-2 NmzClassGroup
74
      2.3-3 NmzCongruences
75
      2.3-4 NmzDeg1Elements
76
      2.3-5 NmzDehomogenization
77
      2.3-6 NmzEmbeddingDimension
78
      2.3-7 NmzEquations
79
      2.3-8 NmzExcludedFaces
80
      2.3-9 NmzExtremeRays
81
      2.3-10 NmzGenerators
82
      2.3-11 NmzGeneratorOfInterior
83
      2.3-12 NmzGrading
84
      2.3-13 NmzHilbertBasis
85
      2.3-14 NmzHilbertQuasiPolynomial
86
      2.3-15 NmzHilbertSeries
87
      2.3-16 NmzInclusionExclusionData
88
      2.3-17 NmzIsDeg1ExtremeRays
89
      2.3-18 NmzIsDeg1HilbertBasis
90
      2.3-19 NmzIsGorenstein
91
      2.3-20 NmzIsInhomogeneous
92
      2.3-21 NmzIsIntegrallyClosed
93
      2.3-22 NmzIsPointed
94
      2.3-23 NmzIsReesPrimary
95
      2.3-24 NmzMaximalSubspace
96
      2.3-25 NmzModuleGenerators
97
      2.3-26 NmzModuleGeneratorsOverOriginalMonoid
98
      2.3-27 NmzModuleRank
99
      2.3-28 NmzMultiplicity
100
      2.3-29 NmzOriginalMonoidGenerators
101
      2.3-30 NmzRank
102
      2.3-31 NmzRecessionRank
103
      2.3-32 NmzReesPrimaryMultiplicity
104
      2.3-33 NmzSupportHyperplanes
105
      2.3-34 NmzTriangulation
106
      2.3-35 NmzTriangulationDetSum
107
      2.3-36 NmzTriangulationSize
108
      2.3-37 NmzVerticesFloat
109
      2.3-38 NmzVerticesOfPolyhedron
110
      2.3-39 NmzConeDecomposition
111
      2.3-40 NmzEmbeddingDim
112
      2.3-41 NmzExternalIndex
113
      2.3-42 NmzGradingDenom
114
      2.3-43 NmzIntegerHull
115
      2.3-44 NmzInternalIndex
116
      2.3-45 NmzStanleyDec
117
      2.3-46 NmzSublattice
118
      2.3-47 NmzUnitGroupIndex
119
      2.3-48 NmzWeightedEhrhartQuasiPolynomial
120
      2.3-49 NmzWeightedEhrhartSeries
121
      2.3-50 NmzWitnessNotIntegrallyClosed
122
      2.3-51 NmzBasisChange
123
  3 Examples
124
    3.1 Generators
125
    3.2 System of equations
126
    3.3 System of inhomogeneous equations
127
    3.4 Combined input
128
    3.5 Using the dual mode
129
  4 Installing NormalizInterface
130
    4.1 Compiling
131
  
132
  
133
  
134

135