Meta-ticket: expose all normaliz features

[mkoeppe]

#20885 added a Normaliz/PyNormaliz interface, providing a fast backend for polyhedra, and in particular implementations of the integral_points and integral_hull methods.

On this meta ticket, we collect all tickets related to normaliz.

On follow-up tickets, should:

• provide fast implementations of existing methods of Polyhedron, Cone, triangulations, ...
• provide new methods for Normaliz's additional features.

Some features may already be exposed via polymake.

Adding these methods would not require Cython programming and would happen on several separate tickets.

Computation goals - see section 4.3 in the Normaliz manual

Tickets:

• pynormaliz fails to build on 32bit system #22684: pynormaliz fails to build on 32bit system
• Polyhedron_normaliz: Expose computation options #22645: Polyhedron_normaliz: Expose computation options
• Upgrade Normaliz version to 3.6.3 and PyNormaliz to 1.19 #25090: Upgrade pynormaliz to 1.14 or higher (2.0?)
• Expose some normaliz features #25091: Add some normaliz features
• Algebraic polyhedra with Normaliz / e-antic #25097: Algebraic polyhedra with QNormaliz / e-antic
• clean normaliz backend #28379: clean normaliz backend
• Add __copy__ method to backend normaliz of Polyhedron #28633: Add __copy__ method to backend normaliz of Polyhedron
• Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
• upgrade Normaliz to 3.8.8, PyNormaliz to 2.12, add script package libnauty #27952: upgrade Normaliz to 3.8.4, PyNormaliz to 2.10, install nauty header/library, add patch to e-antic
• Implement ambient volume of polyhedron with normaliz #28873: Implement ambient volume of polyhedron with normaliz
• Expose PPL's Not-Necessarily-Closed Polyhedra and Normaliz' Polyhedra with Open Facets using Sage Polyhedra #20879: Half-open polyhedra with ppl and normaliz

See also:

• Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications
• Meta-ticket: polymake #22710: Meta-ticket: polymake

CC: @tscrim @dimpase @novoselt @w-bruns @nthiery @videlec @mo271 @jplab @mmasdeu @braunmath @kliem @kcrisman

Component: geometry

Issue created by migration from https://trac.sagemath.org/ticket/22827

[jplab]

Description changed:

--- 
+++ 
@@ -12,6 +12,7 @@
 
 - #22684: pynormaliz fails to build on 32bit system
 - #22645: Polyhedron_normaliz: Expose computation options
+- #25091: Add some normaliz features
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[jplab]

Description changed:

--- 
+++ 
@@ -12,6 +12,7 @@
 
 - #22684: pynormaliz fails to build on 32bit system
 - #22645: Polyhedron_normaliz: Expose computation options
+- #25090: Upgrade pynormaliz to 1.14 or higher (2.0?)
 - #25091: Add some normaliz features
 
 See also:

[mkoeppe]

Description changed:

--- 
+++ 
@@ -14,6 +14,7 @@
 - #22645: Polyhedron_normaliz: Expose computation options
 - #25090: Upgrade pynormaliz to 1.14 or higher (2.0?)
 - #25091: Add some normaliz features
+- #25097: Algebraic polyhedra with QNormaliz / e-antic
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,4 +1,6 @@
 #20885 added a Normaliz/PyNormaliz interface, providing a fast backend for polyhedra, and in particular implementations of the `integral_points` and `integral_hull` methods.
+
+On this meta ticket, we collect all tickets related to normaliz.
 
 On follow-up tickets, should:
 - provide fast implementations of existing methods of Polyhedron, Cone, triangulations, ...
@@ -6,10 +8,11 @@
 
 Some features may already be exposed via polymake. 
 
-Adding these methods would not require Cython programming and would happen on several separate tickets. All it takes is reading the [Normaliz manual](https://www.normaliz.uni-osnabrueck.de/wp-content/uploads/2016/04/Normaliz3.1.1Documentation.pdf)
+Adding these methods would not require Cython programming and would happen on several separate tickets. 
 
-On this meta ticket, we collect all tickets related to normaliz.
+Computation goals - see section 4.3 in the [Normaliz manual](https://github.com/Normaliz/Normaliz/blob/master/doc/Normaliz.pdf)
 
+Tickets:
 - #22684: pynormaliz fails to build on 32bit system
 - #22645: Polyhedron_normaliz: Expose computation options
 - #25090: Upgrade pynormaliz to 1.14 or higher (2.0?)

[jplab]

Description changed:

--- 
+++ 
@@ -18,6 +18,7 @@
 - #25090: Upgrade pynormaliz to 1.14 or higher (2.0?)
 - #25091: Add some normaliz features
 - #25097: Algebraic polyhedra with QNormaliz / e-antic
+- #28379: clean normaliz backend
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[kliem]

Description changed:

--- 
+++ 
@@ -19,6 +19,7 @@
 - #25091: Add some normaliz features
 - #25097: Algebraic polyhedra with QNormaliz / e-antic
 - #28379: clean normaliz backend
+- #28633: Make a true copy of normaliz cone
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[jplab]

Description changed:

--- 
+++ 
@@ -19,7 +19,7 @@
 - #25091: Add some normaliz features
 - #25097: Algebraic polyhedra with QNormaliz / e-antic
 - #28379: clean normaliz backend
-- #28633: Make a true copy of normaliz cone
+- #28633: Add `__copy__` method to backend normaliz of Polyhedron
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[jplab]

Description changed:

--- 
+++ 
@@ -20,6 +20,7 @@
 - #25097: Algebraic polyhedra with QNormaliz / e-antic
 - #28379: clean normaliz backend
 - #28633: Add `__copy__` method to backend normaliz of Polyhedron
+- #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[jplab]

Description changed:

--- 
+++ 
@@ -21,6 +21,7 @@
 - #28379: clean normaliz backend
 - #28633: Add `__copy__` method to backend normaliz of Polyhedron
 - #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
+- #28799: Update normaliz to version 3.8.2 and pynormaliz to 2.9?
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[kliem]

Description changed:

--- 
+++ 
@@ -22,6 +22,7 @@
 - #28633: Add `__copy__` method to backend normaliz of Polyhedron
 - #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
 - #28799: Update normaliz to version 3.8.2 and pynormaliz to 2.9?
+- #28873: Implement ambient volume of polyhedron with normaliz 
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

[kliem]

Description changed:

--- 
+++ 
@@ -21,7 +21,7 @@
 - #28379: clean normaliz backend
 - #28633: Add `__copy__` method to backend normaliz of Polyhedron
 - #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
-- #28799: Update normaliz to version 3.8.2 and pynormaliz to 2.9?
+- #27952: upgrade Normaliz to 3.8.4, PyNormaliz to 2.10, install nauty header/library, add patch to e-antic
 - #28873: Implement ambient volume of polyhedron with normaliz 
 
 See also:

[mkoeppe]

comment:17

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -23,6 +23,7 @@
 - #28639: Polyhedron_normaliz: Initialize new cone from both Vrep and Hrep
 - #27952: upgrade Normaliz to 3.8.4, PyNormaliz to 2.10, install nauty header/library, add patch to e-antic
 - #28873: Implement ambient volume of polyhedron with normaliz 
+- #20879: Half-open polyhedra with ppl and normaliz
 
 See also:
 - #20875: Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications