Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

You can compute directly the intersection of the hyperplane and the polyhedron

sage: Hplane1 = Polyhedron(eqns=[(-3,2,2,2,-1,-1,-1,-1,-1,-1)])
sage: P = [[0, 0, 0, 0, 0, 0, 0, 0, 0], [-8/9, 1/9, 1/9, 1/9, ...
sage: P1 = Polyhedron(P)
sage: P1.intersection(Hplane1)
The empty polyhedron in QQ^9

So it looks that the hyperplane does not intersect your polyhedron.