Janet Basis
dl
Variables: D1 , D2 , S1 , S2 , d1 , d2 , s2 , s1;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
D1^3 + 3*D1*S1^2 - 2*D2^3 - 6*D2*S2^2,
5*D1^6 + 30*D1^4*S1^2 + 72*D1^2*D2^2*S1*S2 + 45*D1^2*S1^4 + 24* D1^2*S1*S2^3 - 192*D1^2*S1 - 36*D2^4*S2^2 + 24*D2^2*S1^3*S2 - 24*D2^2*S2^4 + 8*S1^3*S2^3 - 64*S1^3 - 4*S2^6 + 256,
- 48*d1^2*D1^2*S1 + 24*d1^2*D2^2*S2 - 16*d1^2*S1^3 + 8*d1^2*S2^3 + 64*d1^2 + 20*d1*D1^3*s1 + 60*d1*D1*s1*S1^2 + 6*d2^2*D1^2*S1 - 3* d2^2*D2^2*S2 + 2*d2^2*S1^3 - d2^2*S2^3 - 8*d2^2 + 5*d2*D1^3*s2 + 15 *d2*D1*s2*S1^2 - 48*D1^2*s1^2*S1 + 6*D1^2*s2^2*S1 + 48*D1^2*S1 + 24*D2^2*s1^2*S2 - 3*D2^2*s2^2*S2 - 24*D2^2*S2 - 16*s1^2*S1^3 + 8* s1^2*S2^3 + 64*s1^2 + 2*s2^2*S1^3 - s2^2*S2^3 - 8*s2^2 + 16*S1^3 - 8*S2^3 - 64,
96*d1*D1^2*s1*S1 - 48*d1*D2^2*s1*S2 + 32*d1*s1*S1^3 - 16*d1*s1*S2^3 - 128*d1*s1 + 5*d2^2*D1^3 + 15*d2^2*D1*S1^2 + 24*d2*D1^2*s2*S1 - 12* d2*D2^2*s2*S2 + 8*d2*s2*S1^3 - 4*d2*s2*S2^3 - 32*d2*s2 + 5*D1^3*s2^2 - 40*D1^3 + 15*D1*s2^2*S1^2 - 120*D1*S1^2,
8*d1^2*D1^3 + 24*d1^2*D1*S1^2 + 48*d1*D2^2*s1*S2 + 16*d1*s1*S2^3 - 128*d1*s1 - d2^2*D1^3 - 3*d2^2*D1*S1^2 + 12*d2*D2^2*s2*S2 + 4*d2* s2*S2^3 - 32*d2*s2 + 8*D1^3*s1^2 - D1^3*s2^2 - 8*D1^3 + 24*D1*s1^2* S1^2 - 3*D1*s2^2*S1^2 - 24*D1*S1^2,
- 4*d1*D1^3*s1 - 12*d1*D1*s1*S1^2 + 3*d2^2*D2^2*S2 + d2^2*S2^3 - 8* d2^2 - d2*D1^3*s2 - 3*d2*D1*s2*S1^2 + 3*D2^2*s2^2*S2 - 24*D2^2* S2 + s2^2*S2^3 - 8*s2^2 - 8*S2^3 + 64,
- 8*d1^2*d2^2 - 64*d1^2*s1^2 - 8*d1^2*s2^2 + 64*d1^2 - 32*d1*d2*s1* s2 + d2^4 - 8*d2^2*s1^2 - 2*d2^2*s2^2 - 8*s1^2*s2^2 + 64*s1^2 + s2^4 - 64,
d1*S1 - D1*s1,
- d2*S2 + D2*s2,
- d1*D1 + s1*S1 - 4,
- d2*D2 + s2*S2 - 4;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich