Implement wedge over a face of Polyhedron

[jplab]

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.

CC: @jplab @LaisRast @kliem

Component: geometry

Keywords: polytopes, days100, wedge, facet

Author: Laith Rastanawi, Jonathan Kliem

Branch/Commit: 38944ad

Reviewer: Jean-Philippe Labbé

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

[kliem]

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@
 
 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|\}`
+`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`.
 

[embray]

comment:2

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

[jplab]

Changed keywords from polytopes to polytopes, days100

[LaisRast]

New commits:

d0be5c6	add wedge method in Polyhedron class in base.py
45bd312	NotImplementedError -> ValueError

[LaisRast]

Commit: 45bd312

[LaisRast]

Author: Laith Rastanawi

[LaisRast]

Changed keywords from polytopes, days100 to polytopes, days100, wedge, facet

[LaisRast]

Branch: public/27973