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:

Status badges

Description (last modified by Matthias Köppe)

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 Matthias Köppe

Component: PLEASE CHANGEgeometry
Type: PLEASE CHANGEenhancement

comment:2 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:3 Changed 16 months ago by Matthias Köppe

An alternative is #31743

comment:4 Changed 15 months ago by Matthias Köppe

Cc: Karl-Dieter Crisman added
Description: modified (diff)
Milestone: sage-7.3sage-9.4

comment:5 Changed 15 months ago by Matthias Köppe

Summary: Expose PPL's Not-Necessarily-Closed Polyhedra using Sage PolyhedraExpose PPL's Not-Necessarily-Closed Polyhedra and Normaliz' Polyhedra with Open Facets using Sage Polyhedra

comment:6 Changed 15 months ago by Matthias Köppe

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 Matthias Köppe

Dependencies: #32089#32089, #32159

comment:8 Changed 15 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:9 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:10 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:11 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.