Janet Basis
filter9
Variables: a,b,m1,m2,m3,m4,m5,m6,m7;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
100*m2*m4*m6 - 1,
500*a*b*m4 - 7,
25*a^2 + 25*m1^2 - 2,
50*b^2 + 50*m7^2 - 37,
10000*m2^2 + 10000*m3^2 + 10000*m4^2 + 10000*m5^2 + 10000*m6^2 - 9401,
1000000*m2^2*m4^2 + 1000000*m2^2*m5^2 + 1000000*m2^2*m6^2 + 1000000*m3^2* m5^2 + 1000000*m3^2*m6^2 + 1000000*m4^2*m6^2 - 38589,
10000*a*b*m2*m6 - 10000*a*m2*m5*m7 - 10000*b*m1*m3*m6 + 10000*m1*m3*m5*m7 + 81,
25000*a*b*m2^2*m4 + 25000*a*b*m4*m6^2 - 25000*a*m4*m5*m6*m7 - 25000*b*m1* m2*m3*m4 + 39,
- 40000*b^2*m2^2 - 40000*b^2*m3^2 - 40000*b^2*m6^2 + 80000*b*m5*m6*m7 - 40000*m2^2*m7^2 - 40000*m3^2*m7^2 - 40000*m4^2*m7^2 - 40000*m5^2*m7^2 + 27173;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich