Janet Basis
redcyc7
Variables: y1 , y2 , y3 , y4 , y5 , y6 , y7 , z;
Ordering: DegreeReverseLexicographical;
Polynomial set:
y1 + y2 + y3 + y4 + y5 + y6 + 1,

y1*y2 + y1 + y2*y3 + y3*y4 + y4*y5 + y5*y6 + y6,

y1*y2*y3 + y1*y2 + y1*y6 + y2*y3*y4 + y3*y4*y5 + y4*y5*y6 + y5*y6,

y1*y2*y3*y4 + y1*y2*y3 + y1*y2*y6 + y1*y5*y6 + y2*y3*y4*y5 + y3*y4*y5*y6 +
y4*y5*y6,

y1*y2*y3*y4*y5 + y1*y2*y3*y4 + y1*y2*y3*y6 + y1*y2*y5*y6 + y1*y4*y5*y6 + y2*
y3*y4*y5*y6 + y3*y4*y5*y6,

y1*y2*y3*y4*y5*y6 + y1*y2*y3*y4*y5 + y1*y2*y3*y4*y6 + y1*y2*y3*y5*y6 + y1*y2*
y4*y5*y6 + y1*y3*y4*y5*y6 + y2*y3*y4*y5*y6,

y1*y2*y3*y4*y5*y6*z^7 - 1;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich