Changes between Initial Version and Version 3 of Ticket #30954


Ignore:
Timestamp:
11/24/20 11:16:33 (21 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #30954

    • Property Status changed from new to needs_review
    • Property Commit changed from to b1eac2c770c01961979580283c4500c42b56971b
    • Property Branch changed from to public/30954
    • Property Summary changed from Implement a proper equality check for representation objects to Implement a proper equality check for polyhedron representation objects

  • Ticket #30954 – Description

    initial v3  
    1515}}}
    1616This isn't acceptable. Those inequalites are the same, only the defining vector differs by a positive scalar.
     17
     18We also define a method `is_facet_defining_inequality` that checks whether `self` could replace an inequality of the polyhedron `other`. This is useful, when `other` is not full-dimensional and inequalities aren't unique (only after `affine_hull_projection`).