Revision history [back]
 | 1 | initial version |
It seems you defined your polyhedron using inequalities with coefficients in RDF.
Polyhedral computations over inexact fields such as RDF tend to give
surprising results.
Try working over an exact field such as QQ or AA.
