Janet Basis
hairer3
Variables: a , b , c , d , e , f , g , h , i , j , k , l , m , n;
Ordering: DegreeReverseLexicographical;
Polynomial set:
2*a*e + 2*b*f + 2*c*g + 2*d*h - 1,

3*a^2*e + 3*b^2*f + 3*c^2*g + 3*d^2*h - 1,

6*a*f*i + 6*a*g*j + 6*a*h*l + 6*b*g*k + 6*b*h*m + 6*c*h*n - 1,

4*a^3*e + 4*b^3*f + 4*c^3*g + 4*d^3*h - 1,

8*a*b*f*i + 8*a*c*g*j + 8*a*d*h*l + 8*b*c*g*k + 8*b*d*h*m + 8*c*d*h*n - 1,

12*a^2*f*i + 12*a^2*g*j + 12*a^2*h*l + 12*b^2*g*k + 12*b^2*h*m + 12*c^2*
h*n - 1,

24*a*g*i*k + 24*a*h*i*m + 24*a*h*j*n + 24*b*h*k*n - 1,

5*a^4*e + 5*b^4*f + 5*c^4*g + 5*d^4*h - 1,

10*a*b^2*f*i + 10*a*c^2*g*j + 10*a*d^2*h*l + 10*b*c^2*g*k + 10*b*d^2*h*
m + 10*c*d^2*h*n - 1,

15*a^3*h*l + 15*a^2*b*f*i + 15*a^2*c*g*j + 15*b^2*c*g*k + 15*b^2*d*h*m + 15
*c^2*d*h*n - 1,

30*a*c*g*i*k + 30*a*d*h*i*m + 30*a*d*h*j*n + 30*b*d*h*k*n - 1,

- 20*a^2*f + 20*a^2*g*j^2 + 20*a^2*h*l^2 + 40*a*b*g*j*k + 40*a*b*h*l*m +
40*a*c*h*l*n + 20*b^2*g*k^2 + 20*b^2*h*m^2 + 40*b*c*h*m*n + 20*c^2*h*n^2 -
1,

20*a^3*f*i + 20*a^3*g*j + 20*a^3*h*l + 20*b^3*g*k + 20*b^3*h*m + 20*c^3*
h*n - 1,

40*a*b*g*i*k + 40*a*b*h*i*m + 40*a*c*h*j*n + 40*b*c*h*k*n - 1,

60*a^2*g*i*k + 60*a^2*h*i*m + 60*a^2*h*j*n + 60*b^2*h*k*n - 1,

120*a*h*i*k*n - 1;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich