passagemath-gap-pkg-normalizinterface 10.6.32__cp314-cp314t-musllinux_1_2_aarch64.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 (54) hide show
  1. gap/pkg/normalizinterface/CHANGES +113 -0
  2. gap/pkg/normalizinterface/LICENSE +351 -0
  3. gap/pkg/normalizinterface/PackageInfo.g +121 -0
  4. gap/pkg/normalizinterface/README.md +96 -0
  5. gap/pkg/normalizinterface/bin/aarch64-unknown-linux-musl-default64-kv10/NormalizInterface.so +0 -0
  6. gap/pkg/normalizinterface/etc/download.sh +85 -0
  7. gap/pkg/normalizinterface/etc/generate_cone_property_wrappers.g +380 -0
  8. gap/pkg/normalizinterface/examples/5x5.g +22 -0
  9. gap/pkg/normalizinterface/examples/demo.g +53 -0
  10. gap/pkg/normalizinterface/examples/docs.g +43 -0
  11. gap/pkg/normalizinterface/examples/dual_mode.g +26 -0
  12. gap/pkg/normalizinterface/examples/magic_square.g +36 -0
  13. gap/pkg/normalizinterface/init.g +7 -0
  14. gap/pkg/normalizinterface/lib/cone_property_wrappers.gd +682 -0
  15. gap/pkg/normalizinterface/lib/cone_property_wrappers.gi +132 -0
  16. gap/pkg/normalizinterface/lib/normaliz.gd +130 -0
  17. gap/pkg/normalizinterface/lib/normaliz.gi +153 -0
  18. gap/pkg/normalizinterface/makedoc.g +13 -0
  19. gap/pkg/normalizinterface/read.g +3 -0
  20. gap/pkg/normalizinterface/tst/InhomIneq.tst +20 -0
  21. gap/pkg/normalizinterface/tst/bugfix.tst +37 -0
  22. gap/pkg/normalizinterface/tst/conversion.tst +87 -0
  23. gap/pkg/normalizinterface/tst/cube-incidence.tst +62 -0
  24. gap/pkg/normalizinterface/tst/descent.tst +173 -0
  25. gap/pkg/normalizinterface/tst/dual.tst +533 -0
  26. gap/pkg/normalizinterface/tst/fractions.tst +29 -0
  27. gap/pkg/normalizinterface/tst/gorenstein.tst +22 -0
  28. gap/pkg/normalizinterface/tst/normalizinterface01.tst +46 -0
  29. gap/pkg/normalizinterface/tst/normalizinterface02.tst +107 -0
  30. gap/pkg/normalizinterface/tst/project.tst +136 -0
  31. gap/pkg/normalizinterface/tst/rational.tst +151 -0
  32. gap/pkg/normalizinterface/tst/rees.tst +544 -0
  33. gap/pkg/normalizinterface/tst/rp2poly.tst +351 -0
  34. gap/pkg/normalizinterface/tst/rproj2.tst +548 -0
  35. gap/pkg/normalizinterface/tst/testall.g +3 -0
  36. gap/pkg/normalizinterface/tst/verticesfloat.tst +11 -0
  37. passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/METADATA +93 -0
  38. passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/METADATA.bak +94 -0
  39. passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/RECORD +54 -0
  40. passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/WHEEL +5 -0
  41. passagemath_gap_pkg_normalizinterface-10.6.32.dist-info/top_level.txt +1 -0
  42. passagemath_gap_pkg_normalizinterface.libs/libeantic-da90a096.so.3.1.0 +0 -0
  43. passagemath_gap_pkg_normalizinterface.libs/libeanticxx-bd9d5c67.so.3.1.0 +0 -0
  44. passagemath_gap_pkg_normalizinterface.libs/libflint-8c82a98a.so.21.0.0 +0 -0
  45. passagemath_gap_pkg_normalizinterface.libs/libgcc_s-2d945d6c.so.1 +0 -0
  46. passagemath_gap_pkg_normalizinterface.libs/libgmp-28992bcb.so.10.5.0 +0 -0
  47. passagemath_gap_pkg_normalizinterface.libs/libgmpxx-fecb01a9.so.4.7.0 +0 -0
  48. passagemath_gap_pkg_normalizinterface.libs/libgomp-1ede7ee7.so.1.0.0 +0 -0
  49. passagemath_gap_pkg_normalizinterface.libs/libmpfr-e34bb864.so.6.2.1 +0 -0
  50. passagemath_gap_pkg_normalizinterface.libs/libnormaliz-40532fe8.so.3.11.0 +0 -0
  51. passagemath_gap_pkg_normalizinterface.libs/libstdc++-85f2cd6d.so.6.0.33 +0 -0
  52. sage/all__sagemath_gap_pkg_normalizinterface.py +1 -0
  53. sage/libs/all__sagemath_gap_pkg_normalizinterface.py +1 -0
  54. sage/libs/gap_pkg_normalizinterface.cpython-314t-aarch64-linux-musl.so +0 -0
