Janet Basis
f855
Variables: X8 , X7 , X6 , X5 , X4 , X3 , X2 ,
x8 , x7 , x6 , x5 , x4 , x3 , x2;
Ordering: DegreeReverseLexicographical;
Polynomial set:
2*x2 + 2*x3 + 2*x4 + 2*x5 + 2*x6 + 2*x7 + 2*x8 + 1,
2*X2 + 2*X3 + 2*X4 + 2*X5 + 2*X6 + 2*X7 + 2*X8 + 1,
x2*X2 - 1,
x3*X3 - 1,
x4*X4 - 1,
x5*X5 - 1,
x6*X6 - 1,
x7*X7 - 1,
x8*X8 - 1,
4*x2*X3 + 4*x2*X4 + 4*x2*X5 + 4*x2*X6 + 4*x2*X7 + 4*x2*X8 - 4*x3*X2 + 4*
x3*X4 + 4*x3*X5 + 4*x3*X6 + 4*x3*X7 + 4*x3*X8 - 4*x4*X2 - 4*x4*X3 + 4*
x4*X5 + 4*x4*X6 + 4*x4*X7 + 4*x4*X8 - 4*x5*X2 - 4*x5*X3 - 4*x5*X4 + 4*
x5*X6 + 4*x5*X7 + 4*x5*X8 - 4*x6*X2 - 4*x6*X3 - 4*x6*X4 - 4*x6*X5 + 4*
x6*X7 + 4*x6*X8 - 4*x7*X2 - 4*x7*X3 - 4*x7*X4 - 4*x7*X5 - 4*x7*X6 + 4*
x7*X8 - 4*x8*X2 - 4*x8*X3 - 4*x8*X4 - 4*x8*X5 - 4*x8*X6 - 4*x8*X7 + 2*
X2 + 2*X3 + 2*X4 + 2*X5 + 2*X6 + 2*X7 + 2*X8 + 1,
- 4*x2*X3 - 4*x2*X4 - 4*x2*X5 - 4*x2*X6 - 4*x2*X7 - 4*x2*X8 + 2*x2 + 4*
x3*X2 - 4*x3*X4 - 4*x3*X5 - 4*x3*X6 - 4*x3*X7 - 4*x3*X8 + 2*x3 + 4*x4*
X2 + 4*x4*X3 - 4*x4*X5 - 4*x4*X6 - 4*x4*X7 - 4*x4*X8 + 2*x4 + 4*x5*X2 + 4
*x5*X3 + 4*x5*X4 - 4*x5*X6 - 4*x5*X7 - 4*x5*X8 + 2*x5 + 4*x6*X2 + 4*x6*
X3 + 4*x6*X4 + 4*x6*X5 - 4*x6*X7 - 4*x6*X8 + 2*x6 + 4*x7*X2 + 4*x7*X3 + 4
*x7*X4 + 4*x7*X5 + 4*x7*X6 - 4*x7*X8 + 2*x7 + 4*x8*X2 + 4*x8*X3 + 4*x8*
X4 + 4*x8*X5 + 4*x8*X6 + 4*x8*X7 + 2*x8 + 1,
8*x2*X3 + 8*x2*X4 + 8*x2*X5 + 8*x2*X6 + 16*x3*X2*X4 + 16*x3*X2*X5 + 16*
x3*X2*X6 + 8*x3*X4 + 8*x3*X5 + 8*x3*X6 + 16*x4*X2*X5 + 16*x4*X2*X6 + 16
*x4*X3*X5 + 16*x4*X3*X6 + 8*x4*X5 + 8*x4*X6 + 16*x5*X2*X6 + 16*x5*
X3*X6 + 16*x5*X4*X6 + 8*x5*X6 + 26*X2 + 26*X3 + 26*X4 + 26*X5 + 26*
X6 + 15,
16*x2*x4*X3 + 16*x2*x5*X3 + 16*x2*x5*X4 + 16*x2*x6*X3 + 16*x2*x6*X4 + 16*
x2*x6*X5 + 26*x2 + 16*x3*x5*X4 + 16*x3*x6*X4 + 16*x3*x6*X5 + 8*x3*X2 + 26*
x3 + 16*x4*x6*X5 + 8*x4*X2 + 8*x4*X3 + 26*x4 + 8*x5*X2 + 8*x5*X3 + 8*x5*
X4 + 26*x5 + 8*x6*X2 + 8*x6*X3 + 8*x6*X4 + 8*x6*X5 + 26*x6 + 15,
2*x2*x4*X3*X5 + 2*x2*x4*X3*X6 + 2*x2*x4*X3*X7 + 2*x2*x4*X3*X8 - x2*
x4*X3 + 2*x2*x5*X3*X6 + 2*x2*x5*X3*X7 + 2*x2*x5*X3*X8 - x2*x5*X3 + 2*
x2*x5*X4*X6 + 2*x2*x5*X4*X7 + 2*x2*x5*X4*X8 - x2*x5*X4 + 2*x2*x6*X3*
X7 + 2*x2*x6*X3*X8 - x2*x6*X3 + 2*x2*x6*X4*X7 + 2*x2*x6*X4*X8 - x2*
x6*X4 + 2*x2*x6*X5*X7 + 2*x2*x6*X5*X8 - x2*x6*X5 + 2*x2*x7*X3*X8 -
x2*x7*X3 + 2*x2*x7*X4*X8 - x2*x7*X4 + 2*x2*x7*X5*X8 - x2*x7*X5 + 2*x2*
x7*X6*X8 - x2*x7*X6 - x2*x8*X3 - x2*x8*X4 - x2*x8*X5 - x2*x8*X6 - x2*
x8*X7 - 2*x3*x5*X2*X4 + 2*x3*x5*X4*X6 + 2*x3*x5*X4*X7 + 2*x3*x5*X4*
X8 - x3*x5*X4 - 2*x3*x6*X2*X4 - 2*x3*x6*X2*X5 + 2*x3*x6*X4*X7 + 2*x3*
x6*X4*X8 - x3*x6*X4 + 2*x3*x6*X5*X7 + 2*x3*x6*X5*X8 - x3*x6*X5 - 2*
x3*x7*X2*X4 - 2*x3*x7*X2*X5 - 2*x3*x7*X2*X6 + 2*x3*x7*X4*X8 - x3*x7*
X4 + 2*x3*x7*X5*X8 - x3*x7*X5 + 2*x3*x7*X6*X8 - x3*x7*X6 - 2*x3*x8*
X2*X4 - 2*x3*x8*X2*X5 - 2*x3*x8*X2*X6 - 2*x3*x8*X2*X7 - x3*x8*X4 -
x3*x8*X5 - x3*x8*X6 - x3*x8*X7 + x3*X2*X4 + x3*X2*X5 + x3*X2*X6 +
x3*X2*X7 + x3*X2*X8 - 2*x4*x6*X2*X5 - 2*x4*x6*X3*X5 + 2*x4*x6*X5*
X7 + 2*x4*x6*X5*X8 - x4*x6*X5 - 2*x4*x7*X2*X5 - 2*x4*x7*X2*X6 - 2*x4*
x7*X3*X5 - 2*x4*x7*X3*X6 + 2*x4*x7*X5*X8 - x4*x7*X5 + 2*x4*x7*X6*X8 -
x4*x7*X6 - 2*x4*x8*X2*X5 - 2*x4*x8*X2*X6 - 2*x4*x8*X2*X7 - 2*x4*x8*
X3*X5 - 2*x4*x8*X3*X6 - 2*x4*x8*X3*X7 - x4*x8*X5 - x4*x8*X6 - x4*x8*
X7 + x4*X2*X5 + x4*X2*X6 + x4*X2*X7 + x4*X2*X8 + x4*X3*X5 + x4*
X3*X6 + x4*X3*X7 + x4*X3*X8 - 2*x5*x7*X2*X6 - 2*x5*x7*X3*X6 - 2*x5*
x7*X4*X6 + 2*x5*x7*X6*X8 - x5*x7*X6 - 2*x5*x8*X2*X6 - 2*x5*x8*X2*X7 - 2
*x5*x8*X3*X6 - 2*x5*x8*X3*X7 - 2*x5*x8*X4*X6 - 2*x5*x8*X4*X7 - x5*x8*
X6 - x5*x8*X7 + x5*X2*X6 + x5*X2*X7 + x5*X2*X8 + x5*X3*X6 + x5*X3*
X7 + x5*X3*X8 + x5*X4*X6 + x5*X4*X7 + x5*X4*X8 - 2*x6*x8*X2*X7 - 2*
x6*x8*X3*X7 - 2*x6*x8*X4*X7 - 2*x6*x8*X5*X7 - x6*x8*X7 + x6*X2*X7 +
x6*X2*X8 + x6*X3*X7 + x6*X3*X8 + x6*X4*X7 + x6*X4*X8 + x6*X5*X7 +
x6*X5*X8 + x7*X2*X8 + x7*X3*X8 + x7*X4*X8 + x7*X5*X8 + x7*X6*X8,
- 2*x2*x4*X3*X5 - 2*x2*x4*X3*X6 - 2*x2*x4*X3*X7 - 2*x2*x4*X3*X8 +
x2*x4*X3 - 2*x2*x5*X3*X6 - 2*x2*x5*X3*X7 - 2*x2*x5*X3*X8 + x2*x5*X3 - 2*
x2*x5*X4*X6 - 2*x2*x5*X4*X7 - 2*x2*x5*X4*X8 + x2*x5*X4 - 2*x2*x6*X3*
X7 - 2*x2*x6*X3*X8 + x2*x6*X3 - 2*x2*x6*X4*X7 - 2*x2*x6*X4*X8 + x2*
x6*X4 - 2*x2*x6*X5*X7 - 2*x2*x6*X5*X8 + x2*x6*X5 - 2*x2*x7*X3*X8 +
x2*x7*X3 - 2*x2*x7*X4*X8 + x2*x7*X4 - 2*x2*x7*X5*X8 + x2*x7*X5 - 2*x2*
x7*X6*X8 + x2*x7*X6 + x2*x8*X3 + x2*x8*X4 + x2*x8*X5 + x2*x8*X6 + x2*
x8*X7 + 2*x3*x5*X2*X4 - 2*x3*x5*X4*X6 - 2*x3*x5*X4*X7 - 2*x3*x5*X4*
X8 + x3*x5*X4 + 2*x3*x6*X2*X4 + 2*x3*x6*X2*X5 - 2*x3*x6*X4*X7 - 2*x3*
x6*X4*X8 + x3*x6*X4 - 2*x3*x6*X5*X7 - 2*x3*x6*X5*X8 + x3*x6*X5 + 2*
x3*x7*X2*X4 + 2*x3*x7*X2*X5 + 2*x3*x7*X2*X6 - 2*x3*x7*X4*X8 + x3*x7*
X4 - 2*x3*x7*X5*X8 + x3*x7*X5 - 2*x3*x7*X6*X8 + x3*x7*X6 + 2*x3*x8*
X2*X4 + 2*x3*x8*X2*X5 + 2*x3*x8*X2*X6 + 2*x3*x8*X2*X7 + x3*x8*X4 +
x3*x8*X5 + x3*x8*X6 + x3*x8*X7 - x3*X2*X4 - x3*X2*X5 - x3*X2*X6 -
x3*X2*X7 - x3*X2*X8 + 2*x4*x6*X2*X5 + 2*x4*x6*X3*X5 - 2*x4*x6*X5*
X7 - 2*x4*x6*X5*X8 + x4*x6*X5 + 2*x4*x7*X2*X5 + 2*x4*x7*X2*X6 + 2*x4*
x7*X3*X5 + 2*x4*x7*X3*X6 - 2*x4*x7*X5*X8 + x4*x7*X5 - 2*x4*x7*X6*X8 +
x4*x7*X6 + 2*x4*x8*X2*X5 + 2*x4*x8*X2*X6 + 2*x4*x8*X2*X7 + 2*x4*x8*
X3*X5 + 2*x4*x8*X3*X6 + 2*x4*x8*X3*X7 + x4*x8*X5 + x4*x8*X6 + x4*x8*
X7 - x4*X2*X5 - x4*X2*X6 - x4*X2*X7 - x4*X2*X8 - x4*X3*X5 - x4*
X3*X6 - x4*X3*X7 - x4*X3*X8 + 2*x5*x7*X2*X6 + 2*x5*x7*X3*X6 + 2*x5*
x7*X4*X6 - 2*x5*x7*X6*X8 + x5*x7*X6 + 2*x5*x8*X2*X6 + 2*x5*x8*X2*X7 + 2
*x5*x8*X3*X6 + 2*x5*x8*X3*X7 + 2*x5*x8*X4*X6 + 2*x5*x8*X4*X7 + x5*x8*
X6 + x5*x8*X7 - x5*X2*X6 - x5*X2*X7 - x5*X2*X8 - x5*X3*X6 - x5*X3*
X7 - x5*X3*X8 - x5*X4*X6 - x5*X4*X7 - x5*X4*X8 + 2*x6*x8*X2*X7 + 2*
x6*x8*X3*X7 + 2*x6*x8*X4*X7 + 2*x6*x8*X5*X7 + x6*x8*X7 - x6*X2*X7 -
x6*X2*X8 - x6*X3*X7 - x6*X3*X8 - x6*X4*X7 - x6*X4*X8 - x6*X5*X7 -
x6*X5*X8 - x7*X2*X8 - x7*X3*X8 - x7*X4*X8 - x7*X5*X8 - x7*X6*X8;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich