Janet Basis
f744
Variables: U7 , U6 , U5 , U4 , U3 , U2 , u7 , u6 , u5 , u4 , u3 , u2;
Ordering: DegreeReverseLexicographical;
Polynomial set:
2*u2 + 2*u3 + 2*u4 + 2*u5 + 2*u6 + 2*u7 + 1,
2*U2 + 2*U3 + 2*U4 + 2*U5 + 2*U6 + 2*U7 + 1,
8*u2*U2 + 8*u3*U2 + 8*u3*U3 + 8*u4*U2 + 8*u4*U3 + 8*u4*U4 + 8*u5*U2 + 8*
u5*U3 + 8*u5*U4 + 8*u5*U5 + 8*u6*U2 + 8*u6*U3 + 8*u6*U4 + 8*u6*U5 + 8*
u6*U6 + 8*u7*U2 + 8*u7*U3 + 8*u7*U4 + 8*u7*U5 + 8*u7*U6 - 17,
8*u2*U2 + 8*u2*U3 + 8*u2*U4 + 8*u2*U5 + 8*u2*U6 + 8*u2*U7 + 8*u3*U3 + 8*
u3*U4 + 8*u3*U5 + 8*u3*U6 + 8*u3*U7 + 8*u4*U4 + 8*u4*U5 + 8*u4*U6 + 8*
u4*U7 + 8*u5*U5 + 8*u5*U6 + 8*u5*U7 + 8*u6*U6 + 8*u6*U7 - 17,

8*u2*U3 + 8*u2*U4 + 8*u2*U5 + 16*u3*U2*U4 + 16*u3*U2*U5 + 8*u3*U4 + 8*
u3*U5 + 16*u4*U2*U5 + 16*u4*U3*U5 + 8*u4*U5 + 18*U2 + 18*U3 + 18*U4 +
18*U5 + 11,

16*u2*u4*U3 + 16*u2*u5*U3 + 16*u2*u5*U4 + 18*u2 + 16*u3*u5*U4 + 8*u3*U2 +
18*u3 + 8*u4*U2 + 8*u4*U3 + 18*u4 + 8*u5*U2 + 8*u5*U3 + 8*u5*U4 + 18*u5 +
11,

u2*U2 - 1,

u3*U3 - 1,

u4*U4 - 1,

u5*U5 - 1,

u6*U6 - 1,

u7*U7 - 1;

Gentoo powered PHP4.0

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

Designed by D.A.Yanovich