Opened 6 months ago

Last modified 3 months ago

#31743 new enhancement

Charts, transitions, subsets with restrictions defined using NNC_Polyhedron

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
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

Description

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 (2)

comment:1 Changed 6 months ago by mkoeppe

  • Dependencies set to #31732

comment:2 Changed 3 months ago by mkoeppe

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