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

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

Designed by D.A.Yanovich