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