Janet Basis
redeco10
Variables: x1 , x2 , x3 , x4 , x5 , x6 , x7 , x8 , x9 , u10;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
- u10 + x1*x2 + x1 + x2*x3 + x3*x4 + x4*x5 + x5*x6 + x6*x7 + x7*x8 + x8*x9,
- 2*u10 + x1*x3 + x2*x4 + x2 + x3*x5 + x4*x6 + x5*x7 + x6*x8 + x7*x9,
- 3*u10 + x1*x4 + x2*x5 + x3*x6 + x3 + x4*x7 + x5*x8 + x6*x9,
- 4*u10 + x1*x5 + x2*x6 + x3*x7 + x4*x8 + x4 + x5*x9,
- 5*u10 + x1*x6 + x2*x7 + x3*x8 + x4*x9 + x5,
- 6*u10 + x1*x7 + x2*x8 + x3*x9 + x6,
- 7*u10 + x1*x8 + x2*x9 + x7,
- 8*u10 + x1*x9 + x8,
- 9*u10 + x9,
x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + 1;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich