Janet Basis
butcher8
Variables: A , a32 , B , b1 , b2 , b3 , c2 , c3;
Ordering: DegreeReverseLexicographical;
Polynomial set:
- A - B + b1 + b2 + b3,
2*A*B - 2*B^2 - B + 2*b2*c2 + 2*b3*c3 - 1,
- 3*A*B^2 - A + 3*B^3 + 3*B^2 + 4*B + 3*b2*c2^2 + 3*b3*c3^2,
- 6*A*B^2 - 3*A*B - A + 6*a32*b3*c2 + 6*B^3 + 6*B^2 + 4*B,
4*A*B^3 + 4*A*B - 4*B^4 - 6*B^3 - 10*B^2 - B + 332*b2*c2 + 4*b3*c3^3 - 1,
8*A*B^3 + 4*A*B^2 + 4*A*B + 8*a32*b3*c2*c3 - 8*B^4 - 12*B^3 - 14*B^2 - 3*B - 1,
12*A*B^3 + 12*A*B^2 + 8*A*B + 12*a32*b3*c2^2 - 12*B^4 - 18*B^3 - 14*B^2 - B - 1,
- 24*A*B^3 - 24*A*B^2 - 8*A*B + 24*B^4 + 36*B^3 + 26*B^2 + 7*B + 1 ;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich