Changes between Initial Version and Version 2 of Ticket #29229


Ignore:
Timestamp:
02/29/20 06:25:19 (19 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29229

    • Property Keywords polytopes is_reflexive added
    • Property Commit changed from to 1d7188951925228b0fbf9837542f153115b5cabd
    • Property Status changed from new to needs_review
    • Property Branch changed from to public/29229
  • Ticket #29229 – Description

    initial v2  
    33Also 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.
    44
    5 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.
     5This also improves the error messages. We raise a `ValueError` if the polyhedron is unbounded. If the polytope does not have the origin in the interior, we return `False`, as this is clearly not reflexive.