Janet Basis
hf855
Variables: X8 , X7 , X6 , X5 , X4 , X3 , X2 ,
x8 , x7 , x6 , x5 , x4 , x3 , x2 , h;
Ordering: DegreeReverseLexicographical;
Polynomial set:
h*x2*x4*X3 + h*x2*x5*X3 + h*x2*x5*X4 + h*x2*x6*X3 + h*x2*x6*X4 + h*x2*
x6*X5 + h*x2*x7*X3 + h*x2*x7*X4 + h*x2*x7*X5 + h*x2*x7*X6 + h*x2*x8*X3 +
h*x2*x8*X4 + h*x2*x8*X5 + h*x2*x8*X6 + h*x2*x8*X7 + h*x3*x5*X4 + h*x3*
x6*X4 + h*x3*x6*X5 + h*x3*x7*X4 + h*x3*x7*X5 + h*x3*x7*X6 + h*x3*x8*X4 +
h*x3*x8*X5 + h*x3*x8*X6 + h*x3*x8*X7 - h*x3*X2*X4 - h*x3*X2*X5 - h*x3*
X2*X6 - h*x3*X2*X7 - h*x3*X2*X8 + h*x4*x6*X5 + h*x4*x7*X5 + h*x4*x7*
X6 + h*x4*x8*X5 + h*x4*x8*X6 + h*x4*x8*X7 - h*x4*X2*X5 - h*x4*X2*X6 -
h*x4*X2*X7 - h*x4*X2*X8 - h*x4*X3*X5 - h*x4*X3*X6 - h*x4*X3*X7 - h*
x4*X3*X8 + h*x5*x7*X6 + h*x5*x8*X6 + h*x5*x8*X7 - h*x5*X2*X6 - h*x5*
X2*X7 - h*x5*X2*X8 - h*x5*X3*X6 - h*x5*X3*X7 - h*x5*X3*X8 - h*x5*
X4*X6 - h*x5*X4*X7 - h*x5*X4*X8 + h*x6*x8*X7 - h*x6*X2*X7 - h*x6*
X2*X8 - h*x6*X3*X7 - h*x6*X3*X8 - h*x6*X4*X7 - h*x6*X4*X8 - h*x6*
X5*X7 - h*x6*X5*X8 - h*x7*X2*X8 - h*x7*X3*X8 - h*x7*X4*X8 - h*x7*
X5*X8 - h*x7*X6*X8 - 2*x2*x4*X3*X5 - 2*x2*x4*X3*X6 - 2*x2*x4*X3*X7 - 2
*x2*x4*X3*X8 - 2*x2*x5*X3*X6 - 2*x2*x5*X3*X7 - 2*x2*x5*X3*X8 - 2*x2*
x5*X4*X6 - 2*x2*x5*X4*X7 - 2*x2*x5*X4*X8 - 2*x2*x6*X3*X7 - 2*x2*x6*
X3*X8 - 2*x2*x6*X4*X7 - 2*x2*x6*X4*X8 - 2*x2*x6*X5*X7 - 2*x2*x6*X5*
X8 - 2*x2*x7*X3*X8 - 2*x2*x7*X4*X8 - 2*x2*x7*X5*X8 - 2*x2*x7*X6*X8 + 2*
x3*x5*X2*X4 - 2*x3*x5*X4*X6 - 2*x3*x5*X4*X7 - 2*x3*x5*X4*X8 + 2*x3*
x6*X2*X4 + 2*x3*x6*X2*X5 - 2*x3*x6*X4*X7 - 2*x3*x6*X4*X8 - 2*x3*x6*
X5*X7 - 2*x3*x6*X5*X8 + 2*x3*x7*X2*X4 + 2*x3*x7*X2*X5 + 2*x3*x7*X2*
X6 - 2*x3*x7*X4*X8 - 2*x3*x7*X5*X8 - 2*x3*x7*X6*X8 + 2*x3*x8*X2*X4 + 2*
x3*x8*X2*X5 + 2*x3*x8*X2*X6 + 2*x3*x8*X2*X7 + 2*x4*x6*X2*X5 + 2*x4*
x6*X3*X5 - 2*x4*x6*X5*X7 - 2*x4*x6*X5*X8 + 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 - 2*x4*x7*X6*
X8 + 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 + 2*x5*x7*X2*X6 + 2*x5*x7*X3*X6 + 2*x5*
x7*X4*X6 - 2*x5*x7*X6*X8 + 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 + 2*x6*x8*X2*
X7 + 2*x6*x8*X3*X7 + 2*x6*x8*X4*X7 + 2*x6*x8*X5*X7,

