Changes between Version 7 and Version 9 of Ticket #25183


Ignore:
Timestamp:
08/29/19 14:39:09 (2 years ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25183

    • Property Status changed from needs_work to needs_review
    • Property Commit changed from 65b11c9de95bb2ecde90c722ca2e9781fdac7cc5 to 0e892e7019001400faf0c3cfed542fffd3ac7227
  • Ticket #25183 – Description

    v7 v9  
    1212}}}
    1313
    14 The construction `as_polyhedron` initializes the new (face-)polyhedron as via `P.__class__(parent, Vrep, None)`. In the case of the associahedron, this does not give a valid object, as the associahedron requires a cartan type as well.
     14The construction `as_polyhedron` initializes the new (face-)polyhedron via `P.__class__(parent, Vrep, None)`. In the case of the associahedron, this does not give a valid object, as the associahedron requires a cartan type as well.
    1515
    1616Same (or similar problem) with:
     
    2727
    2828Further we have `__new__` return the correct parent class such that e.g. the face of an `Associahedron_class_ppl` is constructed as `Polyhedron_ppl`.
     29
     30We fix `_coerce_map_from_` to take into account that no general polyhedron can be coerced to an associahedron.
     31
     32We manually set the correct pushout of polyhedra over ZZ and associahedra (over QQ) to be polyhedra over QQ.