Polytopal constructions for combinatorial polyhedra

[kliem]

Many polytopal constructions are purely combinatorial and it should therefore be possible to do them just with CombinatorialPolyhedron. We collect them here:

• Dual for combinatorial polyhedron #29190: polar/dual,
• product,
• join,
• face truncation,
• face stacking,
• lawrence extension,
• lawrence polytope,
• Pyramid for combinatorial polyhedron #30440: pyramid,
• bipyramid,
• prism,
• truncation,
• face as polyhedron,
• P/face (coface as polyhedron),
• given two faces F < G, obtain the interval [F,G] as polyhedron.

CC: @jplab @LaisRast

Component: geometry

Issue created by migration from https://trac.sagemath.org/ticket/29191

[jplab]

comment:2

Some of them take some optional parameters... So each case might involve some intricate things to do, but yeah, I guess it would be great to speed things up using combin. polyhedra...

[kliem]

comment:3

Well, I don't know about whether this will speed things up in general. But lets say you really care about the combinatorics of the faces of a polyhedron. Then you want to avoid constructing a geometric object every time.

However, this is really not a priority for me, so it will take time.

[kliem]

Description changed:

--- 
+++ 
@@ -7,7 +7,7 @@
 - face stacking,
 - lawrence extension,
 - lawrence polytope,
-- pyramid,
+- #30440: pyramid,
 - bipyramid,
 - prism,
 - truncation,