Opened 16 months ago

Last modified 5 months ago

#31743 new enhancement

Charts, transitions, subsets with restrictions defined using NNC_Polyhedron

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.7
Component: manifolds Keywords:
Cc: egourgoulhon, gh-mjungmath, tscrim, yzh Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #31732 Stopgaps:

Status badges


pplpy provides NNC_Polyhedron - not-necessarily closed rational polyhedra.

We extend the restrictions code to handle NNC polyhedra as an alternative to SR inequalities (in suitable special cases).

In addition to possible speedups for valid_coordinates, _check_restrictions, this provides a way to rigorously decide the emptiness of some subsets. #31732

Change History (4)

comment:1 Changed 16 months ago by mkoeppe

  • Dependencies set to #31732

comment:2 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:3 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:4 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.