passagemath-gap-pkg-normalizinterface 10.6.42__cp312-abi3-macosx_13_0_x86_64.whl

gap/pkg/normalizinterface/tst/fractions.tst

@@ -0,0 +1,29 @@
+gap> START_TEST("fractions.tst");
+
+#
+gap> M:=[[0, 0], [7/2, 0], [0, 9/4]];
+[ [ 0, 0 ], [ 7/2, 0 ], [ 0, 9/4 ] ]
+gap> cone := NmzCone(["polytope", M]);
+<a Normaliz cone>
+gap> NmzCompute(cone);
+true
+gap> NmzDeg1Elements(cone);
+[ [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 2, 1 ], [ 1, 0, 1 ], [ 1, 1, 1 ], 
+  [ 2, 0, 1 ], [ 3, 0, 1 ] ]
+
+#
+gap> NmzVolume(cone);
+63/8
+gap> NmzEuclideanVolume(cone);
+3.9375
+gap> Display(NmzSupportHyperplanes(cone));
+[ [  -18,  -28,   63 ],
+  [    0,    1,    0 ],
+  [    1,    0,    0 ] ]
+gap> Display(NmzSuppHypsFloat(cone));
+[ [   -0.2857142857142857,  -0.44444444444444442,                    1. ],
+  [                    0.,                    1.,                    0. ],
+  [                    1.,                    0.,                    0. ] ]
+
+#
+gap> STOP_TEST("fractions.tst", 0);

gap/pkg/normalizinterface/tst/gorenstein.tst

