Janet Basis
des22_24
Variables: a20 , a21 , a22 , a23 , a30 , a31 , a32 , a33 , a34 , a35;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
8*a20*a32 + 9*a21*a31 + 10*a22*a30,
- 16*a23 + 36*a34 + 171*a35,
7*a20*a31 + 8*a21*a30,
a35 - 1,
10*a20*a34 + 11*a21*a33 + 12*a22*a32 + 13*a23*a31 + 70*a30,
9*a20*a33 + 10*a21*a32 + 11*a22*a31 + 12*a23*a30,
11*a20*a35 + 12*a21*a34 + 13*a22*a33 + 14*a23*a32 + 16*a30 + 75*a31,
- 85*a20 + 39*a21*a35 + 42*a22*a34 + 45*a23*a33 + 51*a31 + 240*a32,
- 57*a22 + 68*a23*a35 + 76*a33 + 360*a34,
- 144*a21 + 105*a22*a35 + 112*a23*a34 + 126*a32 + 595*a33;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich