id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
27973 Implement wedge over a face of Polyhedron jipilab "From https://www.csun.edu/~ctoth/Handbook/chap15.pdf:
The wedge over a facet `F` of a polytope `P` is defined as:
`(P \times \mathbb{R}) \cap \{a^\top x +|x_{d+1}| \leq b\}`
where `F` is a facet defined by `a^\top x leq b`.
It has dimension `d+1`, `m+1` facets, and `2n-n_F` vertices, if `F` has `n_F` vertices. More generally, the wedge construction can be performed (defined by the same formula) for a face `F`." enhancement closed major sage-8.9 geometry fixed polytopes, days100, wedge, facet jipilab gh-LaisRast gh-kliem Laith Rastanawi, Jonathan Kliem Jean-Philippe Labbé N/A 38944ad77e0a7ca760e97fcef85f2b957fe83eba 38944ad77e0a7ca760e97fcef85f2b957fe83eba