id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
30954,Implement a proper equality check for polyhedron representation objects,gh-kliem,,"{{{
sage: P = (1/2)*polytopes.cube()
sage: Q = (1/2)*polytopes.cube(backend='field')
sage: for p in P.inequalities():
....: assert p in Q.inequalities()
....:
---------------------------------------------------------------------------
AssertionError Traceback (most recent call last)
in
1 for p in P.inequalities():
----> 2 assert p in Q.inequalities()
3
AssertionError:
}}}
This isn't acceptable. Those inequalites are the same, only the defining vector differs by a positive scalar.
We 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`).",enhancement,closed,major,sage-9.3,geometry,fixed,"scalars, polyhedra",jipilab gh-LaisRast,,Jonathan Kliem,Jean-Philippe Labbé,N/A,,9ee33351d8a20008f4ed6d24205962917c180561,9ee33351d8a20008f4ed6d24205962917c180561,,