sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.33k stars 453 forks source link

Meta-ticket: expose all normaliz features #22827

Open mkoeppe opened 7 years ago

mkoeppe commented 7 years ago

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:

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:

See also:

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 commented 6 years ago

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 commented 6 years ago

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 commented 6 years ago

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 commented 5 years ago

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 commented 5 years ago

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 commented 4 years ago

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 commented 4 years ago

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 commented 4 years ago

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 commented 4 years ago

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 commented 4 years ago

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 commented 4 years ago

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 commented 3 years ago
comment:17

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

mkoeppe commented 3 years ago

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