- h*x2*x4*X3 - h*x2*x5*X3 - h*x2*x5*X4 - h*x2*x6*X3 - h*x2*x6*X4 - h*
x2*x6*X5 - h*x2*x7*X3 - h*x2*x7*X4 - h*x2*x7*X5 - h*x2*x7*X6 - h*x2*x8*
X3 - h*x2*x8*X4 - h*x2*x8*X5 - h*x2*x8*X6 - h*x2*x8*X7 - h*x3*x5*X4 -
h*x3*x6*X4 - h*x3*x6*X5 - h*x3*x7*X4 - h*x3*x7*X5 - h*x3*x7*X6 - h*x3*
x8*X4 - h*x3*x8*X5 - h*x3*x8*X6 - h*x3*x8*X7 + h*x3*X2*X4 + h*x3*X2*
X5 + h*x3*X2*X6 + h*x3*X2*X7 + h*x3*X2*X8 - h*x4*x6*X5 - h*x4*x7*X5 -
h*x4*x7*X6 - h*x4*x8*X5 - h*x4*x8*X6 - h*x4*x8*X7 + h*x4*X2*X5 + h*x4*
X2*X6 + h*x4*X2*X7 + h*x4*X2*X8 + h*x4*X3*X5 + h*x4*X3*X6 + h*x4*
X3*X7 + h*x4*X3*X8 - h*x5*x7*X6 - h*x5*x8*X6 - h*x5*x8*X7 + h*x5*X2*
X6 + h*x5*X2*X7 + h*x5*X2*X8 + h*x5*X3*X6 + h*x5*X3*X7 + h*x5*X3*
X8 + h*x5*X4*X6 + h*x5*X4*X7 + h*x5*X4*X8 - h*x6*x8*X7 + h*x6*X2*
X7 + h*x6*X2*X8 + h*x6*X3*X7 + h*x6*X3*X8 + h*x6*X4*X7 + h*x6*X4*
X8 + h*x6*X5*X7 + h*x6*X5*X8 + h*x7*X2*X8 + h*x7*X3*X8 + h*x7*X4*
X8 + h*x7*X5*X8 + h*x7*X6*X8 + 2*x2*x4*X3*X5 + 2*x2*x4*X3*X6 + 2*x2*
x4*X3*X7 + 2*x2*x4*X3*X8 + 2*x2*x5*X3*X6 + 2*x2*x5*X3*X7 + 2*x2*x5*
X3*X8 + 2*x2*x5*X4*X6 + 2*x2*x5*X4*X7 + 2*x2*x5*X4*X8 + 2*x2*x6*X3*
X7 + 2*x2*x6*X3*X8 + 2*x2*x6*X4*X7 + 2*x2*x6*X4*X8 + 2*x2*x6*X5*X7 + 2*
x2*x6*X5*X8 + 2*x2*x7*X3*X8 + 2*x2*x7*X4*X8 + 2*x2*x7*X5*X8 + 2*x2*
x7*X6*X8 - 2*x3*x5*X2*X4 + 2*x3*x5*X4*X6 + 2*x3*x5*X4*X7 + 2*x3*x5*
X4*X8 - 2*x3*x6*X2*X4 - 2*x3*x6*X2*X5 + 2*x3*x6*X4*X7 + 2*x3*x6*X4*
X8 + 2*x3*x6*X5*X7 + 2*x3*x6*X5*X8 - 2*x3*x7*X2*X4 - 2*x3*x7*X2*X5 - 2*
x3*x7*X2*X6 + 2*x3*x7*X4*X8 + 2*x3*x7*X5*X8 + 2*x3*x7*X6*X8 - 2*x3*
x8*X2*X4 - 2*x3*x8*X2*X5 - 2*x3*x8*X2*X6 - 2*x3*x8*X2*X7 - 2*x4*x6*
X2*X5 - 2*x4*x6*X3*X5 + 2*x4*x6*X5*X7 + 2*x4*x6*X5*X8 - 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 + 2*
x4*x7*X6*X8 - 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 - 2*x5*x7*X2*X6 - 2*x5*x7*
X3*X6 - 2*x5*x7*X4*X6 + 2*x5*x7*X6*X8 - 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 - 2*
x6*x8*X2*X7 - 2*x6*x8*X3*X7 - 2*x6*x8*X4*X7 - 2*x6*x8*X5*X7,

15*h^3 + 26*h^2*x2 + 26*h^2*x3 + 26*h^2*x4 + 26*h^2*x5 + 26*h^2*x6 + 8*
h*x3*X2 + 8*h*x4*X2 + 8*h*x4*X3 + 8*h*x5*X2 + 8*h*x5*X3 + 8*h*x5*X4 + 8*
h*x6*X2 + 8*h*x6*X3 + 8*h*x6*X4 + 8*h*x6*X5 + 16*x2*x4*X3 + 16*x2*x5*
X3 + 16*x2*x5*X4 + 16*x2*x6*X3 + 16*x2*x6*X4 + 16*x2*x6*X5 + 16*x3*x5*
X4 + 16*x3*x6*X4 + 16*x3*x6*X5 + 16*x4*x6*X5,

15*h^3 + 26*h^2*X2 + 26*h^2*X3 + 26*h^2*X4 + 26*h^2*X5 + 26*h^2*
X6 + 8*h*x2*X3 + 8*h*x2*X4 + 8*h*x2*X5 + 8*h*x2*X6 + 8*h*x3*X4 + 8*h*
x3*X5 + 8*h*x3*X6 + 8*h*x4*X5 + 8*h*x4*X6 + 8*h*x5*X6 + 16*x3*X2*X4 + 16*
x3*X2*X5 + 16*x3*X2*X6 + 16*x4*X2*X5 + 16*x4*X2*X6 + 16*x4*X3*X5 + 16*
x4*X3*X6 + 16*x5*X2*X6 + 16*x5*X3*X6 + 16*x5*X4*X6,

h^2 + 2*h*x2 + 2*h*x3 + 2*h*x4 + 2*h*x5 + 2*h*x6 + 2*h*x7 + 2*h*x8 - 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,

h^2 + 2*h*X2 + 2*h*X3 + 2*h*X4 + 2*h*X5 + 2*h*X6 + 2*h*X7 + 2*h*X8 + 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,

- h^2 + x8*X8,

- h^2 + x7*X7,

- h^2 + x6*X6,

- h^2 + x5*X5,

- h^2 + x4*X4,

- h^2 + x3*X3,

- h^2 + x2*X2,

h + 2*X2 + 2*X3 + 2*X4 + 2*X5 + 2*X6 + 2*X7 + 2*X8,

h + 2*x2 + 2*x3 + 2*x4 + 2*x5 + 2*x6 + 2*x7 + 2*x8;

Gentoo powered PHP4.0

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

Designed by D.A.Yanovich