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,,