Changes between Initial Version and Version 19 of Ticket #31803


Ignore:
Timestamp:
05/29/21 02:28:49 (5 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31803

    • Property Authors changed from to Matthias Koeppe
    • Property Cc tscrim jhpalmieri yzh added
    • Property Summary changed from Make CombinatorialPolyhedron an element class to Make CombinatorialPolyhedron an element class, define morphisms of combinatorial polyhedral sets
    • Property Dependencies changed from to #30469, #31821
    • Property Branch changed from to u/mkoeppe/make_combinatorialpolyhedron_an_element_class
    • Property Commit changed from to df05a1a06f2efdf57760f6eb27ca880ac27fbe1b
  • Ticket #31803 – Description

    initial v19  
    11... of a parent class `CombinatorialPolyhedra` in a new category of `CombinatorialPolyhedralSets`.  A parent is defined by (possibly infinite) sets of allowed vertices and facets; every element's set of vertices and facets is a subset of these.
    22
    3 Morphisms in the category are degenerations.
     3Morphisms in the category:
     4 - permutations of the Vrep
     5 - permutations of the Hrep
     6 - relabelings of the Vrep
     7 - relabelings of the Hrep
     8 - degenerations.
    49
    510This setup of element/parent/category is parallel to geometric polyhedra: `Polyhedron`/`Polyhedra`/`PolyhedralSets`.