Janet Basis
hietarinta1
Variables: a , c , j , l , m , n , p , v , g , h;
Ordering: DegreeReverseLexicographical;
Polynomial set:
- a*c + a + c^2*p + c*l - h - p,

a*c*h + c^2 + c*n + h*m,

- a^2*c + a^2 + a*c*g + a*c*l - a*h - a*m + 2*c^2 - c*h*l + h*l - 2,

- a*c^2 + a*c*j + a*c*n - c^2*m + c^2*v - c*h*n - c*m + h*n,

- (a*l + c*g*l + j + 1),

- c*g*n + c*g + c*h - c*l - c*m + j*m,

- a*j - a*n + a + c*g - c*j*l + g + j*l - v,

- c*j*n + c*j - c*n + j*n,

a*l + a*p + c*m*p + c + l*m - l*n*p - l*p - n - 2,

- c*h + c*l + c*m + c*p + 2*m*n + m - n^2*p,

a*c - a - c*g + 2*c*m - h*l*m + h - l*n + m*n + p,

a*m*n + c^2 - c*j - c*l*m - c*m^2 + c*m*v - h*m*n - m^2*n - n^2 + n,

a^2*l - a*l^2 - a*n + 2*a - c*l + c*n*p - g*l*m + g - l + m - v,

a*c*l + a*m*n + c*h*l - c*l^2 + c*n + 2*c - g*m*n - l*m*n - m^2 + m*v - n^2,

a*l + c*g*l + c*n - j*l*m + j - l*n*v + n^2 + 1,

a*n^2 + c*j*l - c*l*n + c*n*v - j*m*n - m*n^2 - n^2*v + n*v,

a*g + a*h - a*l - a*m + c*m*p + c - g*p + h*n*p - j*l*p - j + n - 1,

c*g - c*l + h*l*m + h*n + j*m - j*n*p,

a*c - a + c*h - c*l + c*m - g*n - g - h^2*l + h*l^2 + h*n + h - j*l + j*m -
l,

a*j*m + c^2 - c*g*m - c*h*m + c*m*v - c*n - h^2*n + h*l*n + h*n*v - j*m^2 - 2
*j*n,

- g*h*l - g*n + h - j*l + j*n*p - m,

- a*g*n + g^2*n + g*l + g*m - g*v - h*j*l + j*l^2 - j*l*v + 2*j*n + j - 1,

- c*g*n + g*j*n - h*j*n + j*l*n - j*m*n + j*m,

- a^2*p + a*l*p + 3*a - l*p*v + m^2*p + 2*m - v,

- a*c*p - a*m + c*l*p + 2*c - h*m + h*n*p + l*m + m*v - n*p*v + 2*n,

- a*c*p - a*m + c - g*m + g*n*p - h*l - h*p + l^2 - l*m + l*p - l*v + m^2 +
m*v + n,

- c^2*p - 2*c*m - h*n - j*m + j*n*p + l*n - m*n,

- a*l - a*p - g*l - g*p - l*m - l*v + m*n*p + n*p*v,

- c*l - c*p - g*n + h*l*m + h*n - m,

- a*n + g*l*m + g*n - j*l - j*p + l^2*v - l*n - l*v^2 + m*n + 2*n*v - v,

- c*n + j*l*m + l*n*v - n^2,

- a*c*p - a*h + c*h*p + 2*c - g*h - g*p + h*j*p + j - 1,

- a^2*h - 2*a*c + a*h^2 + a*j - c*g + c*h - c*m + c*v + g*h*m + h - j*p,

a*c - a - c^2*p - c*l + g*h*l - g*j - 2*g + h*j + m,

- a*c*h - c^2 - c*n + g*h*n + h*j*v - h*m - j^2 - j,

- c*g - c*p - 2*g*j - g - h + j^2*p + l,

- a*g*j - a*h + c*g^2 - c*g*v - 2*c + g*h*j + g*j*m + h^2 - h*l + j^2 -
j,

- a*g*j - c*j + g^2*j + g^2 + g*h + g*j*l - g*v + j^2 + n - 1,

- a*j^2 - c*j*v + g*j^2 + g*j*n + h*j - h*n + j^2*v - j*v,

a*g*p - a*m*p - g*l*p - 2*g + h*m*p + h - l + 2*m,

a*h - a*m + c*g*p + c + g*m - h^2 + h*j*p + h*l + h*m - j*l*p - m^2 + m*v -
n*p*v + n,

- c*m*p - c + g*j*p + g*p + j - m*n*p - n + 1,

c*h - c*m + g*n - h*l*m + j^2*p - j*l + j*v - 2*m*n - n*v,

a*g - a*l + g^2 - g*l - g*m - g*v - h*l + h*n*p + j*p*v - j + l^2 - l*n*p -
m*p - 1,

c*g - c*l + g*j + h^2*l + h*j - h*l^2 + h*n + h - j*l + j*v - l*n - m*n -
m - n*v,

g*h*l + 2*g*j + g + h*n - j*m + j*v - l - n^2*p - n*v,

g*n*v + h*j*l - h*l*n + h*n*v + 2*j^2 - j*l*v - j*m*v + j*v^2 - 2*n^2 - n*
v^2,

a^2*p - a*h*p - 3*a - g^2*p - 2*g + h*p*v + v,

a*c*p + a*h + c*m*p + g*h - g*j*p + h*m + h*v - j*p*v,

a*g + a*p - c*h*p + c*l*p - g^2 + g*h + g*m - g*v - h^2 + h*l + h*v - j*m*
p - j - 1,

a*j + c*n*p + c*v - g*h*m - g*j - h^2*v + h*j + h*n + h*v^2 - j*m - 2*j*v,

a*g + a*p - g*h + g*l - g*v - h*p - j*l*p + j*p*v - 2*j - 2,

c*g + c*p - g*h*l + h - j*l + j*m,

g*j + g*n + 2*g - h*j + j*l - j*n*p + p,

- g*h*n - h*j*v + j^2 + j,

- a*h*p - a + h*p*v + m^2*p + 2*m - p*v^2 + 3*v,

- g*h*p + g*p*v - 2*g - h + l*m*p + l - m*p*v + 2*m,

- c*h*p - c - h*j*p - h*m - h*v + j*p*v - 2*j + m*n*p + n,

a*l*p + a - g^2*p - 2*g - l*p*v + p*v^2 - 3*v,

c*l*p + c - g*j*p - g*v - h*p + h*v - j - l*v + m*n*p + m*v + n - 1,

- g*j*p + g*l - j + l*n*p + l*p + l*v - n*p*v + 2*n + 1,

- h*n - j^2*p + j*l - j*v + n^2*p + n*v;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich