passagemath-gap-pkg-normalizinterface 10.6.23__cp313-cp313-macosx_13_0_x86_64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.

This version of passagemath-gap-pkg-normalizinterface might be problematic. Click here for more details.

Files changed (60) hide show
  1. gap/pkg/normalizinterface/CHANGES +102 -0
  2. gap/pkg/normalizinterface/LICENSE +351 -0
  3. gap/pkg/normalizinterface/Makefile +19 -0
  4. gap/pkg/normalizinterface/Makefile.gappkg +220 -0
  5. gap/pkg/normalizinterface/Makefile.in +19 -0
  6. gap/pkg/normalizinterface/PackageInfo.g +122 -0
  7. gap/pkg/normalizinterface/README.md +96 -0
  8. gap/pkg/normalizinterface/autogen.sh +5 -0
  9. gap/pkg/normalizinterface/bin/x86_64-apple-darwin22-default64-kv9/NormalizInterface.so +0 -0
  10. gap/pkg/normalizinterface/config.log +337 -0
  11. gap/pkg/normalizinterface/config.status +897 -0
  12. gap/pkg/normalizinterface/configure +5163 -0
  13. gap/pkg/normalizinterface/configure.ac +115 -0
  14. gap/pkg/normalizinterface/etc/download.sh +85 -0
  15. gap/pkg/normalizinterface/etc/generate_cone_property_wrappers.g +380 -0
  16. gap/pkg/normalizinterface/examples/5x5.g +22 -0
  17. gap/pkg/normalizinterface/examples/demo.g +53 -0
  18. gap/pkg/normalizinterface/examples/docs.g +43 -0
  19. gap/pkg/normalizinterface/examples/dual_mode.g +26 -0
  20. gap/pkg/normalizinterface/examples/magic_square.g +36 -0
  21. gap/pkg/normalizinterface/init.g +7 -0
  22. gap/pkg/normalizinterface/lib/cone_property_wrappers.gd +682 -0
  23. gap/pkg/normalizinterface/lib/cone_property_wrappers.gi +132 -0
  24. gap/pkg/normalizinterface/lib/normaliz.gd +158 -0
  25. gap/pkg/normalizinterface/lib/normaliz.gi +153 -0
  26. gap/pkg/normalizinterface/makedoc.g +13 -0
  27. gap/pkg/normalizinterface/read.g +3 -0
  28. gap/pkg/normalizinterface/tst/InhomIneq.tst +20 -0
  29. gap/pkg/normalizinterface/tst/bugfix.tst +37 -0
  30. gap/pkg/normalizinterface/tst/conversion.tst +87 -0
  31. gap/pkg/normalizinterface/tst/cube-incidence.tst +62 -0
  32. gap/pkg/normalizinterface/tst/descent.tst +173 -0
  33. gap/pkg/normalizinterface/tst/dual.tst +533 -0
  34. gap/pkg/normalizinterface/tst/fractions.tst +29 -0
  35. gap/pkg/normalizinterface/tst/gorenstein.tst +22 -0
  36. gap/pkg/normalizinterface/tst/lattice_ideal.tst +147 -0
  37. gap/pkg/normalizinterface/tst/normalizinterface01.tst +46 -0
  38. gap/pkg/normalizinterface/tst/normalizinterface02.tst +107 -0
  39. gap/pkg/normalizinterface/tst/project.tst +136 -0
  40. gap/pkg/normalizinterface/tst/rational.tst +151 -0
  41. gap/pkg/normalizinterface/tst/rees.tst +544 -0
  42. gap/pkg/normalizinterface/tst/rp2poly.tst +351 -0
  43. gap/pkg/normalizinterface/tst/rproj2.tst +548 -0
  44. gap/pkg/normalizinterface/tst/testall.g +3 -0
  45. gap/pkg/normalizinterface/tst/verticesfloat.tst +11 -0
  46. passagemath_gap_pkg_normalizinterface-10.6.23.dist-info/METADATA +92 -0
  47. passagemath_gap_pkg_normalizinterface-10.6.23.dist-info/METADATA.bak +93 -0
  48. passagemath_gap_pkg_normalizinterface-10.6.23.dist-info/RECORD +60 -0
  49. passagemath_gap_pkg_normalizinterface-10.6.23.dist-info/WHEEL +6 -0
  50. passagemath_gap_pkg_normalizinterface-10.6.23.dist-info/top_level.txt +1 -0
  51. passagemath_gap_pkg_normalizinterface.dylibs/libeantic.3.dylib +0 -0
  52. passagemath_gap_pkg_normalizinterface.dylibs/libeanticxx.3.dylib +0 -0
  53. passagemath_gap_pkg_normalizinterface.dylibs/libflint.21.0.dylib +0 -0
  54. passagemath_gap_pkg_normalizinterface.dylibs/libgmp.10.dylib +0 -0
  55. passagemath_gap_pkg_normalizinterface.dylibs/libgmpxx.4.dylib +0 -0
  56. passagemath_gap_pkg_normalizinterface.dylibs/libmpfr.6.dylib +0 -0
  57. passagemath_gap_pkg_normalizinterface.dylibs/libnormaliz.3.dylib +0 -0
  58. sage/all__sagemath_gap_pkg_normalizinterface.py +1 -0
  59. sage/libs/all__sagemath_gap_pkg_normalizinterface.py +1 -0
  60. sage/libs/gap_pkg_normalizinterface.cpython-313-darwin.so +0 -0
