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 the product:
`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,new,major,sage-8.8,geometry,,"polytopes,",jipilab gh-LaisRast gh-kliem,,,,N/A,,,,,