passagemath-latte-4ti2 10.6.30__cp311-cp311-macosx_13_0_arm64.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-latte-4ti2 might be problematic. Click here for more details.

Files changed (81) hide show
  1. passagemath_latte_4ti2-10.6.30.dist-info/METADATA +156 -0
  2. passagemath_latte_4ti2-10.6.30.dist-info/RECORD +81 -0
  3. passagemath_latte_4ti2-10.6.30.dist-info/WHEEL +6 -0
  4. passagemath_latte_4ti2-10.6.30.dist-info/top_level.txt +2 -0
  5. passagemath_latte_4ti2.dylibs/lib4ti2common.0.dylib +0 -0
  6. passagemath_latte_4ti2.dylibs/lib4ti2gmp.0.dylib +0 -0
  7. passagemath_latte_4ti2.dylibs/lib4ti2int32.0.dylib +0 -0
  8. passagemath_latte_4ti2.dylibs/lib4ti2int64.0.dylib +0 -0
  9. passagemath_latte_4ti2.dylibs/lib4ti2util.0.dylib +0 -0
  10. passagemath_latte_4ti2.dylibs/libLiDIA.0.dylib +0 -0
  11. passagemath_latte_4ti2.dylibs/libcddgmp.0.dylib +0 -0
  12. passagemath_latte_4ti2.dylibs/libgf2x.3.dylib +0 -0
  13. passagemath_latte_4ti2.dylibs/libglpk.40.dylib +0 -0
  14. passagemath_latte_4ti2.dylibs/libgmp.10.dylib +0 -0
  15. passagemath_latte_4ti2.dylibs/libgmpxx.4.dylib +0 -0
  16. passagemath_latte_4ti2.dylibs/liblatte.0.dylib +0 -0
  17. passagemath_latte_4ti2.dylibs/libnormalize.0.dylib +0 -0
  18. passagemath_latte_4ti2.dylibs/libntl.44.dylib +0 -0
  19. passagemath_latte_4ti2.dylibs/libzsolve.0.dylib +0 -0
  20. sage/all__sagemath_latte_4ti2.py +4 -0
  21. sage/interfaces/all__sagemath_latte_4ti2.py +1 -0
  22. sage/interfaces/four_ti_2.py +531 -0
  23. sage/interfaces/latte.py +632 -0
  24. sage/libs/all__sagemath_latte_4ti2.py +1 -0
  25. sage/libs/latte_int.cpython-311-darwin.so +0 -0
  26. sage/libs/latte_int.pyx +1 -0
  27. sage_wheels/bin/4ti2gmp +0 -0
  28. sage_wheels/bin/4ti2int32 +0 -0
  29. sage_wheels/bin/4ti2int64 +0 -0
  30. sage_wheels/bin/ConvertCDDextToLatte +0 -0
  31. sage_wheels/bin/ConvertCDDextToLatte.bin +0 -0
  32. sage_wheels/bin/ConvertCDDineToLatte +0 -0
  33. sage_wheels/bin/ConvertCDDineToLatte.bin +0 -0
  34. sage_wheels/bin/circuits +64 -0
  35. sage_wheels/bin/count +0 -0
  36. sage_wheels/bin/count-linear-forms-from-polynomial +0 -0
  37. sage_wheels/bin/count-linear-forms-from-polynomial.bin +0 -0
  38. sage_wheels/bin/count.bin +0 -0
  39. sage_wheels/bin/ehrhart +0 -0
  40. sage_wheels/bin/ehrhart.bin +0 -0
  41. sage_wheels/bin/ehrhart3 +0 -0
  42. sage_wheels/bin/ehrhart3.bin +0 -0
  43. sage_wheels/bin/genmodel +0 -0
  44. sage_wheels/bin/gensymm +0 -0
  45. sage_wheels/bin/graver +17 -0
  46. sage_wheels/bin/groebner +64 -0
  47. sage_wheels/bin/hilbert +17 -0
  48. sage_wheels/bin/hilbert-from-rays +0 -0
  49. sage_wheels/bin/hilbert-from-rays-symm +0 -0
  50. sage_wheels/bin/hilbert-from-rays-symm.bin +0 -0
  51. sage_wheels/bin/hilbert-from-rays.bin +0 -0
  52. sage_wheels/bin/integrate +0 -0
  53. sage_wheels/bin/integrate.bin +0 -0
  54. sage_wheels/bin/latte-maximize +0 -0
  55. sage_wheels/bin/latte-maximize.bin +0 -0
  56. sage_wheels/bin/latte-minimize +0 -0
  57. sage_wheels/bin/latte-minimize.bin +0 -0
  58. sage_wheels/bin/latte2ext +0 -0
  59. sage_wheels/bin/latte2ext.bin +0 -0
  60. sage_wheels/bin/latte2ine +0 -0
  61. sage_wheels/bin/latte2ine.bin +0 -0
  62. sage_wheels/bin/markov +64 -0
  63. sage_wheels/bin/minimize +64 -0
  64. sage_wheels/bin/normalform +64 -0
  65. sage_wheels/bin/output +0 -0
  66. sage_wheels/bin/polyhedron-to-cones +0 -0
  67. sage_wheels/bin/polyhedron-to-cones.bin +0 -0
  68. sage_wheels/bin/ppi +0 -0
  69. sage_wheels/bin/qsolve +64 -0
  70. sage_wheels/bin/rays +64 -0
  71. sage_wheels/bin/top-ehrhart-knapsack +0 -0
  72. sage_wheels/bin/top-ehrhart-knapsack.bin +0 -0
  73. sage_wheels/bin/triangulate +0 -0
  74. sage_wheels/bin/triangulate.bin +0 -0
  75. sage_wheels/bin/walk +64 -0
  76. sage_wheels/bin/zbasis +64 -0
  77. sage_wheels/bin/zsolve +0 -0
  78. sage_wheels/share/latte-int/m-knapsack.mpl +1245 -0
  79. sage_wheels/share/latte-int/simplify.add +7 -0
  80. sage_wheels/share/latte-int/simplify2.add +9 -0
  81. sage_wheels/share/latte-int/simplify3.add +13 -0
sage_wheels/share/latte-int/simplify.add ADDED
@@ -0,0 +1,7 @@
1
+ read("simplify.sum"):
2
+ read("simplify.term"):
3
+ x:=normal(x):
4
+ s:=normal(s+x):
5
+ save s,"simplify.sum":
6
+ quit:
7
+
sage_wheels/share/latte-int/simplify2.add ADDED
@@ -0,0 +1,9 @@
1
+ read("simplify.sum");
2
+ read("simplify.term");
3
+ x:=normal(x):
4
+ readlib(coeftayl):
5
+ y:=coeftayl(x,s=0,d):
6
+ y:=normal(y):
7
+ HS:=normal(HS+y):
8
+ save HS,"simplify.sum":
9
+ quit;
sage_wheels/share/latte-int/simplify3.add ADDED
@@ -0,0 +1,13 @@
1
+ read("simplify.sum");
2
+ read("simplify.term");
3
+ x:=normal(x):
4
+ x1:=numer(x):
5
+ x2:=denom(x):
6
+ x2:=convert(taylor(x2,s=0,d+1),polynom):
7
+ x:=x1/x2;
8
+ readlib(coeftayl):
9
+ y:=coeftayl(x,s=0,d):
10
+ y:=normal(y):
11
+ HS:=normal(HS+y):
12
+ save HS,"simplify.sum":
13
+ quit;