id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
27063,Transition of combinatorial computations of Polyhedron to Combinatorial Type,gh-kliem,,"In #26887 we created a new class, that handles the calculations depending only on the combinatorial type more quickly.
The goal of this ticket is to make use of this class throughout `Polyhedron_base`.
Add methods:
- #28621: Add method `combinatorial_polyhedron`,
- #28646: `face_generator`,
- #28982: `hasse_diagram`,
- #29186: `simpliciality`, `simplicity`
Replace the existing computation:
- #28625: `f_vector`,
- #28646 `faces`,
- #28626: `graph`/`vertex_graph`,
- `graph`/`vertex_graph` with incidences instead of Vrepresentation/expose the names=False option
- #32666: `vertex_adjacency_matrix`
- `vertex_digraph`
- #33008: `facet_adjacency_matrix`,
- #28982 `face_lattice`.
Migrate code to `CombinatorialPolyhedron`:
- #33009: `is_prism`
- `is_combinatorially_isomorphic`
- #29565: `is_neighborly`, `neighborliness`
- #29078: `is_simple`,`is_simplicial`
- #29189: `is_lawrence_polytope`
- `is_self_dual`
- #29189: `is_pyramid`
- #33009: `is_bipyramid`
- `combinatorial_automorphism_group`
- #29188: `vertex_facet_graph`
NOTE: The remaining bulletins are taken care of by exposing the adjacency matrices.",task,needs_review,major,sage-pending,geometry,,"polyhedron, face lattice",jipilab mkoeppe,,Jonathan Kliem,,N/A,,,,"#28621, #28625, #28626",