@@ -0,0 +1,22 @@
+gap> START_TEST("gorenstein.tst");
+gap> 5x5eq := [
+> [1, 1, 1, 1, 1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
+> [1, 1, 1, 1, 1, 0, 0, 0, 0, 0, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
+> [1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0],
+> [1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, -1, -1, -1],
+> [0, 1, 1, 1, 1, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0],
+> [1, 0, 1, 1, 1, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0],
+> [1, 1, 0, 1, 1, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0],
+> [1, 1, 1, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0],
+> [1, 1, 1, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1],
+> [0, 1, 1, 1, 1, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -1],
+> [1, 1, 1, 1, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, 0, 0]
+> ];;
+gap> 5x5grading := [[1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]];;
+gap> 5x5cone := NmzCone(["equations", 5x5eq,"grading",5x5grading]);
+<a Normaliz cone>
+gap> NmzIsGorenstein(5x5cone);
+true
+gap> NmzGeneratorOfInterior(5x5cone);
+[ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ]
+gap> STOP_TEST("gorenstein.tst", 0);

gap/pkg/normalizinterface/tst/normalizinterface01.tst

@@ -0,0 +1,46 @@
+# NormalizInterface, chapter 2
+#
+# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
+#
+# This file has been generated by AutoDoc. It contains examples extracted from
+# the package documentation. Each example is preceded by a comment which gives
+# the name of a GAPDoc XML file and a line range from which the example were
+# taken. Note that the XML file in turn may have been generated by AutoDoc
+# from some other input.
+#
+gap> START_TEST("normalizinterface01.tst");
+
+# doc/_Chunks.xml:163-166
+gap> cone := NmzCone(["integral_closure",[[2,1],[1,3]]]);
+<a Normaliz cone>
+
+# doc/_Chunks.xml:120-123
+gap> NmzHasConeProperty(cone, "ExtremeRays");
+false
+
+# doc/_Chunks.xml:129-133
+gap> NmzKnownConeProperties(cone);
+[ "EmbeddingDim", "Generators", "InternalIndex", "IsInhomogeneous", 
+  "OriginalMonoidGenerators", "Sublattice" ]
+
+# doc/_Chunks.xml:139-157
+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" ]
+
+#
+gap> STOP_TEST("normalizinterface01.tst", 1);

gap/pkg/normalizinterface/tst/normalizinterface02.tst

@@ -0,0 +1,107 @@
+# NormalizInterface, chapter 3
+#
+# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
+#
+# This file has been generated by AutoDoc. It contains examples extracted from
+# the package documentation. Each example is preceded by a comment which gives
+# the name of a GAPDoc XML file and a line range from which the example were
+# taken. Note that the XML file in turn may have been generated by AutoDoc
+# from some other input.
+#
+gap> START_TEST("normalizinterface02.tst");
+
+# doc/_Chunks.xml:2-15
+gap> C := NmzCone(["integral_closure",[[2,1],[1,3]]]);
+<a Normaliz cone>
+gap> NmzHasConeProperty(C,"HilbertBasis");
+false
+gap> NmzHasConeProperty(C,"SupportHyperplanes");
+false
+gap> NmzConeProperty(C,"HilbertBasis");
+[ [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 2, 1 ] ]
+gap> NmzHasConeProperty(C,"SupportHyperplanes");
+true
+gap> NmzConeProperty(C,"SupportHyperplanes");
+[ [ -1, 2 ], [ 3, -1 ] ]
+
+# doc/_Chunks.xml:21-36
+gap> D := NmzCone(["equations",[[1,2,-3]], "grading",[[0,-1,3]]]);
+<a Normaliz cone>
+gap> NmzCompute(D,["DualMode","HilbertSeries"]);
+true
+gap> NmzHilbertBasis(D);
+[ [ 1, 1, 1 ], [ 0, 3, 2 ], [ 3, 0, 1 ] ]
+gap> NmzHilbertSeries(D);
+[ t^2-t+1, [ [ 1, 1 ], [ 3, 1 ] ] ]
+gap> NmzHasConeProperty(D,"SupportHyperplanes");
+true
+gap> NmzSupportHyperplanes(D);
+[ [ 0, 1, 0 ], [ 1, 0, 0 ] ]
+gap> NmzEquations(D);
+[ [ 1, 2, -3 ] ]
+
+# doc/_Chunks.xml:42-53
+gap> P := NmzCone(["inhom_equations",[[1,2,-3,1]], "grading", [[1,1,1]]]);
+<a Normaliz cone>
+gap> NmzIsInhomogeneous(C);
+false
+gap> NmzIsInhomogeneous(P);
+true
+gap> NmzHilbertBasis(P);
+[ [ 1, 1, 1, 0 ], [ 3, 0, 1, 0 ], [ 0, 3, 2, 0 ] ]
+gap> NmzModuleGenerators(P);
+[ [ 0, 1, 1, 1 ], [ 2, 0, 1, 1 ] ]
+
+# doc/_Chunks.xml:59-86
+gap> Magic3x3even := NmzCone(["equations",
+> [ [1, 1, 1,  -1, -1, -1,   0,  0,  0],
+>   [1, 1, 1,   0,  0,  0,  -1, -1, -1],
+>   [0, 1, 1,  -1,  0,  0,  -1,  0,  0],
+>   [1, 0, 1,   0, -1,  0,   0, -1,  0],
+>   [1, 1, 0,   0,  0, -1,   0,  0, -1],
+>   [0, 1, 1,   0, -1,  0,   0,  0, -1],
+>   [1, 1, 0,   0, -1,  0,  -1,  0,  0] ],
+> "congruences",
+> [ [1, 0, 0,   0, 0, 0,   0, 0, 0,  2],
+>   [0, 0, 1,   0, 0, 0,   0, 0, 0,  2],
+>   [0, 0, 0,   0, 0, 0,   1, 0, 0,  2],
+>   [0, 0, 0,   0, 0, 0,   0, 0, 1,  2] ],
+> "grading",
+> [ [1, 1, 1,   0, 0, 0,   0, 0, 0] ] ] );
+<a Normaliz cone>
+gap> NmzHilbertBasis(Magic3x3even);
+[ [ 0, 4, 2, 4, 2, 0, 2, 0, 4 ], [ 2, 0, 4, 4, 2, 0, 0, 4, 2 ], 
+  [ 2, 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 4, 0, 0, 2, 4, 4, 0, 2 ], 
+  [ 4, 0, 2, 0, 2, 4, 2, 4, 0 ], [ 2, 3, 4, 5, 3, 1, 2, 3, 4 ], 
+  [ 2, 5, 2, 3, 3, 3, 4, 1, 4 ], [ 4, 1, 4, 3, 3, 3, 2, 5, 2 ], 
+  [ 4, 3, 2, 1, 3, 5, 4, 3, 2 ] ]
+gap> NmzHilbertSeries(Magic3x3even);
+[ t^3+3*t^2-t+1, [ [ 1, 1 ], [ 2, 2 ] ] ]
+gap> NmzHilbertQuasiPolynomial(Magic3x3even);
+[ 1/2*t^2+t+1, 1/2*t^2-1/2 ]
+
+# doc/_Chunks.xml:92-114
+gap> M := [
+>  [ 8,  8,  8,  7 ],
+>  [ 0,  4,  0,  1 ],
+>  [ 0,  1,  0,  7 ],
+>  [ 0, -2,  0,  7 ],
+>  [ 0, -2,  0,  1 ],
+>  [ 8, 48,  8, 17 ],
+>  [ 1,  6,  1, 34 ],
+>  [ 2,-12, -2, 37 ],
+>  [ 4,-24, -4, 14 ]
+> ];;
+gap> D := NmzCone(["inhom_inequalities", M,
+>               "signs", [[1,1,1]],
+>               "grading", [[1,1,1]]]);
+<a Normaliz cone>
+gap> NmzCompute(D,["DualMode","HilbertBasis","ModuleGenerators"]);
+true
+gap> NmzHilbertBasis(D);
+[ [ 1, 0, 0, 0 ], [ 1, 0, 1, 0 ] ]
+gap> NmzModuleGenerators(D);
+[ [ 0, 0, 0, 1 ], [ 0, 0, 1, 1 ], [ 0, 0, 2, 1 ], [ 0, 0, 3, 1 ] ]
+
+#
+gap> STOP_TEST("normalizinterface02.tst", 1);

gap/pkg/normalizinterface/tst/project.tst

@@ -0,0 +1,136 @@
+gap> START_TEST("project.tst");
+
+#
+gap> # Based on nonpointed.in
+gap> cone := NmzCone([
+> "equations", [[0, 0, 1, 0], [0, 0, 0, 1]],
+> "inequalities", [[0, 1, 0, 0]],
+> "projection_coordinates", [[1, 1, 1, 0]]]);;
+gap> proj:=NmzProjectCone(cone);
+<a Normaliz cone>
+
+# check what was computed for the input cone
+gap> tmp := NmzKnownConeProperties(cone);;
+gap> RemoveSet(tmp, "NumberLatticePoints");
+gap> Perform(tmp, Display);
+EmbeddingDim
+ExtremeRays
+Generators
+IsInhomogeneous
+IsPointed
+MaximalSubspace
+ProjectCone
+Rank
+Sublattice
+SupportHyperplanes
+gap> Display(NmzTriangulation(cone));
+[ [ rec(
+          Excluded := [  ],
+          height := 0,
+          key := [ 0 ],
+          mult := 0,
+          vol := 1 ) ], [ [ 0, 1, 0, 0 ] ] ]
+gap> Display(NmzExtremeRays(cone));
+[ [  0,  1,  0,  0 ] ]
+gap> Display(NmzSupportHyperplanes(cone));
+[ [  0,  1,  0,  0 ] ]
+gap> Display(NmzHilbertBasis(cone));
+[ [  0,  1,  0,  0 ] ]
+gap> Display(NmzDeg1Elements(cone));
+[ [  0,  1,  0,  0 ] ]
+gap> Display(NmzSublattice(cone));
+[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
+  [ [ 1, 0 ], [ 0, 1 ], [ 0, 0 ], [ 0, 0 ] ], 1 ]
+gap> _NmzPrintSomeConeProperties(cone, [
+> "Generators",
+> "ExtremeRays",
+> "SupportHyperplanes",
+> "HilbertBasis",
+> "Deg1Elements",
+> "Sublattice",
+> "NumberLatticePoints",
+> "OriginalMonoidGenerators",
+> ]);
+BasicTriangulation = fail
+EmbeddingDim = 4
+Grading = [ 0, 1, 0, 0 ]
+GradingDenom = 1
+IsDeg1ExtremeRays = true
+IsDeg1HilbertBasis = true
+IsInhomogeneous = false
+IsPointed = false
+IsTriangulationNested = false
+IsTriangulationPartial = true
+MaximalSubspace = 
+[ [  1,  0,  0,  0 ] ]
+Multiplicity = 1
+ProjectCone = <object>
+Rank = 2
+TriangulationDetSum = 0
+TriangulationSize = 0
+
+# check what was computed for the projected cone
+gap> Perform(NmzKnownConeProperties(proj), Display);
+EmbeddingDim
+ExtremeRays
+Generators
+Grading
+GradingDenom
+InternalIndex
+IsDeg1ExtremeRays
+IsInhomogeneous
+IsPointed
+MaximalSubspace
+OriginalMonoidGenerators
+Rank
+Sublattice
+SupportHyperplanes
+gap> Display(NmzTriangulation(proj));
+[ [ rec(
+          Excluded := [  ],
+          height := 0,
+          key := [ 0 ],
+          mult := 0,
+          vol := 1 ) ], [ [ 0, 1, 0 ] ] ]
+gap> Display(NmzExtremeRays(proj));
+[ [  0,  1,  0 ] ]
+gap> Display(NmzSupportHyperplanes(proj));
+[ [  0,  1,  0 ] ]
+gap> Display(NmzHilbertBasis(proj));
+[ [  0,  1,  0 ] ]
+gap> Display(NmzDeg1Elements(proj));
+[ [  0,  1,  0 ] ]
+gap> Display(NmzSublattice(proj));
+[ [ [ 1, 0, 0 ], [ 0, 1, 0 ] ], [ [ 1, 0 ], [ 0, 1 ], [ 0, 0 ] ], 1 ]
+gap> _NmzPrintSomeConeProperties(proj, [
+> "Generators",
+> "ExtremeRays",
+> "SupportHyperplanes",
+> "HilbertBasis",
+> "Deg1Elements",
+> "Sublattice",
+> "NumberLatticePoints",
+> "OriginalMonoidGenerators",
+> ]);
+BasicTriangulation = fail
+EmbeddingDim = 3
+Grading = [ 0, 1, 0 ]
+GradingDenom = 1
+InternalIndex = 1
+IsDeg1ExtremeRays = true
+IsDeg1HilbertBasis = true
+IsInhomogeneous = false
+IsIntegrallyClosed = true
+IsPointed = false
+IsTriangulationNested = false
+IsTriangulationPartial = true
+MaximalSubspace = 
+[ [  1,  0,  0 ] ]
+Multiplicity = 1
+Rank = 2
+TriangulationDetSum = 0
+TriangulationSize = 0
+UnitGroupIndex = 1
+
+#
+gap> STOP_TEST("project.tst", 0);

gap/pkg/normalizinterface/tst/rational.tst

@@ -0,0 +1,151 @@
+gap> START_TEST("rational.tst");
+
+#
+gap> M := [
+> [  1,  1,  2 ],
+> [ -1, -1,  3 ],
+> [  1, -2,  4 ],
+> ];;
+gap> gr := [ [ 0, 0, 1 ] ];;
+gap> cone := NmzCone(["integral_closure", M, "grading", gr]);;
+gap> NmzCompute(cone);
+true
+gap> tmp := NmzKnownConeProperties(cone);;
+gap> RemoveSet(tmp, "NumberLatticePoints");
+gap> Perform(tmp, Display);
+ClassGroup
+Deg1Elements
+EmbeddingDim
+ExtremeRays
+Generators
+Grading
+GradingDenom
+HilbertBasis
+HilbertQuasiPolynomial
+HilbertSeries
+InternalIndex
+IsDeg1ExtremeRays
+IsDeg1HilbertBasis
+IsInhomogeneous
+IsIntegrallyClosed
+IsPointed
+IsTriangulationNested
+IsTriangulationPartial
+MaximalSubspace
+Multiplicity
+OriginalMonoidGenerators
+Rank
+Sublattice
+SupportHyperplanes
+TriangulationDetSum
+TriangulationSize
+UnitGroupIndex
+gap> Display(NmzTriangulation(cone));
+[ [ rec(
+          Excluded := [  ],
+          height := 0,
+          key := [ 0, 1, 2 ],
+          mult := 0,
+          vol := 15 ) ], [ [ 1, 1, 2 ], [ -1, -1, 3 ], [ 1, -2, 4 ] ] ]
+gap> Display(NmzExtremeRays(cone));
+[ [   1,   1,   2 ],
+  [  -1,  -1,   3 ],
+  [   1,  -2,   4 ] ]
+gap> Display(NmzSupportHyperplanes(cone));
+[ [  -8,   2,   3 ],
+  [   1,  -1,   0 ],
+  [   2,   7,   3 ] ]
+gap> Display(NmzHilbertBasis(cone));
+[ [   0,   0,   1 ],
+  [   1,   1,   2 ],
+  [  -1,  -1,   3 ],
+  [   0,  -1,   3 ],
+  [   1,   0,   3 ],
+  [   1,  -2,   4 ],
+  [   1,  -1,   4 ],
+  [   0,  -2,   5 ] ]
+gap> Display(NmzDeg1Elements(cone));
+[ [  0,  0,  1 ] ]
+gap> Display(NmzSublattice(cone));
+[ [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
+  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 1 ]
+gap> Display(NmzOriginalMonoidGenerators(cone));
+[ [   1,   1,   2 ],
+  [  -1,  -1,   3 ],
+  [   1,  -2,   4 ] ]
+gap> _NmzPrintSomeConeProperties(cone, [
+> "Generators",
+> "ExtremeRays",
+> "SupportHyperplanes",
+> "HilbertBasis",
+> "Deg1Elements",
+> "Sublattice",
+> "NumberLatticePoints",
+> "OriginalMonoidGenerators",
+> ]);
+BasicTriangulation = fail
+ClassGroup = [ 0, 3, 15 ]
+EhrhartQuasiPolynomial = [ [ 48, 28, 15 ], [ 11, 22, 15 ], [ -20, 28, 15 ], 
+  [ 39, 22, 15 ], [ 32, 28, 15 ], [ -5, 22, 15 ], [ 12, 28, 15 ], 
+  [ 23, 22, 15 ], [ 16, 28, 15 ], [ 27, 22, 15 ], [ -4, 28, 15 ], 
+  [ 7, 22, 15 ], 48 ]
+EmbeddingDim = 3
+Grading = [ 0, 0, 1 ]
+GradingDenom = 1
+HilbertQuasiPolynomial = [ 5/16*t^2+7/12*t+1, 5/16*t^2+11/24*t+11/48, 
+  5/16*t^2+7/12*t-5/12, 5/16*t^2+11/24*t+13/16, 5/16*t^2+7/12*t+2/3, 
+  5/16*t^2+11/24*t-5/48, 5/16*t^2+7/12*t+1/4, 5/16*t^2+11/24*t+23/48, 
+  5/16*t^2+7/12*t+1/3, 5/16*t^2+11/24*t+9/16, 5/16*t^2+7/12*t-1/12, 
+  5/16*t^2+11/24*t+7/48 ]
+HilbertQuasiPolynomial = [ 5/16*t^2+7/12*t+1, 5/16*t^2+11/24*t+11/48, 
+  5/16*t^2+7/12*t-5/12, 5/16*t^2+11/24*t+13/16, 5/16*t^2+7/12*t+2/3, 
+  5/16*t^2+11/24*t-5/48, 5/16*t^2+7/12*t+1/4, 5/16*t^2+11/24*t+23/48, 
+  5/16*t^2+7/12*t+1/3, 5/16*t^2+11/24*t+9/16, 5/16*t^2+7/12*t-1/12, 
+  5/16*t^2+11/24*t+7/48 ]
+HilbertSeries = [ 2*t^12+t^11+t^10+t^9+t^8+2*t^7+2*t^6-t^5+2*t^4+3*t^3+1, 
+  [ [ 1, 1 ], [ 2, 1 ], [ 12, 1 ] ] ]
+InternalIndex = 15
+IsDeg1ExtremeRays = false
+IsDeg1HilbertBasis = false
+IsInhomogeneous = false
+IsIntegrallyClosed = false
+IsPointed = true
+IsTriangulationNested = false
+IsTriangulationPartial = false
+MaximalSubspace = [  ]
+Multiplicity = 5/8
+Rank = 3
+TriangulationDetSum = 15
+TriangulationSize = 1
+UnitGroupIndex = 1
+gap> Display(NmzConeDecomposition(cone));
+[ [ rec(
+          Excluded := [ false, false, false ],
+          height := 0,
+          key := [ 0, 1, 2 ],
+          mult := 0,
+          vol := 15 ) ], [ [ 1, 1, 2 ], [ -1, -1, 3 ], [ 1, -2, 4 ] ] ]
+gap> ForAll(NmzConeDecomposition(cone), IsBlistRep);
+false
+
+#
+gap> NmzStanleyDec(cone);
+[ [ [ [ 0, 1, 2 ], 
+          [ [ 0, 0, 0 ], [ 1, 11, 10 ], [ 2, 7, 5 ], [ 3, 3, 0 ], 
+              [ 4, 14, 10 ], [ 5, 10, 5 ], [ 6, 6, 0 ], [ 7, 2, 10 ], 
+              [ 8, 13, 5 ], [ 9, 9, 0 ], [ 10, 5, 10 ], [ 11, 1, 5 ], 
+              [ 12, 12, 0 ], [ 13, 8, 10 ], [ 14, 4, 5 ] ] ] ], 
+  [ [ 1, 1, 2 ], [ -1, -1, 3 ], [ 1, -2, 4 ] ] ]
+
+#
+gap> (_NmzVersion() < [3, 7, 0]) or (NmzFVector(cone) = [ 1, 3, 3, 1 ]);
+true
+gap> (_NmzVersion() < [3, 7, 0]) or (NmzFaceLattice(cone) =
+> [ [ [ false, false, false ], 0 ], [ [ true, false, false ], 1 ], 
+>   [ [ false, true, false ], 1 ], [ [ true, true, false ], 2 ], 
+>   [ [ false, false, true ], 1 ], [ [ true, false, true ], 2 ], 
+>   [ [ false, true, true ], 2 ], [ [ true, true, true ], 3 ] ]);
+true
+
+#
+gap> STOP_TEST("rational.tst", 0);