Janet Basis
katsura7
Variables: u0, u1, u2, u3, u4, u5,u6,u7;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
u0^2 - u0 + 2*u1^2 + 2*u2^2 + 2*u3^2 + 2*u4^2 + 2*u5^2 + 2*u6^2 + 2*u7^2,
2*u0*u1 + 2*u1*u2 - u1 + 2*u2*u3 + 2*u3*u4 + 2*u4*u5 + 2*u5*u6 + 2*u6*u7,
2*u0*u2 + u1^2 + 2*u1*u3 + 2*u2*u4 - u2 + 2*u3*u5 + 2*u4*u6 + 2*u5*u7,
2*u0*u3 + 2*u1*u2 + 2*u1*u4 + 2*u2*u5 + 2*u3*u6 - u3 + 2*u4*u7,
2*u0*u4 + 2*u1*u3 + 2*u1*u5 + u2^2 + 2*u2*u6 + 2*u3*u7 - u4,
2*u0*u5 + 2*u1*u4 + 2*u1*u6 + 2*u2*u3 + 2*u2*u7 - u5,
2*u0*u6 + 2*u1*u5 + 2*u1*u7 + 2*u2*u4 + u3^2 - u6,
u0 + 2*u1 + 2*u2 + 2*u3 + 2*u4 + 2*u5 + 2*u6 + 2*u7 - 1;
Gentoo powered PHP4.0

© V.P.Gerdt, Yu.A.Blinkov, D.A.Yanovich 2001-2011

Designed by D.A.Yanovich