@@ -0,0 +1,548 @@
1
+ gap> START_TEST("rproj2.tst");
2
+
3
+ #
4
+ gap> M := [
5
+ > [ 1, 0, 0, 0, 0, 0, 0 ],
6
+ > [ 0, 1, 0, 0, 0, 0, 0 ],
7
+ > [ 0, 0, 1, 0, 0, 0, 0 ],
8
+ > [ 0, 0, 0, 1, 0, 0, 0 ],
9
+ > [ 0, 0, 0, 0, 1, 0, 0 ],
10
+ > [ 0, 0, 0, 0, 0, 1, 0 ],
11
+ > [ 1, 1, 1, 0, 0, 0, 1 ],
12
+ > [ 1, 1, 0, 1, 0, 0, 1 ],
13
+ > [ 1, 0, 1, 0, 1, 0, 1 ],
14
+ > [ 1, 0, 0, 1, 0, 1, 1 ],
15
+ > [ 1, 0, 0, 0, 1, 1, 1 ],
16
+ > [ 0, 1, 1, 0, 0, 1, 1 ],
17
+ > [ 0, 1, 0, 1, 1, 0, 1 ],
18
+ > [ 0, 1, 0, 0, 1, 1, 1 ],
19
+ > [ 0, 0, 1, 1, 1, 0, 1 ],
20
+ > [ 0, 0, 1, 1, 0, 1, 1 ],
21
+ > ];;
22
+ gap> cone := NmzCone(["integral_closure", M]);;
23
+ gap> NmzCompute(cone);
24
+ true
25
+ gap> tmp := NmzKnownConeProperties(cone);;
26
+ gap> RemoveSet(tmp, "NumberLatticePoints");
27
+ gap> Perform(tmp, Display);
28
+ ClassGroup
29
+ Deg1Elements
30
+ EmbeddingDim
31
+ ExtremeRays
32
+ Generators
33
+ Grading
34
+ GradingDenom
35
+ HilbertBasis
36
+ HilbertQuasiPolynomial
37
+ HilbertSeries
38
+ InternalIndex
39
+ IsDeg1ExtremeRays
40
+ IsDeg1HilbertBasis
41
+ IsInhomogeneous
42
+ IsIntegrallyClosed
43
+ IsPointed
44
+ IsTriangulationNested
45
+ IsTriangulationPartial
46
+ MaximalSubspace
47
+ Multiplicity
48
+ OriginalMonoidGenerators
49
+ Rank
50
+ Sublattice
51
+ SupportHyperplanes
52
+ TriangulationDetSum
53
+ TriangulationSize
54
+ UnitGroupIndex
55
+ gap> Display(NmzTriangulation(cone));
56
+ [ [ rec(
57
+ Excluded := [ ],
58
+ height := 0,
59
+ key := [ 0, 1, 2, 3, 4, 6, 10 ],
60
+ mult := 0,
61
+ vol := 1 ), rec(
62
+ Excluded := [ ],
63
+ height := 0,
64
+ key := [ 0, 1, 2, 4, 6, 7, 10 ],
65
+ mult := 0,
66
+ vol := 1 ), rec(
67
+ Excluded := [ ],
68
+ height := 0,
69
+ key := [ 0, 1, 2, 4, 7, 10, 11 ],
70
+ mult := 0,
71
+ vol := 1 ), rec(
72
+ Excluded := [ ],
73
+ height := 0,
74
+ key := [ 0, 1, 3, 4, 6, 7, 10 ],
75
+ mult := 0,
76
+ vol := 1 ), rec(
77
+ Excluded := [ ],
78
+ height := 0,
79
+ key := [ 0, 1, 3, 4, 7, 10, 11 ],
80
+ mult := 0,
81
+ vol := 1 ), rec(
82
+ Excluded := [ ],
83
+ height := 0,
84
+ key := [ 0, 2, 4, 6, 7, 10, 12 ],
85
+ mult := 0,
86
+ vol := 1 ), rec(
87
+ Excluded := [ ],
88
+ height := 0,
89
+ key := [ 0, 2, 4, 7, 10, 11, 12 ],
90
+ mult := 0,
91
+ vol := 1 ), rec(
92
+ Excluded := [ ],
93
+ height := 0,
94
+ key := [ 0, 3, 4, 6, 7, 9, 10 ],
95
+ mult := 0,
96
+ vol := 1 ), rec(
97
+ Excluded := [ ],
98
+ height := 0,
99
+ key := [ 0, 3, 4, 7, 9, 10, 11 ],
100
+ mult := 0,
101
+ vol := 1 ), rec(
102
+ Excluded := [ ],
103
+ height := 0,
104
+ key := [ 0, 4, 6, 7, 9, 10, 12 ],
105
+ mult := 0,
106
+ vol := 1 ), rec(
107
+ Excluded := [ ],
108
+ height := 0,
109
+ key := [ 0, 4, 7, 9, 10, 11, 12 ],
110
+ mult := 0,
111
+ vol := 1 ), rec(
112
+ Excluded := [ ],
113
+ height := 0,
114
+ key := [ 1, 2, 3, 4, 5, 6, 10 ],
115
+ mult := 0,
116
+ vol := 1 ), rec(
117
+ Excluded := [ ],
118
+ height := 0,
119
+ key := [ 1, 2, 4, 5, 6, 7, 10 ],
120
+ mult := 0,
121
+ vol := 1 ), rec(
122
+ Excluded := [ ],
123
+ height := 0,
124
+ key := [ 1, 2, 4, 5, 7, 10, 11 ],
125
+ mult := 0,
126
+ vol := 1 ), rec(
127
+ Excluded := [ ],
128
+ height := 0,
129
+ key := [ 1, 2, 5, 6, 7, 8, 10 ],
130
+ mult := 0,
131
+ vol := 1 ), rec(
132
+ Excluded := [ ],
133
+ height := 0,
134
+ key := [ 1, 2, 5, 7, 8, 10, 11 ],
135
+ mult := 0,
136
+ vol := 1 ), rec(
137
+ Excluded := [ ],
138
+ height := 0,
139
+ key := [ 1, 3, 4, 5, 6, 7, 10 ],
140
+ mult := 0,
141
+ vol := 1 ), rec(
142
+ Excluded := [ ],
143
+ height := 0,
144
+ key := [ 1, 3, 4, 5, 7, 10, 11 ],
145
+ mult := 0,
146
+ vol := 1 ), rec(
147
+ Excluded := [ ],
148
+ height := 0,
149
+ key := [ 1, 3, 5, 6, 7, 10, 13 ],
150
+ mult := 0,
151
+ vol := 1 ), rec(
152
+ Excluded := [ ],
153
+ height := 0,
154
+ key := [ 1, 3, 5, 7, 10, 11, 13 ],
155
+ mult := 0,
156
+ vol := 1 ), rec(
157
+ Excluded := [ ],
158
+ height := 0,
159
+ key := [ 1, 5, 6, 7, 8, 10, 13 ],
160
+ mult := 0,
161
+ vol := 1 ), rec(
162
+ Excluded := [ ],
163
+ height := 0,
164
+ key := [ 1, 5, 7, 8, 10, 11, 13 ],
165
+ mult := 0,
166
+ vol := 1 ), rec(
167
+ Excluded := [ ],
168
+ height := 0,
169
+ key := [ 2, 3, 4, 5, 6, 10, 14 ],
170
+ mult := 0,
171
+ vol := 1 ), rec(
172
+ Excluded := [ ],
173
+ height := 0,
174
+ key := [ 2, 4, 5, 6, 7, 8, 10 ],
175
+ mult := 0,
176
+ vol := 1 ), rec(
177
+ Excluded := [ ],
178
+ height := 0,
179
+ key := [ 2, 4, 5, 6, 8, 10, 14 ],
180
+ mult := 0,
181
+ vol := 1 ), rec(
182
+ Excluded := [ ],
183
+ height := 0,
184
+ key := [ 2, 4, 5, 7, 8, 10, 11 ],
185
+ mult := 0,
186
+ vol := 1 ), rec(
187
+ Excluded := [ ],
188
+ height := 0,
189
+ key := [ 2, 4, 5, 8, 10, 11, 12 ],
190
+ mult := 0,
191
+ vol := 1 ), rec(
192
+ Excluded := [ ],
193
+ height := 0,
194
+ key := [ 2, 4, 5, 8, 10, 12, 14 ],
195
+ mult := 0,
196
+ vol := 1 ), rec(
197
+ Excluded := [ ],
198
+ height := 0,
199
+ key := [ 2, 4, 6, 7, 8, 10, 12 ],
200
+ mult := 0,
201
+ vol := 1 ), rec(
202
+ Excluded := [ ],
203
+ height := 0,
204
+ key := [ 2, 4, 6, 8, 10, 12, 14 ],
205
+ mult := 0,
206
+ vol := 1 ), rec(
207
+ Excluded := [ ],
208
+ height := 0,
209
+ key := [ 2, 4, 7, 8, 10, 11, 12 ],
210
+ mult := 0,
211
+ vol := 1 ), rec(
212
+ Excluded := [ ],
213
+ height := 0,
214
+ key := [ 3, 4, 5, 6, 7, 9, 10 ],
215
+ mult := 0,
216
+ vol := 1 ), rec(
217
+ Excluded := [ ],
218
+ height := 0,
219
+ key := [ 3, 4, 5, 6, 9, 10, 14 ],
220
+ mult := 0,
221
+ vol := 1 ), rec(
222
+ Excluded := [ ],
223
+ height := 0,
224
+ key := [ 3, 4, 5, 7, 9, 10, 11 ],
225
+ mult := 0,
226
+ vol := 1 ), rec(
227
+ Excluded := [ ],
228
+ height := 0,
229
+ key := [ 3, 4, 5, 9, 10, 11, 13 ],
230
+ mult := 0,
231
+ vol := 1 ), rec(
232
+ Excluded := [ ],
233
+ height := 0,
234
+ key := [ 3, 4, 5, 9, 10, 13, 14 ],
235
+ mult := 0,
236
+ vol := 1 ), rec(
237
+ Excluded := [ ],
238
+ height := 0,
239
+ key := [ 3, 4, 5, 9, 13, 14, 15 ],
240
+ mult := 0,
241
+ vol := 1 ), rec(
242
+ Excluded := [ ],
243
+ height := 0,
244
+ key := [ 3, 4, 9, 10, 13, 14, 15 ],
245
+ mult := 0,
246
+ vol := 1 ), rec(
247
+ Excluded := [ ],
248
+ height := 0,
249
+ key := [ 3, 5, 6, 7, 9, 10, 13 ],
250
+ mult := 0,
251
+ vol := 1 ), rec(
252
+ Excluded := [ ],
253
+ height := 0,
254
+ key := [ 3, 5, 6, 9, 10, 13, 14 ],
255
+ mult := 0,
256
+ vol := 1 ), rec(
257
+ Excluded := [ ],
258
+ height := 0,
259
+ key := [ 3, 5, 6, 9, 13, 14, 15 ],
260
+ mult := 0,
261
+ vol := 1 ), rec(
262
+ Excluded := [ ],
263
+ height := 0,
264
+ key := [ 3, 5, 7, 9, 10, 11, 13 ],
265
+ mult := 0,
266
+ vol := 1 ), rec(
267
+ Excluded := [ ],
268
+ height := 0,
269
+ key := [ 3, 6, 9, 10, 13, 14, 15 ],
270
+ mult := 0,
271
+ vol := 1 ), rec(
272
+ Excluded := [ ],
273
+ height := 0,
274
+ key := [ 4, 5, 6, 7, 8, 9, 10 ],
275
+ mult := 0,
276
+ vol := 1 ), rec(
277
+ Excluded := [ ],
278
+ height := 0,
279
+ key := [ 4, 5, 6, 8, 9, 10, 14 ],
280
+ mult := 0,
281
+ vol := 1 ), rec(
282
+ Excluded := [ ],
283
+ height := 0,
284
+ key := [ 4, 5, 7, 8, 9, 10, 11 ],
285
+ mult := 0,
286
+ vol := 1 ), rec(
287
+ Excluded := [ ],
288
+ height := 0,
289
+ key := [ 4, 5, 8, 9, 10, 11, 12 ],
290
+ mult := 0,
291
+ vol := 1 ), rec(
292
+ Excluded := [ ],
293
+ height := 0,
294
+ key := [ 4, 5, 8, 9, 10, 12, 14 ],
295
+ mult := 0,
296
+ vol := 1 ), rec(
297
+ Excluded := [ ],
298
+ height := 0,
299
+ key := [ 4, 5, 9, 10, 11, 12, 13 ],
300
+ mult := 0,
301
+ vol := 1 ), rec(
302
+ Excluded := [ ],
303
+ height := 0,
304
+ key := [ 4, 5, 9, 10, 12, 13, 14 ],
305
+ mult := 0,
306
+ vol := 1 ), rec(
307
+ Excluded := [ ],
308
+ height := 0,
309
+ key := [ 4, 6, 7, 8, 9, 10, 12 ],
310
+ mult := 0,
311
+ vol := 1 ), rec(
312
+ Excluded := [ ],
313
+ height := 0,
314
+ key := [ 4, 6, 8, 9, 10, 12, 14 ],
315
+ mult := 0,
316
+ vol := 1 ), rec(
317
+ Excluded := [ ],
318
+ height := 0,
319
+ key := [ 4, 7, 8, 9, 10, 11, 12 ],
320
+ mult := 0,
321
+ vol := 1 ), rec(
322
+ Excluded := [ ],
323
+ height := 0,
324
+ key := [ 4, 9, 10, 12, 13, 14, 15 ],
325
+ mult := 0,
326
+ vol := 1 ), rec(
327
+ Excluded := [ ],
328
+ height := 0,
329
+ key := [ 5, 6, 7, 8, 9, 10, 13 ],
330
+ mult := 0,
331
+ vol := 1 ), rec(
332
+ Excluded := [ ],
333
+ height := 0,
334
+ key := [ 5, 6, 8, 9, 10, 13, 14 ],
335
+ mult := 0,
336
+ vol := 1 ), rec(
337
+ Excluded := [ ],
338
+ height := 0,
339
+ key := [ 5, 6, 8, 9, 13, 14, 15 ],
340
+ mult := 0,
341
+ vol := 1 ), rec(
342
+ Excluded := [ ],
343
+ height := 0,
344
+ key := [ 5, 7, 8, 9, 10, 11, 13 ],
345
+ mult := 0,
346
+ vol := 1 ), rec(
347
+ Excluded := [ ],
348
+ height := 0,
349
+ key := [ 5, 8, 9, 10, 11, 12, 13 ],
350
+ mult := 0,
351
+ vol := 2 ), rec(
352
+ Excluded := [ ],
353
+ height := 0,
354
+ key := [ 5, 8, 9, 10, 12, 13, 14 ],
355
+ mult := 0,
356
+ vol := 2 ), rec(
357
+ Excluded := [ ],
358
+ height := 0,
359
+ key := [ 6, 7, 8, 9, 10, 12, 14 ],
360
+ mult := 0,
361
+ vol := 1 ), rec(
362
+ Excluded := [ ],
363
+ height := 0,
364
+ key := [ 6, 7, 8, 9, 10, 13, 14 ],
365
+ mult := 0,
366
+ vol := 1 ), rec(
367
+ Excluded := [ ],
368
+ height := 0,
369
+ key := [ 6, 7, 8, 9, 13, 14, 15 ],
370
+ mult := 0,
371
+ vol := 1 ), rec(
372
+ Excluded := [ ],
373
+ height := 0,
374
+ key := [ 6, 7, 9, 10, 13, 14, 15 ],
375
+ mult := 0,
376
+ vol := 1 ), rec(
377
+ Excluded := [ ],
378
+ height := 0,
379
+ key := [ 7, 8, 9, 10, 11, 12, 14 ],
380
+ mult := 0,
381
+ vol := 1 ), rec(
382
+ Excluded := [ ],
383
+ height := 0,
384
+ key := [ 7, 8, 9, 10, 11, 13, 14 ],
385
+ mult := 0,
386
+ vol := 1 ), rec(
387
+ Excluded := [ ],
388
+ height := 0,
389
+ key := [ 7, 9, 10, 11, 13, 14, 15 ],
390
+ mult := 0,
391
+ vol := 1 ), rec(
392
+ Excluded := [ ],
393
+ height := 0,
394
+ key := [ 8, 9, 10, 11, 12, 13, 14 ],
395
+ mult := 0,
396
+ vol := 2 ), rec(
397
+ Excluded := [ ],
398
+ height := 0,
399
+ key := [ 9, 10, 11, 12, 13, 14, 15 ],
400
+ mult := 0,
401
+ vol := 1 ) ],
402
+ [ [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 1, 0, 0, 0 ],
403
+ [ 0, 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 1, 0, 1, 1 ],
404
+ [ 0, 0, 1, 1, 1, 0, 1 ], [ 0, 1, 0, 0, 0, 0, 0 ],
405
+ [ 0, 1, 0, 0, 1, 1, 1 ], [ 0, 1, 0, 1, 1, 0, 1 ],
406
+ [ 0, 1, 1, 0, 0, 1, 1 ], [ 1, 0, 0, 0, 0, 0, 0 ],
407
+ [ 1, 0, 0, 0, 1, 1, 1 ], [ 1, 0, 0, 1, 0, 1, 1 ],
408
+ [ 1, 0, 1, 0, 1, 0, 1 ], [ 1, 1, 0, 1, 0, 0, 1 ],
409
+ [ 1, 1, 1, 0, 0, 0, 1 ] ] ]
410
+ gap> Display(NmzExtremeRays(cone));
411
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
412
+ [ 0, 0, 0, 0, 1, 0, 0 ],
413
+ [ 0, 0, 0, 1, 0, 0, 0 ],
414
+ [ 0, 0, 1, 0, 0, 0, 0 ],
415
+ [ 0, 0, 1, 1, 0, 1, 1 ],
416
+ [ 0, 0, 1, 1, 1, 0, 1 ],
417
+ [ 0, 1, 0, 0, 0, 0, 0 ],
418
+ [ 0, 1, 0, 0, 1, 1, 1 ],
419
+ [ 0, 1, 0, 1, 1, 0, 1 ],
420
+ [ 0, 1, 1, 0, 0, 1, 1 ],
421
+ [ 1, 0, 0, 0, 0, 0, 0 ],
422
+ [ 1, 0, 0, 0, 1, 1, 1 ],
423
+ [ 1, 0, 0, 1, 0, 1, 1 ],
424
+ [ 1, 0, 1, 0, 1, 0, 1 ],
425
+ [ 1, 1, 0, 1, 0, 0, 1 ],
426
+ [ 1, 1, 1, 0, 0, 0, 1 ] ]
427
+ gap> Display(NmzSupportHyperplanes(cone));
428
+ [ [ 0, 0, 0, 0, 0, 0, 1 ],
429
+ [ 0, 0, 0, 0, 0, 1, 0 ],
430
+ [ 0, 0, 0, 0, 1, 0, 0 ],
431
+ [ 0, 0, 0, 1, 0, 0, 0 ],
432
+ [ 0, 0, 1, 0, 0, 0, 0 ],
433
+ [ 0, 0, 1, 1, 0, 1, -1 ],
434
+ [ 0, 0, 1, 1, 1, 0, -1 ],
435
+ [ 0, 1, 0, 0, 0, 0, 0 ],
436
+ [ 0, 1, 0, 0, 1, 1, -1 ],
437
+ [ 0, 1, 0, 1, 1, 0, -1 ],
438
+ [ 0, 1, 1, 0, 0, 1, -1 ],
439
+ [ 0, 1, 1, 1, 1, 1, -2 ],
440
+ [ 1, 0, 0, 0, 0, 0, 0 ],
441
+ [ 1, 0, 0, 0, 1, 1, -1 ],
442
+ [ 1, 0, 0, 1, 0, 1, -1 ],
443
+ [ 1, 0, 1, 0, 1, 0, -1 ],
444
+ [ 1, 0, 1, 1, 1, 1, -2 ],
445
+ [ 1, 1, 0, 1, 0, 0, -1 ],
446
+ [ 1, 1, 0, 1, 1, 1, -2 ],
447
+ [ 1, 1, 1, 0, 0, 0, -1 ],
448
+ [ 1, 1, 1, 0, 1, 1, -2 ],
449
+ [ 1, 1, 1, 1, 0, 1, -2 ],
450
+ [ 1, 1, 1, 1, 1, 0, -2 ],
451
+ [ 1, 1, 1, 1, 1, 1, -3 ] ]
452
+ gap> Display(NmzHilbertBasis(cone));
453
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
454
+ [ 0, 0, 0, 0, 1, 0, 0 ],
455
+ [ 0, 0, 0, 1, 0, 0, 0 ],
456
+ [ 0, 0, 1, 0, 0, 0, 0 ],
457
+ [ 0, 0, 1, 1, 0, 1, 1 ],
458
+ [ 0, 0, 1, 1, 1, 0, 1 ],
459
+ [ 0, 1, 0, 0, 0, 0, 0 ],
460
+ [ 0, 1, 0, 0, 1, 1, 1 ],
461
+ [ 0, 1, 0, 1, 1, 0, 1 ],
462
+ [ 0, 1, 1, 0, 0, 1, 1 ],
463
+ [ 1, 0, 0, 0, 0, 0, 0 ],
464
+ [ 1, 0, 0, 0, 1, 1, 1 ],
465
+ [ 1, 0, 0, 1, 0, 1, 1 ],
466
+ [ 1, 0, 1, 0, 1, 0, 1 ],
467
+ [ 1, 1, 0, 1, 0, 0, 1 ],
468
+ [ 1, 1, 1, 0, 0, 0, 1 ],
469
+ [ 1, 1, 1, 1, 1, 1, 2 ] ]
470
+ gap> Display(NmzDeg1Elements(cone));
471
+ [ [ 0, 0, 0, 0, 0, 1, 0 ],
472
+ [ 0, 0, 0, 0, 1, 0, 0 ],
473
+ [ 0, 0, 0, 1, 0, 0, 0 ],
474
+ [ 0, 0, 1, 0, 0, 0, 0 ],
475
+ [ 0, 0, 1, 1, 0, 1, 1 ],
476
+ [ 0, 0, 1, 1, 1, 0, 1 ],
477
+ [ 0, 1, 0, 0, 0, 0, 0 ],
478
+ [ 0, 1, 0, 0, 1, 1, 1 ],
479
+ [ 0, 1, 0, 1, 1, 0, 1 ],
480
+ [ 0, 1, 1, 0, 0, 1, 1 ],
481
+ [ 1, 0, 0, 0, 0, 0, 0 ],
482
+ [ 1, 0, 0, 0, 1, 1, 1 ],
483
+ [ 1, 0, 0, 1, 0, 1, 1 ],
484
+ [ 1, 0, 1, 0, 1, 0, 1 ],
485
+ [ 1, 1, 0, 1, 0, 0, 1 ],
486
+ [ 1, 1, 1, 0, 0, 0, 1 ] ]
487
+ gap> Display(NmzSublattice(cone));
488
+ [ [ [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ],
489
+ [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ],
490
+ [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ],
491
+ [ [ 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0 ],
492
+ [ 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 0 ],
493
+ [ 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1 ] ], 1 ]
494
+ gap> Display(NmzOriginalMonoidGenerators(cone));
495
+ [ [ 1, 0, 0, 0, 0, 0, 0 ],
496
+ [ 0, 1, 0, 0, 0, 0, 0 ],
497
+ [ 0, 0, 1, 0, 0, 0, 0 ],
498
+ [ 0, 0, 0, 1, 0, 0, 0 ],
499
+ [ 0, 0, 0, 0, 1, 0, 0 ],
500
+ [ 0, 0, 0, 0, 0, 1, 0 ],
501
+ [ 1, 1, 1, 0, 0, 0, 1 ],
502
+ [ 1, 1, 0, 1, 0, 0, 1 ],
503
+ [ 1, 0, 1, 0, 1, 0, 1 ],
504
+ [ 1, 0, 0, 1, 0, 1, 1 ],
505
+ [ 1, 0, 0, 0, 1, 1, 1 ],
506
+ [ 0, 1, 1, 0, 0, 1, 1 ],
507
+ [ 0, 1, 0, 1, 1, 0, 1 ],
508
+ [ 0, 1, 0, 0, 1, 1, 1 ],
509
+ [ 0, 0, 1, 1, 1, 0, 1 ],
510
+ [ 0, 0, 1, 1, 0, 1, 1 ] ]
511
+ gap> _NmzPrintSomeConeProperties(cone, [
512
+ > "Generators",
513
+ > "ExtremeRays",
514
+ > "SupportHyperplanes",
515
+ > "HilbertBasis",
516
+ > "Deg1Elements",
517
+ > "Sublattice",
518
+ > "NumberLatticePoints",
519
+ > "OriginalMonoidGenerators",
520
+ > ]);
521
+ BasicTriangulation = fail
522
+ ClassGroup = [ 17 ]
523
+ EhrhartQuasiPolynomial = [ [ 60, 194, 284, 245, 130, 41, 6 ], 60 ]
524
+ EmbeddingDim = 7
525
+ Grading = [ 1, 1, 1, 1, 1, 1, -2 ]
526
+ GradingDenom = 1
527
+ HilbertQuasiPolynomial =
528
+ [ 1/10*t^6+41/60*t^5+13/6*t^4+49/12*t^3+71/15*t^2+97/30*t+1 ]
529
+ HilbertQuasiPolynomial =
530
+ [ 1/10*t^6+41/60*t^5+13/6*t^4+49/12*t^3+71/15*t^2+97/30*t+1 ]
531
+ HilbertSeries = [ 6*t^4+25*t^3+31*t^2+9*t+1, [ [ 1, 7 ] ] ]
532
+ InternalIndex = 1
533
+ IsDeg1ExtremeRays = true
534
+ IsDeg1HilbertBasis = false
535
+ IsInhomogeneous = false
536
+ IsIntegrallyClosed = false
537
+ IsPointed = true
538
+ IsTriangulationNested = false
539
+ IsTriangulationPartial = false
540
+ MaximalSubspace = [ ]
541
+ Multiplicity = 72
542
+ Rank = 7
543
+ TriangulationDetSum = 72
544
+ TriangulationSize = 69
545
+ UnitGroupIndex = 1
546
+
547
+ #
548
+ gap> STOP_TEST("rproj2.tst", 0);
@@ -0,0 +1,3 @@
1
+ LoadPackage("NormalizInterface");
2
+ dirs := DirectoriesPackageLibrary("NormalizInterface", "tst");
3
+ TestDirectory(dirs, rec(exitGAP := true));
@@ -0,0 +1,11 @@
1
+ gap> START_TEST("verticesfloat.tst");
2
+ gap> M := [
3
+ > [ 1, 1, 2 ],
4
+ > [ -1, -1, 3 ],
5
+ > [ 1, -2, 4 ],
6
+ > ];;
7
+ gap> gr := [ [ 0, 0, 1 ] ];;
8
+ gap> cone := NmzCone(["integral_closure", M, "grading", gr]);;
9
+ gap> NmzVerticesFloat(cone);
10
+ [ [ 0.5, 0.5, 1. ], [ -0.333333, -0.333333, 1. ], [ 0.25, -0.5, 1. ] ]
11
+ gap> STOP_TEST("verticesfloat.tst", 0);
@@ -0,0 +1,93 @@
1
+ Metadata-Version: 2.4
2
+ Name: passagemath-gap-pkg-normalizinterface
3
+ Version: 10.6.32
4
+ Summary: passagemath: Computational Group Theory with GAP: normalizinterface package
5
+ Author-email: The Sage Developers <sage-support@googlegroups.com>
6
+ Maintainer: Matthias Köppe, passagemath contributors
7
+ License-Expression: GPL-2.0-or-later
8
+ Project-URL: release notes, https://github.com/passagemath/passagemath/releases
9
+ Project-URL: repo (upstream), https://github.com/sagemath/sage
10
+ Project-URL: repo, https://github.com/passagemath/passagemath
11
+ Project-URL: documentation, https://passagemath.org/docs/latest
12
+ Project-URL: homepage (upstream), https://www.sagemath.org
13
+ Project-URL: discourse, https://passagemath.discourse.group
14
+ Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
15
+ Project-URL: tracker, https://github.com/passagemath/passagemath/issues
16
+ Classifier: Development Status :: 6 - Mature
17
+ Classifier: Intended Audience :: Education
18
+ Classifier: Intended Audience :: Science/Research
19
+ Classifier: Operating System :: POSIX
20
+ Classifier: Operating System :: POSIX :: Linux
21
+ Classifier: Operating System :: MacOS :: MacOS X
22
+ Classifier: Programming Language :: Python :: 3 :: Only
23
+ Classifier: Programming Language :: Python :: 3.10
24
+ Classifier: Programming Language :: Python :: 3.11
25
+ Classifier: Programming Language :: Python :: 3.12
26
+ Classifier: Programming Language :: Python :: 3.13
27
+ Classifier: Programming Language :: Python :: 3.14
28
+ Classifier: Programming Language :: Python :: Implementation :: CPython
29
+ Classifier: Topic :: Scientific/Engineering :: Mathematics
30
+ Requires-Python: <3.15,>=3.10
31
+ Description-Content-Type: text/x-rst
32
+ Requires-Dist: passagemath-environment~=10.6.32.0
33
+
34
+ =============================================================================
35
+ passagemath: Computational Group Theory with GAP: normalizinterface package
36
+ =============================================================================
37
+
38
+ `passagemath <https://github.com/passagemath/passagemath>`__ is open
39
+ source mathematical software in Python, released under the GNU General
40
+ Public Licence GPLv2+.
41
+
42
+ It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
43
+ developed 2005-2025 under the motto “Creating a Viable Open Source
44
+ Alternative to Magma, Maple, Mathematica, and MATLAB”.
45
+
46
+ The passagemath fork uses the motto "Creating a Free Passage Between the
47
+ Scientific Python Ecosystem and Mathematical Software Communities."
48
+ It was created in October 2024 with the following goals:
49
+
50
+ - providing modularized installation with pip,
51
+ - establishing first-class membership in the scientific Python
52
+ ecosystem,
53
+ - giving `clear attribution of upstream
54
+ projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
55
+ - providing independently usable Python interfaces to upstream
56
+ libraries,
57
+ - offering `platform portability and integration testing
58
+ services <https://github.com/passagemath/passagemath/issues/704>`__
59
+ to upstream projects,
60
+ - inviting collaborations with upstream projects,
61
+ - `building a professional, respectful, inclusive
62
+ community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
63
+ - `empowering Sage users to participate in the scientific Python ecosystem
64
+ <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
65
+ - developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
66
+ serverless deployment with Javascript,
67
+ - developing a native Windows port.
68
+
69
+ `Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
70
+ available online.
71
+
72
+ passagemath attempts to support and provides binary wheels suitable for
73
+ all major Linux distributions and recent versions of macOS.
74
+
75
+ Binary wheels for native Windows (x86_64) are are available for a subset of
76
+ the passagemath distributions. Use of the full functionality of passagemath
77
+ on Windows currently requires the use of Windows Subsystem for Linux (WSL)
78
+ or virtualization.
79
+
80
+ The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.13.x.
81
+
82
+
83
+ About this pip-installable distribution package
84
+ -----------------------------------------------
85
+
86
+ This pip-installable distribution ``passagemath-gap-pkg-normalizinterface`` is a
87
+ distribution of the GAP package ``normalizinterface`` for use with ``passagemath-gap``.
88
+
89
+
90
+ What is included
91
+ ----------------
92
+
93
+ - Wheels on PyPI include the GAP package ``normalizinterface``