Janet Basis
d1
Variables: x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
- 10000*x10*x11*x3 - 10000*x10*x11*x5 - 10000*x10*x11*x7 + 10000*x12*x4 + 10000*x12*x6 + 10000*x12*x8 - 4077,
2000*x1*x10 + 2000*x2*x4*x9 + 2000*x2*x6*x9 + 2000*x2*x8*x9 - 3823,
10000*x3*x9 + 10000*x5*x9 + 10000*x7*x9 - 19791,
3750*x2*x4 + 2500*x2*x6 + 1250*x2*x8 - 5077,
7500*x1*x4 + 5000*x1*x6 + 2500*x1*x8 - 4293,
30000*x3 + 20000*x5 + 10000*x7 - 39701,
x11^2 + x12^2 - 1,
x10^2 + x9^2 - 1,
x7^2 + x8^2 - 1,
x5^2 + x6^2 - 1,
x3^2 + x4^2 - 1,
x1^2 + x2^2 - 1;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich