Opened 3 years ago

Last modified 3 years ago

#29229 closed enhancement

Improvements for `is_reflexive` for polyhedra over the integers — at Initial Version

Reported by: gh-kliem Owned by:
Priority: major Milestone: sage-9.1
Component: geometry Keywords: polytopes, is_reflexive
Cc: Jean-Philippe Labbé, Laith Rastanawi Merged in:
Authors: Jonathan Kliem Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Currently, this method has almost no documentation.

Also it relies on polar to work differently for Polyhedron_ZZ than for Polyhedron_base. However, this is not being tested at all. We fix this by checking being reflexive just from the inequalities.

This also improves the error messages. We raise a ValueError is the polyhedron is unbounded. If the polytope does not have the origin in the interior, we return False, as this is clearly not reflexive.

Change History (0)

Note: See TracTickets for help on using tickets.