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

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

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

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

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

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

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

Designed by D.A.Yanovich