Dear Sage Gurus,
I was playing with Sage and discovered what appears to be a
really weird bug with Sage's checking of inequalities.
In the attached code, I generate some random 2x2 linear equations
with integer coefficients, and I try to find the minimum and maximum
coordinates of the
The key here is understanding exactly what x[0] is: it's not a
rational. If you run your code (after adding the line
set_random_seed(3) at the start to make sure we're working with the
same matrices), you see:
sage: minx, maxx, miny, maxy
(+Infinity, (3), +Infinity, (21/5))
and the odd