
% A twomodules bug found by SC:
(load nbig)(on nobignum)
(twomodbettinumbers) 6 1 1
vars x,y,X,Y,r,l; x*x-y*y, x*X-X*x, y*Y-Y*y, x*Y-Y*x, y*X-X*y,
r*x-r*X, r*y-r*Y, x*l-X*l, y*l-Y*l, X*X-Y*Y;
(interpbacktrace)