gap/pkg/normalizinterface/tst/cube-incidence.tst ADDED
@@ -0,0 +1,62 @@
1
+ #
2
+ gap> START_TEST("cube-incidence.tst");
3
+
4
+ # enter cube inequalities (TODO: make this more convenient)
5
+ gap> d:=5;;
6
+ gap> cube:=function(d)
7
+ > local M;
8
+ > M:=NullMat(2*d,d+1);;
9
+ > M{[1..d]}{[1..d]}:=IdentityMat(d);;
10
+ > M{[1..d]+d}{[1..d]}:=-IdentityMat(d);;
11
+ > M{[1..d]+d}[1+d] := ListWithIdenticalEntries(d,1);;
12
+ > return NmzCone(["inhom_inequalities", M]);
13
+ > end;;
14
+ gap> printIncidence:=function(cone)
15
+ > local tmp;
16
+ > tmp := NmzIncidence(cone);
17
+ > tmp := List(tmp,r->List(r,function(x) if x then return '1'; fi; return '0'; end));
18
+ > Display(JoinStringsWithSeparator(tmp, "\n"));
19
+ > end;;
20
+
21
+ #
22
+ gap> cone := cube(5);
23
+ <a Normaliz cone>
24
+ gap> Length(NmzVerticesOfPolyhedron(cone)) = 32;
25
+ true
26
+ gap> NmzVolume(cone);
27
+ 120
28
+ gap> printIncidence(cone);
29
+ 00000000000000001111111111111111
30
+ 00000000111111110000000011111111
31
+ 00001111000011110000111100001111
32
+ 00110011001100110011001100110011
33
+ 01010101010101010101010101010101
34
+ 10101010101010101010101010101010
35
+ 11001100110011001100110011001100
36
+ 11110000111100001111000011110000
37
+ 11111111000000001111111100000000
38
+ 11111111111111110000000000000000
39
+
40
+ #
41
+ gap> cone := cube(6);
42
+ <a Normaliz cone>
43
+ gap> Length(NmzVerticesOfPolyhedron(cone)) = 64;
44
+ true
45
+ gap> NmzVolume(cone);
46
+ 720
47
+ gap> printIncidence(cone);
48
+ 0000000000000000000000000000000011111111111111111111111111111111
49
+ 0000000000000000111111111111111100000000000000001111111111111111
50
+ 0000000011111111000000001111111100000000111111110000000011111111
51
+ 0000111100001111000011110000111100001111000011110000111100001111
52
+ 0011001100110011001100110011001100110011001100110011001100110011
53
+ 0101010101010101010101010101010101010101010101010101010101010101
54
+ 1010101010101010101010101010101010101010101010101010101010101010
55
+ 1100110011001100110011001100110011001100110011001100110011001100
56
+ 1111000011110000111100001111000011110000111100001111000011110000
57
+ 1111111100000000111111110000000011111111000000001111111100000000
58
+ 1111111111111111000000000000000011111111111111110000000000000000
59
+ 1111111111111111111111111111111100000000000000000000000000000000
60
+
61
+ #
62
+ gap> STOP_TEST("cube-incidence.tst", 0);
gap/pkg/normalizinterface/tst/descent.tst ADDED
@@ -0,0 +1,173 @@
1
+ gap> START_TEST("descent.tst");
2
+
3
+ #
4
+ gap> # Based on dual.in
5
+ gap> M := [
6
+ > [ 0, 0, 0, 1, 0, 0, 0 ],
7
+ > [ 0, 0, 0, 0, 1, 0, 0 ],
8
+ > [ 0, 0, 0, 0, 0, 1, 0 ],
9
+ > [ 0, 0, 0, 0, 0, 0, 1 ],
10
+ > [ 0, 0, 1, 0, 0, 0, 0 ],
11
+ > [ 0, 1, 0, 0, 0, 0, 0 ],
12
+ > [ 0, 1, 0, 1, 1, 0, -1 ],
13
+ > [ 0, 1, 0, 0, 1, 1, -1 ],
14
+ > [ 0, 1, 1, 0, 0, 1, -1 ],
15
+ > [ 0, 0, 1, 1, 1, 0, -1 ],
16
+ > [ 0, 0, 1, 1, 0, 1, -1 ],
17
+ > [ 0, 1, 1, 1, 1, 1, -2 ],
18
+ > [ 1, 0, 0, 0, 0, 0, 0 ],
19
+ > [ 1, 1, 1, 1, 1, 1, -3 ],
20
+ > [ 1, 0, 0, 1, 0, 1, -1 ],
21
+ > [ 1, 0, 0, 0, 1, 1, -1 ],
22
+ > [ 1, 0, 1, 0, 1, 0, -1 ],
23
+ > [ 1, 0, 1, 1, 1, 1, -2 ],
24
+ > [ 1, 1, 0, 1, 0, 0, -1 ],
25
+ > [ 1, 1, 1, 0, 0, 0, -1 ],
26
+ > [ 1, 1, 1, 1, 0, 1, -2 ],
27
+ > [ 1, 1, 1, 0, 1, 1, -2 ],
28
+ > [ 1, 1, 1, 1, 1, 0, -2 ],
29
+ > [ 1, 1, 0, 1, 1, 1, -2 ],
30
+ > ];;
31
+ gap> cone := NmzCone(["inequalities", M]);;
32
+ gap> NmzCompute(cone, ["Descent"]);
33
+ true
34
+ gap> Perform(NmzKnownConeProperties(cone),Display);
35
+ EmbeddingDim
36
+ IsInhomogeneous
37
+ IsPointed
38
+ MaximalSubspace
39
+ gap> Display(NmzTriangulation(cone)[2]);
40
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
41
+ [ 0, 0, 0, 0, 1, 0, 0 ],
42
+ [ 0, 0, 0, 1, 0, 0, 0 ],
43
+ [ 0, 0, 1, 0, 0, 0, 0 ],
44
+ [ 0, 0, 1, 1, 0, 1, 1 ],
45
+ [ 0, 0, 1, 1, 1, 0, 1 ],
46
+ [ 0, 1, 0, 0, 0, 0, 0 ],
47
+ [ 0, 1, 0, 0, 1, 1, 1 ],
48
+ [ 0, 1, 0, 1, 1, 0, 1 ],
49
+ [ 0, 1, 1, 0, 0, 1, 1 ],
50
+ [ 1, 0, 0, 0, 0, 0, 0 ],
51
+ [ 1, 0, 0, 0, 1, 1, 1 ],
52
+ [ 1, 0, 0, 1, 0, 1, 1 ],
53
+ [ 1, 0, 1, 0, 1, 0, 1 ],
54
+ [ 1, 1, 0, 1, 0, 0, 1 ],
55
+ [ 1, 1, 1, 0, 0, 0, 1 ] ]
56
+ gap> Display(NmzExtremeRays(cone));
57
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
58
+ [ 0, 0, 0, 0, 1, 0, 0 ],
59
+ [ 0, 0, 0, 1, 0, 0, 0 ],
60
+ [ 0, 0, 1, 0, 0, 0, 0 ],
61
+ [ 0, 0, 1, 1, 0, 1, 1 ],
62
+ [ 0, 0, 1, 1, 1, 0, 1 ],
63
+ [ 0, 1, 0, 0, 0, 0, 0 ],
64
+ [ 0, 1, 0, 0, 1, 1, 1 ],
65
+ [ 0, 1, 0, 1, 1, 0, 1 ],
66
+ [ 0, 1, 1, 0, 0, 1, 1 ],
67
+ [ 1, 0, 0, 0, 0, 0, 0 ],
68
+ [ 1, 0, 0, 0, 1, 1, 1 ],
69
+ [ 1, 0, 0, 1, 0, 1, 1 ],
70
+ [ 1, 0, 1, 0, 1, 0, 1 ],
71
+ [ 1, 1, 0, 1, 0, 0, 1 ],
72
+ [ 1, 1, 1, 0, 0, 0, 1 ] ]
73
+ gap> Display(NmzSupportHyperplanes(cone));
74
+ [ [ 0, 0, 0, 0, 0, 0, 1 ],
75
+ [ 0, 0, 0, 0, 0, 1, 0 ],
76
+ [ 0, 0, 0, 0, 1, 0, 0 ],
77
+ [ 0, 0, 0, 1, 0, 0, 0 ],
78
+ [ 0, 0, 1, 0, 0, 0, 0 ],
79
+ [ 0, 0, 1, 1, 0, 1, -1 ],
80
+ [ 0, 0, 1, 1, 1, 0, -1 ],
81
+ [ 0, 1, 0, 0, 0, 0, 0 ],
82
+ [ 0, 1, 0, 0, 1, 1, -1 ],
83
+ [ 0, 1, 0, 1, 1, 0, -1 ],
84
+ [ 0, 1, 1, 0, 0, 1, -1 ],
85
+ [ 0, 1, 1, 1, 1, 1, -2 ],
86
+ [ 1, 0, 0, 0, 0, 0, 0 ],
87
+ [ 1, 0, 0, 0, 1, 1, -1 ],
88
+ [ 1, 0, 0, 1, 0, 1, -1 ],
89
+ [ 1, 0, 1, 0, 1, 0, -1 ],
90
+ [ 1, 0, 1, 1, 1, 1, -2 ],
91
+ [ 1, 1, 0, 1, 0, 0, -1 ],
92
+ [ 1, 1, 0, 1, 1, 1, -2 ],
93
+ [ 1, 1, 1, 0, 0, 0, -1 ],
94
+ [ 1, 1, 1, 0, 1, 1, -2 ],
95
+ [ 1, 1, 1, 1, 0, 1, -2 ],
96
+ [ 1, 1, 1, 1, 1, 0, -2 ],
97
+ [ 1, 1, 1, 1, 1, 1, -3 ] ]
98
+ gap> Display(NmzHilbertBasis(cone));
99
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
100
+ [ 0, 0, 0, 0, 1, 0, 0 ],
101
+ [ 0, 0, 0, 1, 0, 0, 0 ],
102
+ [ 0, 0, 1, 0, 0, 0, 0 ],
103
+ [ 0, 0, 1, 1, 0, 1, 1 ],
104
+ [ 0, 0, 1, 1, 1, 0, 1 ],
105
+ [ 0, 1, 0, 0, 0, 0, 0 ],
106
+ [ 0, 1, 0, 0, 1, 1, 1 ],
107
+ [ 0, 1, 0, 1, 1, 0, 1 ],
108
+ [ 0, 1, 1, 0, 0, 1, 1 ],
109
+ [ 1, 0, 0, 0, 0, 0, 0 ],
110
+ [ 1, 0, 0, 0, 1, 1, 1 ],
111
+ [ 1, 0, 0, 1, 0, 1, 1 ],
112
+ [ 1, 0, 1, 0, 1, 0, 1 ],
113
+ [ 1, 1, 0, 1, 0, 0, 1 ],
114
+ [ 1, 1, 1, 0, 0, 0, 1 ],
115
+ [ 1, 1, 1, 1, 1, 1, 2 ] ]
116
+ gap> Display(NmzDeg1Elements(cone));
117
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
118
+ [ 0, 0, 0, 0, 1, 0, 0 ],
119
+ [ 0, 0, 0, 1, 0, 0, 0 ],
120
+ [ 0, 0, 1, 0, 0, 0, 0 ],
121
+ [ 0, 0, 1, 1, 0, 1, 1 ],
122
+ [ 0, 0, 1, 1, 1, 0, 1 ],
123
+ [ 0, 1, 0, 0, 0, 0, 0 ],
124
+ [ 0, 1, 0, 0, 1, 1, 1 ],
125
+ [ 0, 1, 0, 1, 1, 0, 1 ],
126
+ [ 0, 1, 1, 0, 0, 1, 1 ],
127
+ [ 1, 0, 0, 0, 0, 0, 0 ],
128
+ [ 1, 0, 0, 0, 1, 1, 1 ],
129
+ [ 1, 0, 0, 1, 0, 1, 1 ],
130
+ [ 1, 0, 1, 0, 1, 0, 1 ],
131
+ [ 1, 1, 0, 1, 0, 0, 1 ],
132
+ [ 1, 1, 1, 0, 0, 0, 1 ] ]
133
+ gap> Display(NmzSublattice(cone));
134
+ [ [ [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ],
135
+ [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ],
136
+ [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ],
137
+ [ [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ],
138
+ [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ],
139
+ [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ], 1 ]
140
+ gap> _NmzPrintSomeConeProperties(cone, [
141
+ > "Generators",
142
+ > "ExtremeRays",
143
+ > "SupportHyperplanes",
144
+ > "HilbertBasis",
145
+ > "Deg1Elements",
146
+ > "Sublattice",
147
+ > "NumberLatticePoints",
148
+ > "OriginalMonoidGenerators",
149
+ > ]);
150
+ BasicTriangulation = fail
151
+ EmbeddingDim = 7
152
+ Grading = [ 1, 1, 1, 1, 1, 1, -2 ]
153
+ GradingDenom = 1
154
+ IsDeg1ExtremeRays = true
155
+ IsDeg1HilbertBasis = false
156
+ IsInhomogeneous = false
157
+ IsPointed = true
158
+ IsTriangulationNested = false
159
+ IsTriangulationPartial = true
160
+ MaximalSubspace = [ ]
161
+ Multiplicity = 72
162
+ Rank = 7
163
+ TriangulationDetSum = 2
164
+ TriangulationSize = 1
165
+
166
+ #
167
+ gap> NmzVolume(cone);
168
+ 72
169
+ gap> NmzEuclideanVolume(cone);
170
+ 0.316228
171
+
172
+ #
173
+ gap> STOP_TEST("descent.tst", 0);