Opened 3 years ago

Last modified 2 years ago

#27087 new enhancement

CombinatorialPolyhedron: Check input on errors.

Reported by: gh-kliem Owned by:
Priority: major Milestone: sage-wishlist
Component: geometry Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #26887 Stopgaps:

Status badges

Description

There are a few mistakes one can easily make, when creating a CombinatorialPolyhedron? from a list of facets or an incidence matrix. It would be nice to give warnings/error messages about them. Such mistakes can be:

  • Not specifying the nr of lines in an unbounded Polyhedron (one knows it is the case, when the vertices in their facet reprsentation are a subset from each other).
  • Giving one facet that is actually a list of all vertices.
  • Giving an incompatible list of names for vertices and/or facets (maybe too long or too short).
  • Checking the facets for inclusions.

Maybe it makes sense to initialize the CombinatorialPolyehdron? in C and then do any error checking in terms of inclusion tests. Then a correct input will still be about the same speed and an incorrect input slower.

One could give a warning as "The Polyhedron appears to be unbounded, assuming n number of lines".

Change History (2)

comment:1 Changed 3 years ago by embray

  • Milestone changed from sage-8.7 to sage-8.8

Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)

comment:2 Changed 2 years ago by gh-kliem

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