Changes between Initial Version and Version 1 of Ticket #28850


Ignore:
Timestamp:
12/06/19 13:36:24 (22 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28850 – Description

    initial v1  
    1717}}}
    1818
     19Also we add an extra keyword `in_affine_span` (default `False`). By this one can obtain the polar in its affine span (after translation as usual):
     20{{{
     21sage: P = polytopes.simplex(3, base_ring=QQ)
     22sage: P.polar(in_affine_span=True)
     23A 3-dimensional polyhedron in QQ^4 defined as the convex hull of 4 vertices
     24
     25sage: point = Polyhedron([[0]])
     26sage: P = polytopes.cube().change_ring(QQ)
     27sage: (P*point).polar(in_affine_span=True) == P.polar()*point
     28True
     29}}}
     30
     31This option seems reasonable and simplifies the current construction of barycentric subdivision.
     32
    1933We change the other message `"Not a polytope."` according to conventions to `"not a polytope"`.