Janet Basis
cyclic7
Variables: x1,x2,x3,x4,x5,x6,x7;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
x1 + x2 + x3 + x4 + x5 + x6 + x7,
x1*x2 + x2*x3 + x3*x4 + x4*x5 + x5*x6 + x6*x7+x7*x1,
x1*x2*x3 + x2*x3*x4 + x3*x4*x5 + x4*x5*x6 + x5*x6*x7 + x6*x7*x1 +x7*x1*x2,
x1*x2*x3*x4 + x2*x3*x4*x5 + x3*x4*x5*x6 + x4*x5*x6*x7 + x5*x6*x7*x1 + x6*x7*x1*x2 + x7*x1*x2*x3,
x1*x2*x3*x4*x5 + x2*x3*x4*x5*x6 + x3*x4*x5*x6*x7 + x4*x5*x6*x7*x1 + x5*x6*x7*x1*x2 + x6*x7*x1*x2*x3+x7*x1*x2*x3*x4,
x1*x2*x3*x4*x5*x6 + x2*x3*x4*x5*x6*x7 + x3*x4*x5*x6*x7*x1 + x4*x5*x6*x7*x1*x2 + x5*x6*x7*x1*x2*x3 + x6*x7*x1*x2*x3*x4+x7*x1*x2*x3*x4*x5,
x1*x2*x3*x4*x5*x6*x7 - 1;

Gentoo powered PHP4.0

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

Designed by D.A.Yanovich