Janet Basis
pinchon1
Variables: m16 , m15 , m14 , m13 , m12 , m11 , m10 , m9 , m8 , m7 , m6 , m5 , m4 , m3 , m2 , m1 , m0 , h0 , h1 , h2 , h3 , h4 , h5 , h6 , h7 , h8 , h9 , h10 , a;
Ordering: DegreeReverseLexicographical;
Goal: Basis;
Polynomial set:
- h1 - 10000000000000000*h10 - 65536*h2 - 43046721*h3 - 4294967296*h4 - 152587890625 *h5 - 2821109907456*h6 - 33232930569601*h7 - 281474976710656*h8 - 1853020188851841 *h9 + m16,
- h1 - 1000000000000000*h10 - 32768*h2 - 14348907*h3 - 1073741824*h4 - 30517578125 *h5 - 470184984576*h6 - 4747561509943*h7 - 35184372088832*h8 - 205891132094649* h9 + m15,
- h1 - 100000000000000*h10 - 16384*h2 - 4782969*h3 - 268435456*h4 - 6103515625* h5 - 78364164096*h6 - 678223072849*h7 - 4398046511104*h8 - 22876792454961*h9 + m14,
- h1 - 10000000000000*h10 - 8192*h2 - 1594323*h3 - 67108864*h4 - 1220703125* h5 - 13060694016*h6 - 96889010407*h7 - 549755813888*h8 - 2541865828329*h9 + m13,
- h1 - 1000000000000*h10 - 4096*h2 - 531441*h3 - 16777216*h4 - 244140625*h5 - 2176782336 *h6 - 13841287201*h7 - 68719476736*h8 - 282429536481*h9 + m12,
- h1 - 100000000000*h10 - 2048*h2 - 177147*h3 - 4194304*h4 - 48828125*h5 - 362797056*h6 - 1977326743*h7 - 8589934592*h8 - 31381059609*h9 + m11,
- h1 - 10000000000*h10 - 1024*h2 - 59049*h3 - 1048576*h4 - 9765625*h5 - 60466176*h6 - 282475249*h7 - 1073741824*h8 - 3486784401*h9 + m10,
- h1 - 1000000000*h10 - 512*h2 - 19683*h3 - 262144*h4 - 1953125*h5 - 10077696* h6 - 40353607*h7 - 134217728*h8 - 387420489*h9 + m9,
- h1 - 100000000*h10 - 256*h2 - 6561*h3 - 65536*h4 - 390625*h5 - 1679616*h6 - 5764801*h7 - 16777216*h8 - 43046721*h9 + m8,
- h1 - 10000000*h10 - 128*h2 - 2187*h3 - 16384*h4 - 78125*h5 - 279936*h6 - 823543*h7 - 2097152*h8 - 4782969*h9 + m7,
- h1 - 1000000*h10 - 64*h2 - 729*h3 - 4096*h4 - 15625*h5 - 46656*h6 - 117649* h7 - 262144*h8 - 531441*h9 + m6,
- h1 - 100000*h10 - 32*h2 - 243*h3 - 1024*h4 - 3125*h5 - 7776*h6 - 16807*h7 - 32768*h8 - 59049*h9 + m5,
- h1 - 10000*h10 - 16*h2 - 81*h3 - 256*h4 - 625*h5 - 1296*h6 - 2401*h7 - 4096* h8 - 6561*h9 + m4,
- h1 - 1000*h10 - 8*h2 - 27*h3 - 64*h4 - 125*h5 - 216*h6 - 343*h7 - 512*h8 - 729*h9 + m3,
- h1 - 100*h10 - 4*h2 - 9*h3 - 16*h4 - 25*h5 - 36*h6 - 49*h7 - 64*h8 - 81* h9 + m2,
- h1 - 10*h10 - 2*h2 - 3*h3 - 4*h4 - 5*h5 - 6*h6 - 7*h7 - 8*h8 - 9*h9 + m1,
- h0 - h1 - h10 - h2 - h3 - h4 - h5 - h6 - h7 - h8 - h9 + m0,
h0 - h1 + h10 + h2 - h3 + h4 - h5 + h6 - h7 + h8 - h9,
- 780404625*a^16 + 151351200*a^11*m5 - 44444400*a^9*m7 + 2402400*a^7*m9 + 711350640*a^6*m5^2 - 65520*a^5*m11 - 47567520*a^4*m5*m7 + 1120*a^3*m13 + 720720*a^2*m5*m9 + 617760*a^2*m7^2 - 16*a*m15 + 6054048*a*m5^3 - 4368* m11*m5 + m16 - 11440*m7*m9,
11036025*a^14 - 7777770*a^9*m5 + 720720*a^7*m7 - 30030*a^5*m9 - 4162158* a^4*m5^2 + 728*a^3*m11 + 216216*a^2*m5*m7 - 14*a*m13 + m14 - 2002*m5*m9 - 1716*m7^2,
- 179025*a^12 + 166320*a^7*m5 - 11880*a^5*m7 + 440*a^3*m9 + 24948*a^2* m5^2 - 12*a*m11 + m12 - 792*m5*m7,
3675*a^10 - 3780*a^5*m5 + 240*a^3*m7 - 10*a*m9 + m10 - 126*m5^2,
- 105*a^8 + 112*a^3*m5 - 8*a*m7 + m8,
5*a^6 - 6*a*m5 + m6,
- a^4 + m4,
- a^3 + m3,
- a^2 + m2,
- a + m1,
m0 - 1;
Gentoo powered PHP4.0

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

Designed by D.A.Yanovich