Magma V2.19-8 Tue Aug 20 2013 19:13:57 on localhost [Seed = 1831651073] Type ? for help. Type -D to quit. Loading file "11_203__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_203 geometric_solution 13.72043990 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 15 1 2 1 3 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204120175333 1.082762102316 0 0 5 4 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440735685550 0.599602958463 6 0 7 6 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 17 1 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831866845927 0.891867778754 8 7 0 9 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.168133154073 0.891867778754 10 10 1 9 0132 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390265490755 0.801800498485 11 9 8 1 0132 1302 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025356551600 0.867189945395 2 2 12 13 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 -17 18 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440735685550 0.599602958463 13 3 14 2 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540811599866 0.412908784084 3 14 5 11 0132 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373319468907 0.584873729641 4 13 3 5 3120 2103 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609548893281 1.015056468101 4 11 14 4 0132 2310 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600924824442 0.790215768477 5 12 8 10 0132 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.297735630917 1.856458755080 11 14 13 6 1302 2031 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.118528628901 1.199205916926 7 9 6 12 0132 2103 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.204120175333 1.082762102316 12 8 10 7 1302 3120 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.110988925506 0.560651773392 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_13'], 'c_1001_14' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0011_14']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : d['c_0011_9'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0011_14'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_13']), 'c_1001_2' : negation(d['c_0011_13']), 'c_1001_9' : d['c_0011_13'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_13' : d['c_0011_11'], 'c_1010_12' : d['c_0011_14'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_14' : d['c_0011_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_1001_1']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_9']), 'c_1100_14' : negation(d['c_0011_9']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_9'], 'c_1100_13' : d['c_0101_7'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_13']), 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_0011_13'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0011_13']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0011_14']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_7'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_13']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0011_14'], 'c_0110_14' : d['c_0101_7'], 's_0_13' : d['1'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_14'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0011_14'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_13'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 172*c_0101_8*c_1001_1^2 + 302*c_0101_8*c_1001_1 + 228*c_0101_8 + 5*c_1001_1^2 + 9*c_1001_1 + 7, c_0011_0 - 1, c_0011_10 + c_1001_1, c_0011_11 - c_0101_8*c_1001_1 - c_0101_8 + c_1001_1, c_0011_12 + c_1001_1, c_0011_13 + c_1001_1^2 + c_1001_1, c_0011_14 + c_0101_8*c_1001_1 - c_1001_1^2, c_0011_3 - c_1001_1^2 - c_1001_1 + 1, c_0011_9 + c_0101_8, c_0101_0 + c_0101_8*c_1001_1 - c_1001_1^2 + 1, c_0101_1 + c_0101_8 + c_1001_1^2 - c_1001_1, c_0101_10 + c_0101_8*c_1001_1 - c_0101_8 - c_1001_1^2 + 1, c_0101_13 + c_1001_1, c_0101_7 - c_0101_8 - c_1001_1^2 + c_1001_1, c_0101_8^2 + c_0101_8*c_1001_1^2 - c_0101_8*c_1001_1 + c_1001_1^2 + c_1001_1 - 1, c_1001_1^3 + c_1001_1^2 - 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 13599409/1259104*c_1001_1^7 + 9422769/629552*c_1001_1^6 - 16494255/314776*c_1001_1^5 - 626011/6424*c_1001_1^4 + 32447651/314776*c_1001_1^3 + 191419485/629552*c_1001_1^2 + 38606597/157388*c_1001_1 + 44211653/157388, c_0011_0 - 1, c_0011_10 + 9/73*c_1001_1^7 + 51/292*c_1001_1^6 - 48/73*c_1001_1^5 - 80/73*c_1001_1^4 + 107/73*c_1001_1^3 + 274/73*c_1001_1^2 + 303/146*c_1001_1 + 153/73, c_0011_11 + 59/6424*c_1001_1^7 - 4/803*c_1001_1^6 + 43/1606*c_1001_1^5 - 123/1606*c_1001_1^4 - 581/1606*c_1001_1^3 + 963/3212*c_1001_1^2 + 1979/1606*c_1001_1 + 25/803, c_0011_12 - 91/1606*c_1001_1^7 - 51/3212*c_1001_1^6 + 194/803*c_1001_1^5 + 80/803*c_1001_1^4 - 399/803*c_1001_1^3 - 274/803*c_1001_1^2 - 1471/1606*c_1001_1 - 1175/803, c_0011_13 - 313/6424*c_1001_1^7 - 6/803*c_1001_1^6 + 233/803*c_1001_1^5 + 217/1606*c_1001_1^4 - 1273/1606*c_1001_1^3 - 2169/3212*c_1001_1^2 - 645/1606*c_1001_1 - 364/803, c_0011_14 + 1, c_0011_3 - 59/6424*c_1001_1^7 + 4/803*c_1001_1^6 - 43/1606*c_1001_1^5 + 123/1606*c_1001_1^4 + 581/1606*c_1001_1^3 - 963/3212*c_1001_1^2 - 1979/1606*c_1001_1 - 25/803, c_0011_9 - 313/6424*c_1001_1^7 - 6/803*c_1001_1^6 + 233/803*c_1001_1^5 + 217/1606*c_1001_1^4 - 1273/1606*c_1001_1^3 - 2169/3212*c_1001_1^2 + 961/1606*c_1001_1 - 364/803, c_0101_0 - 1, c_0101_1 + 313/6424*c_1001_1^7 + 6/803*c_1001_1^6 - 233/803*c_1001_1^5 - 217/1606*c_1001_1^4 + 1273/1606*c_1001_1^3 + 2169/3212*c_1001_1^2 - 961/1606*c_1001_1 + 364/803, c_0101_10 + 603/6424*c_1001_1^7 + 68/803*c_1001_1^6 - 731/1606*c_1001_1^5 - 1121/1606*c_1001_1^4 + 1847/1606*c_1001_1^3 + 7719/3212*c_1001_1^2 + 1689/1606*c_1001_1 + 1181/803, c_0101_13 + c_1001_1, c_0101_7 - 313/6424*c_1001_1^7 - 6/803*c_1001_1^6 + 233/803*c_1001_1^5 + 217/1606*c_1001_1^4 - 1273/1606*c_1001_1^3 - 2169/3212*c_1001_1^2 - 645/1606*c_1001_1 - 364/803, c_0101_8 + 313/6424*c_1001_1^7 + 6/803*c_1001_1^6 - 233/803*c_1001_1^5 - 217/1606*c_1001_1^4 + 1273/1606*c_1001_1^3 + 2169/3212*c_1001_1^2 + 645/1606*c_1001_1 + 364/803, c_1001_1^8 + 2*c_1001_1^7 - 4*c_1001_1^6 - 12*c_1001_1^5 + 4*c_1001_1^4 + 34*c_1001_1^3 + 40*c_1001_1^2 + 40*c_1001_1 + 16 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 14603/97818624*c_1001_1^10 - 57559/97818624*c_1001_1^9 + 20081/12227328*c_1001_1^8 + 178771/24454656*c_1001_1^7 - 39821/12227328*c_1001_1^6 - 50219/1528416*c_1001_1^5 - 39091/1018944*c_1001_1^4 - 84595/1528416*c_1001_1^3 - 15449/191052*c_1001_1^2 - 7213/382104*c_1001_1 - 8777/191052, c_0011_0 - 1, c_0011_10 - 161/140544*c_1001_1^10 - 113/70272*c_1001_1^9 + 3595/140544*c_1001_1^8 + 545/17568*c_1001_1^7 - 6037/35136*c_1001_1^6 - 587/2196*c_1001_1^5 + 757/2928*c_1001_1^4 + 2509/4392*c_1001_1^3 + 1889/2196*c_1001_1^2 + 1025/549*c_1001_1 + 611/549, c_0011_11 + 777/452864*c_1001_1^10 + 853/226432*c_1001_1^9 - 18347/452864*c_1001_1^8 - 2189/28304*c_1001_1^7 + 34275/113216*c_1001_1^6 + 16819/28304*c_1001_1^5 - 1737/3538*c_1001_1^4 - 19243/14152*c_1001_1^3 - 3155/1769*c_1001_1^2 - 6058/1769*c_1001_1 + 515/1769, c_0011_12 + 3131/2037888*c_1001_1^10 + 14185/2037888*c_1001_1^9 - 30487/2037888*c_1001_1^8 - 189301/2037888*c_1001_1^7 - 4807/254736*c_1001_1^6 + 83887/254736*c_1001_1^5 + 20369/42456*c_1001_1^4 + 116275/127368*c_1001_1^3 + 24449/15921*c_1001_1^2 - 898/15921*c_1001_1 - 4246/15921, c_0011_13 + 4601/4075776*c_1001_1^10 + 10547/2037888*c_1001_1^9 - 48655/4075776*c_1001_1^8 - 74923/1018944*c_1001_1^7 + 325/254736*c_1001_1^6 + 82919/254736*c_1001_1^5 + 25949/84912*c_1001_1^4 + 10591/63684*c_1001_1^3 + 12973/15921*c_1001_1^2 + 5254/15921*c_1001_1 + 6262/15921, c_0011_14 + 3709/4075776*c_1001_1^10 + 8471/1018944*c_1001_1^9 + 70069/4075776*c_1001_1^8 - 146419/2037888*c_1001_1^7 - 371419/1018944*c_1001_1^6 - 13061/63684*c_1001_1^5 + 127981/84912*c_1001_1^4 + 234809/63684*c_1001_1^3 + 66152/15921*c_1001_1^2 + 104983/31842*c_1001_1 + 8972/15921, c_0011_3 + 393/226432*c_1001_1^10 + 253/28304*c_1001_1^9 - 2395/226432*c_1001_1^8 - 12935/113216*c_1001_1^7 - 1767/14152*c_1001_1^6 + 18735/56608*c_1001_1^5 + 32381/28304*c_1001_1^4 + 24281/14152*c_1001_1^3 + 2981/3538*c_1001_1^2 - 828/1769*c_1001_1 + 801/1769, c_0011_9 - 2255/1018944*c_1001_1^10 - 3313/254736*c_1001_1^9 + 9133/1018944*c_1001_1^8 + 81611/509472*c_1001_1^7 + 47375/254736*c_1001_1^6 - 101099/254736*c_1001_1^5 - 107057/84912*c_1001_1^4 - 296141/127368*c_1001_1^3 - 233359/63684*c_1001_1^2 - 95873/31842*c_1001_1 - 22858/15921, c_0101_0 - 1, c_0101_1 - 4601/4075776*c_1001_1^10 - 10547/2037888*c_1001_1^9 + 48655/4075776*c_1001_1^8 + 74923/1018944*c_1001_1^7 - 325/254736*c_1001_1^6 - 82919/254736*c_1001_1^5 - 25949/84912*c_1001_1^4 - 10591/63684*c_1001_1^3 - 12973/15921*c_1001_1^2 - 21175/15921*c_1001_1 - 6262/15921, c_0101_10 + 6001/1358592*c_1001_1^10 + 13837/679296*c_1001_1^9 - 50795/1358592*c_1001_1^8 - 10945/42456*c_1001_1^7 - 48199/339648*c_1001_1^6 + 67357/84912*c_1001_1^5 + 6593/3538*c_1001_1^4 + 127759/42456*c_1001_1^3 + 19751/5307*c_1001_1^2 + 13718/5307*c_1001_1 + 10457/5307, c_0101_13 - 1415/509472*c_1001_1^10 - 1163/63684*c_1001_1^9 - 223/1018944*c_1001_1^8 + 28447/127368*c_1001_1^7 + 431167/1018944*c_1001_1^6 - 264029/509472*c_1001_1^5 - 218173/84912*c_1001_1^4 - 472369/127368*c_1001_1^3 - 250607/63684*c_1001_1^2 - 58430/15921*c_1001_1 - 9659/15921, c_0101_7 - 18221/4075776*c_1001_1^10 - 58475/2037888*c_1001_1^9 + 10339/4075776*c_1001_1^8 + 366853/1018944*c_1001_1^7 + 335767/509472*c_1001_1^6 - 245849/254736*c_1001_1^5 - 177619/42456*c_1001_1^4 - 669779/127368*c_1001_1^3 - 319747/63684*c_1001_1^2 - 148355/31842*c_1001_1 - 2722/15921, c_0101_8 - 4601/4075776*c_1001_1^10 - 10547/2037888*c_1001_1^9 + 48655/4075776*c_1001_1^8 + 74923/1018944*c_1001_1^7 - 325/254736*c_1001_1^6 - 82919/254736*c_1001_1^5 - 25949/84912*c_1001_1^4 - 10591/63684*c_1001_1^3 - 12973/15921*c_1001_1^2 - 5254/15921*c_1001_1 - 6262/15921, c_1001_1^11 + 6*c_1001_1^10 - 3*c_1001_1^9 - 76*c_1001_1^8 - 108*c_1001_1^7 + 216*c_1001_1^6 + 736*c_1001_1^5 + 992*c_1001_1^4 + 1216*c_1001_1^3 + 1024*c_1001_1^2 + 256*c_1001_1 + 512 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 103107/3904*c_1001_1^10 + 19663/1952*c_1001_1^9 - 286253/3904*c_1001_1^8 - 448975/1952*c_1001_1^7 - 43921/488*c_1001_1^6 + 492573/3904*c_1001_1^5 + 1135331/3904*c_1001_1^4 + 98253/3904*c_1001_1^3 - 751425/3904*c_1001_1^2 - 57261/3904*c_1001_1 + 150107/3904, c_0011_0 - 1, c_0011_10 + 22*c_1001_1^10 - 12*c_1001_1^9 + 61*c_1001_1^8 + 180*c_1001_1^7 + 40*c_1001_1^6 - 137*c_1001_1^5 - 249*c_1001_1^4 + 12*c_1001_1^3 + 179*c_1001_1^2 + 6*c_1001_1 - 38, c_0011_11 + 6*c_1001_1^10 - 4*c_1001_1^9 + 17*c_1001_1^8 + 47*c_1001_1^7 + 5*c_1001_1^6 - 39*c_1001_1^5 - 64*c_1001_1^4 + 13*c_1001_1^3 + 52*c_1001_1^2 - 2*c_1001_1 - 12, c_0011_12 - 2*c_1001_1^10 + c_1001_1^9 - 5*c_1001_1^8 - 17*c_1001_1^7 - 3*c_1001_1^6 + 16*c_1001_1^5 + 23*c_1001_1^4 - 4*c_1001_1^3 - 22*c_1001_1^2 + 7, c_0011_13 - c_1001_1^10 + c_1001_1^9 - 3*c_1001_1^8 - 7*c_1001_1^7 + 2*c_1001_1^6 + 7*c_1001_1^5 + 8*c_1001_1^4 - 6*c_1001_1^3 - 8*c_1001_1^2 + 4*c_1001_1 + 2, c_0011_14 + 1, c_0011_3 - 6*c_1001_1^10 + 4*c_1001_1^9 - 17*c_1001_1^8 - 47*c_1001_1^7 - 5*c_1001_1^6 + 39*c_1001_1^5 + 64*c_1001_1^4 - 13*c_1001_1^3 - 52*c_1001_1^2 + 2*c_1001_1 + 12, c_0011_9 - 2*c_1001_1^10 + 2*c_1001_1^9 - 7*c_1001_1^8 - 13*c_1001_1^7 + 8*c_1001_1^5 + 14*c_1001_1^4 - 11*c_1001_1^3 - 10*c_1001_1^2 + 3*c_1001_1 + 2, c_0101_0 + 22*c_1001_1^10 - 7*c_1001_1^9 + 62*c_1001_1^8 + 195*c_1001_1^7 + 92*c_1001_1^6 - 88*c_1001_1^5 - 240*c_1001_1^4 - 36*c_1001_1^3 + 146*c_1001_1^2 + 18*c_1001_1 - 28, c_0101_1 + 28*c_1001_1^10 - 6*c_1001_1^9 + 77*c_1001_1^8 + 258*c_1001_1^7 + 139*c_1001_1^6 - 104*c_1001_1^5 - 312*c_1001_1^4 - 72*c_1001_1^3 + 188*c_1001_1^2 + 33*c_1001_1 - 38, c_0101_10 + 10*c_1001_1^10 - 6*c_1001_1^9 + 28*c_1001_1^8 + 80*c_1001_1^7 + 14*c_1001_1^6 - 65*c_1001_1^5 - 111*c_1001_1^4 + 10*c_1001_1^3 + 82*c_1001_1^2 + 2*c_1001_1 - 18, c_0101_13 - c_1001_1^10 + c_1001_1^9 - 4*c_1001_1^8 - 6*c_1001_1^7 - 2*c_1001_1^6 + c_1001_1^5 + 6*c_1001_1^4 - 5*c_1001_1^3 - 2*c_1001_1^2 - c_1001_1, c_0101_7 - c_1001_1^10 + c_1001_1^9 - 3*c_1001_1^8 - 7*c_1001_1^7 + 2*c_1001_1^6 + 7*c_1001_1^5 + 8*c_1001_1^4 - 6*c_1001_1^3 - 8*c_1001_1^2 + 4*c_1001_1 + 2, c_0101_8 - 29*c_1001_1^10 + 7*c_1001_1^9 - 80*c_1001_1^8 - 265*c_1001_1^7 - 137*c_1001_1^6 + 111*c_1001_1^5 + 320*c_1001_1^4 + 66*c_1001_1^3 - 196*c_1001_1^2 - 31*c_1001_1 + 40, c_1001_1^11 - c_1001_1^10 + 3*c_1001_1^9 + 7*c_1001_1^8 - 2*c_1001_1^7 - 7*c_1001_1^6 - 8*c_1001_1^5 + 6*c_1001_1^4 + 8*c_1001_1^3 - 4*c_1001_1^2 - 2*c_1001_1 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 10090664/129*c_1001_1^10 + 940044/43*c_1001_1^9 - 44954/129*c_1001_1^8 + 3047387/129*c_1001_1^7 + 1866398/43*c_1001_1^6 + 3799282/129*c_1001_1^5 - 5862365/129*c_1001_1^4 - 7237198/129*c_1001_1^3 - 473082/43*c_1001_1^2 + 3311983/129*c_1001_1 + 259348/43, c_0011_0 - 1, c_0011_10 + 84/43*c_1001_1^10 - 28/43*c_1001_1^9 + 61/43*c_1001_1^8 + 58/43*c_1001_1^7 - 6/43*c_1001_1^6 + 45/43*c_1001_1^5 - 13/43*c_1001_1^4 - 30/43*c_1001_1^3 + 9/43*c_1001_1^2 - 26/43*c_1001_1 - 20/43, c_0011_11 + 512/43*c_1001_1^10 + 288/43*c_1001_1^9 - 136/43*c_1001_1^8 + 116/43*c_1001_1^7 + 246/43*c_1001_1^6 + 133/43*c_1001_1^5 - 327/43*c_1001_1^4 - 576/43*c_1001_1^3 - 154/43*c_1001_1^2 + 206/43*c_1001_1 + 132/43, c_0011_12 + 4*c_1001_1^9 - 3*c_1001_1^7 + c_1001_1^6 + 2*c_1001_1^5 - 4*c_1001_1^3 - 3*c_1001_1^2 + 2*c_1001_1 + 2, c_0011_13 + 4*c_1001_1^10 - 3*c_1001_1^8 + c_1001_1^7 + 2*c_1001_1^6 - 4*c_1001_1^4 - 3*c_1001_1^3 + 2*c_1001_1^2 + 3*c_1001_1, c_0011_14 - 204/43*c_1001_1^10 - 104/43*c_1001_1^9 + 73/43*c_1001_1^8 - 61/43*c_1001_1^7 - 96/43*c_1001_1^6 - 54/43*c_1001_1^5 + 179/43*c_1001_1^4 + 208/43*c_1001_1^3 + 15/43*c_1001_1^2 - 72/43*c_1001_1 - 62/43, c_0011_3 + 4*c_1001_1^10 + c_1001_1^8 + c_1001_1^7 - c_1001_1^6 + c_1001_1^5 - 2*c_1001_1^4 - 3*c_1001_1^3 - 2*c_1001_1^2 + 2, c_0011_9 - 248/43*c_1001_1^10 - 204/43*c_1001_1^9 + 82/43*c_1001_1^8 + 11/43*c_1001_1^7 - 185/43*c_1001_1^6 - 96/43*c_1001_1^5 + 194/43*c_1001_1^4 + 365/43*c_1001_1^3 + 84/43*c_1001_1^2 - 128/43*c_1001_1 - 72/43, c_0101_0 + 204/43*c_1001_1^10 + 104/43*c_1001_1^9 - 73/43*c_1001_1^8 + 61/43*c_1001_1^7 + 96/43*c_1001_1^6 + 54/43*c_1001_1^5 - 179/43*c_1001_1^4 - 208/43*c_1001_1^3 - 15/43*c_1001_1^2 + 72/43*c_1001_1 + 62/43, c_0101_1 + 248/43*c_1001_1^10 + 204/43*c_1001_1^9 - 82/43*c_1001_1^8 - 11/43*c_1001_1^7 + 185/43*c_1001_1^6 + 96/43*c_1001_1^5 - 194/43*c_1001_1^4 - 365/43*c_1001_1^3 - 84/43*c_1001_1^2 + 128/43*c_1001_1 + 72/43, c_0101_10 + 36/43*c_1001_1^10 + 160/43*c_1001_1^9 - 23/43*c_1001_1^8 - 55/43*c_1001_1^7 + 151/43*c_1001_1^6 + 7/43*c_1001_1^5 - 24/43*c_1001_1^4 - 105/43*c_1001_1^3 - 76/43*c_1001_1^2 + 38/43*c_1001_1 + 16/43, c_0101_13 + c_1001_1, c_0101_7 + 76/43*c_1001_1^10 + 204/43*c_1001_1^9 + 47/43*c_1001_1^8 - 54/43*c_1001_1^7 + 99/43*c_1001_1^6 + 96/43*c_1001_1^5 - 22/43*c_1001_1^4 - 236/43*c_1001_1^3 - 170/43*c_1001_1^2 + 85/43*c_1001_1 + 72/43, c_0101_8 - 76/43*c_1001_1^10 - 204/43*c_1001_1^9 - 47/43*c_1001_1^8 + 54/43*c_1001_1^7 - 99/43*c_1001_1^6 - 96/43*c_1001_1^5 + 22/43*c_1001_1^4 + 236/43*c_1001_1^3 + 170/43*c_1001_1^2 - 85/43*c_1001_1 - 72/43, c_1001_1^11 - 3/4*c_1001_1^9 + 1/4*c_1001_1^8 + 1/2*c_1001_1^7 - c_1001_1^5 - 3/4*c_1001_1^4 + 1/2*c_1001_1^3 + 3/4*c_1001_1^2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 53.630 Total time: 53.829 seconds, Total memory usage: 243.19MB