on time; L:={3*u2^5-6*u1*u2^4-3*x5*u2^4+3*u1^2*u2^3-10*u3^2*u2^3+6*u1*x5*u2^3+18*u1*u3^2*u2^2- 3*u1^2*x5*u2^2-6*u3^2*x5*u2^2+3*u3^4*u2-9*u1^2*u3^2*u2+6*u1*u3^2*x5*u2-3*u3^4*x5+ u1^2*u3^2*x5, u3^5-3*x6*u3^4-3*u1^2*u3^3-6*u2^2*u3^3+6*u1*u2*u3^3+u1^2*x6*u3^2-6*u2^2*x6*u3^2+ 6*u1*u2*x6*u3^2+9*u2^4*u3-18*u1*u2^3*u3+9*u1^2*u2^2*u3-3*u2^4*x6+6*u1*u2^3*x6- 3*u1^2*u2^2*x6, -a*x5^2*u2^2-a*x6^2*u2^2+a*x3*x5*u2^2-x4*x5*u2^2+x3*x6*u2^2+a*x4*x6*u2^2+a*u1*x5^2*u2+ a*u1*x6^2*u2-a*u1*x3*x5*u2+u1*x4*x5*u2-u1*x3*x6*u2-a*u1*x4*x6*u2-a*u3^2*x5^2- u1*u3*x5^2-a*u3^2*x6^2-u1*u3*x6^2+a*u3^2*x3*x5+u1*u3*x3*x5-u3^2*x4*x5+a*u1*u3*x4*x5+ u3^2*x3*x6-a*u1*u3*x3*x6+a*u3^2*x4*x6+u1*u3*x4*x6, -x4*u2^2+2*u3*x3*u2+u3^2*x4,x2*x5^3-2*x4*x5^3-2*x2*x3*x5^2+2*x1*x4*x5^2+2*x3*x4*x5^2- x1*x6*x5^2+2*x3*x6*x5^2+x2*x3^2*x5-x2*x4^2*x5+x2*x6^2*x5-2*x4*x6^2*x5-2*x1*x3*x4*x5- 2*x3^2*x6*x5+2*x4^2*x6*x5-x1*x6^3+2*x3*x6^3-2*x2*x3*x6^2+2*x1*x4*x6^2-2*x3*x4*x6^2+ x1*x3^2*x6-x1*x4^2*x6+2*x2*x3*x4*x6, -2*u3*u1^2+x2*u1^2+2*u2*u3*u1+2*u3*x1*u1-2*u2*x2*u1-2*u2*u3*x1+u2^2*x2-u3^2*x2}; L1:=sub(a=sqrt(3),L); b:=u2^2-2*x1*u2+u3^2-x3^2-x4^2-2*u3*x2+2*x1*x3+2*x2*x4; b2:=-2*u2*x1 + x1^2 - 2*u3*x2 + x2^2 + 2*u2*x3 - x3^2 + 2*u3*x4 - x4^2; load groebner; L2:={1-y*b} . L1; L3:={1-y*b2} . L1; {groebner(L2,{x1,x2,x3,x4,x5,x6}),groebner(L3,{x1,x2,x3,x4,x5,x6})}; groebner(L1,{x1,x2,x3,x4,x5,x6});