Changes between Version 6 and Version 9 of Ticket #26363


Ignore:
Timestamp:
Dec 2, 2019, 10:03:46 AM (3 years ago)
Author:
gh-kliem
Comment:

New commits:

a75d3b2take care of special cases

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #26363

    • Property Status changed from new to needs_review
    • Property Authors changed from to Jonathan Kliem
    • Property Branch changed from to public/26363
    • Property Commit changed from to a75d3b22d3ece100a0cdfa925644d9bd040cba3c
  • Ticket #26363 – Description

    v6 v9  
    1313Special care has to be taken in the following cases:
    1414- no inequalities (the cone can only be initialized from Vrep),
    15 - no vertices and rays (the cone can only be initialized from Hrep),
    16 - multiple lines (they are being recomputed and there is no guarantee that they appear in the same order).
     15- the empty polyhedron (cone is `None` in this case).
     16
     17As the lines are recomputed, there is no guarantee that they appear in the same order in the normaliz cone. However, normaliz sorts the given lines anyway:
     18{{{
     19sage: P = Polyhedron(lines=[[1,0], [0,1]], backend='normaliz').lines()
     20(A line in the direction (1, 0), A line in the direction (0, 1))
     21sage: P = Polyhedron(lines=[[0,1], [1,0]], backend='normaliz').lines()
     22(A line in the direction (1, 0), A line in the direction (0, 1))
     23sage: P = Polyhedron(lines=[[1,1], [1,0]], backend='normaliz').lines()
     24(A line in the direction (1, 0), A line in the direction (0, 1))
     25}}}
     26
     27Also, even if `_normaliz_cone` has the lines somewhat shuffled, this shouldn't be noticable as computations are invariant on which line we choose.