Changes between Initial Version and Version 1 of Ticket #29683, comment 42


Ignore:
Timestamp:
05/18/21 09:00:27 (5 months ago)
Author:
yzh
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29683, comment 42

    initial v1  
    1515Currently, `ppl` and `cdd` backends do not respect this order (creating a lot of trouble for my doctests), and the other backends `field` and `normaliz` respect this order.
    1616
     17
    1718> `CombinatorialPolyhedron` does not distinguish rays and lines currently. Those are just things that happen to be in the `Vrepresentation`. They are kept as indices and both contained in the far face.
    18 Ok. But don't we want a "canonical" representation (in terms of numbers at least) for CombinatorialPolyhedron? Note that the polyhedron base class has that. For instant, are the combinatorial polyhedron generated by two opposite rays and the other polyhedron generated by one line considered the same?
     19Ok. But don't we want a "canonical" representation (in terms of numbers at least) for `CombinatorialPolyhedron`? Note that the polyhedron base class has that. For instant, are the combinatorial polyhedron generated by two opposite rays and the other polyhedron generated by one line considered the same?
    1920
    2021> They also cannot really be distinguished in sage, because `Cone` does not know lines at all. It just keeps to opposite rays: