Revision history [back]

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.