Ticket #14: elimbug.sing

LIB "tst.lib";
tst_init();

LIB "elim.lib";

option(redSB);
option(redTail);

ring R = (0),( k, l, m,  n, o,   p, q, r,   a, b, c,  d, e, f,  g, h, i,  j), lp;

ideal I = // your ideal
-1 - e*i*m + f*j*m + c*k*m - d*l*m + f*i*n + e*j*n - d*k*n - c*l*n   + e*g*o - f*h*o - a*k*o + b*l*o -
  f*g*p - e*h*p + b*k*p + a*l*p - c*g*q + d*h*q + a*i*q - b*j*q +   d*g*r + c*h*r  - b*i*r - a*j*r,
 -(f*i*m) - e*j*m + d*k*m + c*l*m - e*i*n + f*j*n + c*k*n - d*l*n +   f*g*o + e*h*o - b*k*o - a*l*o +
  e*g*p - f*h*p - a*k*p + b*l*p - d*g*q - c*h*q + b*i*q + a*j*q -   c*g*r + d*h*r + a*i*r - b*j*r,
 -1 + a^2 + b^2 + c^2 + d^2 + e^2 + f^2, a*g + b*h + c*i + d*j + e*k   + f*l,
 a*m + b*n + c*o + d*p + e*q + f*r, a*g + b*h + c*i + d*j + e*k + f*l,
 -1 + g^2 + h^2 + i^2 + j^2 + k^2 + l^2, g*m + h*n + i*o + j*p + k*q   + l*r,
 a*m + b*n + c*o + d*p + e*q + f*r, g*m + h*n + i*o + j*p + k*q + l*r, 
 -1 + m^2 + n^2 + o^2 + p^2 + q^2 + r^2, b*g - a*h + d*i - c*j + f*k   - e*l,
 b*m - a*n + d*o - c*p + f*q - e*r, -(b*g) + a*h - d*i + c*j - f*k +   e*l,
 h*m - g*n + j*o - i*p + l*q - k*r, -(b*m) + a*n - d*o + c*p - f*q +   e*r,
 -(h*m) + g*n - j*o + i*p - l*q + k*r;

I = groebner(I); // GB(I)

elim(I, 1, nvars(R)); // eliminate all variables from I 

tst_status(1);$