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

2*a*f + 2*b*e + 2*c*d - 1,

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

6*a*d*l + 6*a*e*i + 6*b*d*m - 1,

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

8*a*b*e*i + 8*a*c*d*l + 8*b*c*d*m - 1,

2*a^2*d*l + 2*a^2*e*i + 2*b^2*d*m - 1,

24*a*d*i*m - 1,

a - h,

b - j,

c - k - l - m;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich