Opened 6 years ago
Last modified 4 weeks ago
#20879 new enhancement
Expose PPL's Not-Necessarily-Closed Polyhedra and Normaliz' Polyhedra with Open Facets using Sage Polyhedra
Reported by: | Matthias Köppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.8 |
Component: | geometry | Keywords: | |
Cc: | Karl-Dieter Crisman, gh-kliem, Jean-Philippe Labbé, Yuan Zhou | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #32089, #32159 | Stopgaps: |
Description (last modified by )
PPL has NNC_Polyhedron. Should expose using Sage's Polyhedra classes.
In the context of #20877, NNC polyhedra could play the same role as half-open intervals do in the context of the new piecewise functions.
Normaliz also has the feature of "open facets".
Change History (11)
comment:1 Changed 6 years ago by
Component: | PLEASE CHANGE → geometry |
---|---|
Type: | PLEASE CHANGE → enhancement |
comment:2 Changed 6 years ago by
Description: | modified (diff) |
---|
comment:3 Changed 16 months ago by
comment:4 Changed 15 months ago by
Cc: | Karl-Dieter Crisman added |
---|---|
Description: | modified (diff) |
Milestone: | sage-7.3 → sage-9.4 |
comment:5 Changed 15 months ago by
Summary: | Expose PPL's Not-Necessarily-Closed Polyhedra using Sage Polyhedra → Expose PPL's Not-Necessarily-Closed Polyhedra and Normaliz' Polyhedra with Open Facets using Sage Polyhedra |
---|
comment:6 Changed 15 months ago by
Cc: | gh-kliem Jean-Philippe Labbé Yuan Zhou added |
---|---|
Dependencies: | → #32089 |
A new Sage class somewhere between ConvexSet_base + ConditionSet
and Polyhedron
that is able to store convex sets given by finitely many, strict or non-strict linear constraints (not necessarily minimal) would be valuable. In contrast to Polyhedron
, it would not insist on eagerly computing a minimal description by facet defining inequalities.
comment:7 Changed 15 months ago by
Dependencies: | #32089 → #32089, #32159 |
---|
comment:8 Changed 15 months ago by
Milestone: | sage-9.4 → sage-9.5 |
---|
comment:9 Changed 10 months ago by
Milestone: | sage-9.5 → sage-9.6 |
---|
comment:10 Changed 7 months ago by
Milestone: | sage-9.6 → sage-9.7 |
---|
comment:11 Changed 4 weeks ago by
Milestone: | sage-9.7 → sage-9.8 |
---|
An alternative is #31743