Magma V2.19-8 Tue Sep 10 2013 17:59:17 on localhost [Seed = 3284010942] Type ? for help. Type -D to quit. Loading file "11_118__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_118 geometric_solution 14.69336001 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 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 0 -1 1 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487633164372 0.620695783823 0 4 5 5 0132 0132 0213 0132 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 -1 1 0 0 0 1 -1 -11 11 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608672124216 0.498111244965 6 0 4 7 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501382854791 1.348775111466 8 7 9 0 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.217344248432 0.996222489929 10 1 0 2 0132 0132 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 -1 0 0 0 0 0 -1 1 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.024733671255 1.241391567646 11 1 1 10 0132 0213 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 -1 0 1 -1 0 1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975266328745 1.241391567646 2 10 12 11 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241132567930 0.652271205098 13 3 2 9 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368659182998 0.331798106161 3 12 11 14 0132 0132 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525004657767 0.442366674309 14 13 7 3 0132 0132 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 0 0 0 0 0 0 0 0 -12 11 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367908825722 0.831065269234 4 6 5 11 0132 0132 0132 0321 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 -1 1 0 0 0 0 -11 11 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.016043482083 0.805227948893 5 10 6 8 0132 0321 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 -1 0 1 1 0 -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.217344248432 0.996222489929 14 8 15 6 1023 0132 0132 0132 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 0 0 0 -1 0 0 1 12 -1 0 -11 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151606574987 1.028620541774 7 9 15 15 0132 0132 2103 2031 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 1 -1 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818645873108 0.946865423698 9 12 8 15 0132 1023 0132 0132 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 1 -1 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178352697788 1.050203228597 13 13 14 12 2103 1302 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 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.818645873108 0.946865423698 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0101_6'], 'c_1001_14' : d['c_0101_12'], 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_0011_15'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_15'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_15'], 'c_1001_8' : d['c_1001_6'], 'c_1010_13' : d['c_0011_15'], 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_1001_6'], 'c_1010_15' : d['c_0101_12'], 'c_1010_14' : d['c_0101_6'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_15' : d['c_0101_13'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_12'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1100_11'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_14' : d['c_1100_11'], 's_0_15' : d['1'], 'c_1100_15' : d['c_1100_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_1001_10'], 'c_1100_13' : negation(d['c_0101_12']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_15'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_1'], 's_3_15' : d['1'], 'c_1010_9' : d['c_0011_15'], 'c_1010_8' : d['c_0101_12'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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_1100_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : d['c_0101_6'], 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0101_13'], 'c_1010_4' : d['c_1001_1'], 'c_0011_7' : negation(d['c_0011_12']), 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_14'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_13'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_15' : d['1'], '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_14'], 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_13'], 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_15, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_6, c_1001_0, c_1001_1, c_1001_10, c_1001_6, c_1100_0, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 79753/876400*c_1100_11^7 - 359449/1752800*c_1100_11^6 + 1055939/1752800*c_1100_11^5 - 524557/876400*c_1100_11^4 + 2109057/1752800*c_1100_11^3 - 515723/876400*c_1100_11^2 + 83213/109550*c_1100_11 - 6817/54775, c_0011_0 - 1, c_0011_11 + 9/40*c_1100_11^7 - 19/40*c_1100_11^6 + 31/20*c_1100_11^5 - 51/40*c_1100_11^4 + 5/2*c_1100_11^3 + 1/10*c_1100_11^2 + 7/5*c_1100_11 + 6/5, c_0011_12 - 1, c_0011_15 + 1/10*c_1100_11^7 - 7/20*c_1100_11^6 + 21/20*c_1100_11^5 - 19/10*c_1100_11^4 + 11/4*c_1100_11^3 - 29/10*c_1100_11^2 + 12/5*c_1100_11 - 9/5, c_0101_0 - 9/40*c_1100_11^7 + 19/40*c_1100_11^6 - 31/20*c_1100_11^5 + 51/40*c_1100_11^4 - 5/2*c_1100_11^3 - 1/10*c_1100_11^2 - 7/5*c_1100_11 - 11/5, c_0101_10 - 1, c_0101_12 - 1/20*c_1100_11^7 - 1/5*c_1100_11^6 + 7/20*c_1100_11^5 - 31/20*c_1100_11^4 + 5/4*c_1100_11^3 - 14/5*c_1100_11^2 + 4/5*c_1100_11 - 8/5, c_0101_13 + 1/40*c_1100_11^7 - 1/40*c_1100_11^6 + 1/5*c_1100_11^5 + 1/40*c_1100_11^4 + 3/4*c_1100_11^3 + 9/10*c_1100_11^2 + 3/5*c_1100_11 + 9/5, c_0101_14 - 1/5*c_1100_11^7 + 9/20*c_1100_11^6 - 27/20*c_1100_11^5 + 13/10*c_1100_11^4 - 7/4*c_1100_11^3 + 4/5*c_1100_11^2 - 4/5*c_1100_11 + 8/5, c_0101_6 - 7/40*c_1100_11^7 + 17/40*c_1100_11^6 - 23/20*c_1100_11^5 + 53/40*c_1100_11^4 - 2*c_1100_11^3 + 17/10*c_1100_11^2 - 6/5*c_1100_11 + 7/5, c_1001_0 + c_1100_11, c_1001_1 + 1/10*c_1100_11^7 - 7/20*c_1100_11^6 + 21/20*c_1100_11^5 - 19/10*c_1100_11^4 + 11/4*c_1100_11^3 - 29/10*c_1100_11^2 + 12/5*c_1100_11 - 9/5, c_1001_10 - 1/10*c_1100_11^7 + 7/20*c_1100_11^6 - 21/20*c_1100_11^5 + 19/10*c_1100_11^4 - 11/4*c_1100_11^3 + 29/10*c_1100_11^2 - 12/5*c_1100_11 + 9/5, c_1001_6 + 1/40*c_1100_11^7 - 1/40*c_1100_11^6 + 1/5*c_1100_11^5 + 1/40*c_1100_11^4 + 3/4*c_1100_11^3 - 1/10*c_1100_11^2 + 8/5*c_1100_11 - 1/5, c_1100_0 - 1/40*c_1100_11^7 + 1/40*c_1100_11^6 - 1/5*c_1100_11^5 - 1/40*c_1100_11^4 - 3/4*c_1100_11^3 + 1/10*c_1100_11^2 - 8/5*c_1100_11 + 1/5, c_1100_11^8 - 3*c_1100_11^7 + 10*c_1100_11^6 - 15*c_1100_11^5 + 28*c_1100_11^4 - 24*c_1100_11^3 + 32*c_1100_11^2 - 16*c_1100_11 + 16 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_15, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_6, c_1001_0, c_1001_1, c_1001_10, c_1001_6, c_1100_0, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 3173452488724351/7805985330868224*c_1100_11^10 + 3110283548326859/2601995110289408*c_1100_11^9 + 10139830304156141/3902992665434112*c_1100_11^8 + 53057765552213377/7805985330868224*c_1100_11^7 + 52329751239857311/7805985330868224*c_1100_11^6 + 22587631673271487/1951496332717056*c_1100_11^5 + 23385556220581939/2601995110289408*c_1100_11^4 + 53514841117588793/7805985330868224*c_1100_11^3 + 703666677065029/121968520794816*c_1100_11^2 + 5993199987071587/7805985330868224*c_1100_11 + 3704755611788495/3902992665434112, c_0011_0 - 1, c_0011_11 - 2099/1464*c_1100_11^10 - 695/488*c_1100_11^9 - 3541/732*c_1100_11^8 - 21485/1464*c_1100_11^7 + 6469/1464*c_1100_11^6 - 16481/366*c_1100_11^5 + 11369/488*c_1100_11^4 - 75037/1464*c_1100_11^3 + 3635/183*c_1100_11^2 - 27575/1464*c_1100_11 + 3257/732, c_0011_12 - 152/183*c_1100_11^10 - 41/61*c_1100_11^9 - 422/183*c_1100_11^8 - 1382/183*c_1100_11^7 + 943/183*c_1100_11^6 - 4274/183*c_1100_11^5 + 1028/61*c_1100_11^4 - 4498/183*c_1100_11^3 + 2017/183*c_1100_11^2 - 1187/183*c_1100_11 + 82/183, c_0011_15 + 23/61*c_1100_11^10 + 15/61*c_1100_11^9 + 47/61*c_1100_11^8 + 173/61*c_1100_11^7 - 237/61*c_1100_11^6 + 487/61*c_1100_11^5 - 632/61*c_1100_11^4 + 370/61*c_1100_11^3 - 487/61*c_1100_11^2 - 7/61*c_1100_11 - 132/61, c_0101_0 + 2099/1464*c_1100_11^10 + 695/488*c_1100_11^9 + 3541/732*c_1100_11^8 + 21485/1464*c_1100_11^7 - 6469/1464*c_1100_11^6 + 16481/366*c_1100_11^5 - 11369/488*c_1100_11^4 + 75037/1464*c_1100_11^3 - 3635/183*c_1100_11^2 + 27575/1464*c_1100_11 - 3989/732, c_0101_10 - 1, c_0101_12 + 683/1464*c_1100_11^10 + 175/488*c_1100_11^9 + 853/732*c_1100_11^8 + 5933/1464*c_1100_11^7 - 5245/1464*c_1100_11^6 + 4307/366*c_1100_11^5 - 4913/488*c_1100_11^4 + 15085/1464*c_1100_11^3 - 1025/183*c_1100_11^2 + 1463/1464*c_1100_11 - 53/732, c_0101_13 + 2015/1464*c_1100_11^10 + 507/488*c_1100_11^9 + 3121/732*c_1100_11^8 + 18689/1464*c_1100_11^7 - 11905/1464*c_1100_11^6 + 15917/366*c_1100_11^5 - 16445/488*c_1100_11^4 + 77473/1464*c_1100_11^3 - 5366/183*c_1100_11^2 + 28619/1464*c_1100_11 - 4289/732, c_0101_14 - 45/488*c_1100_11^10 - 459/488*c_1100_11^9 - 347/244*c_1100_11^8 - 1707/488*c_1100_11^7 - 4045/488*c_1100_11^6 - 93/122*c_1100_11^5 - 8611/488*c_1100_11^4 + 1549/488*c_1100_11^3 - 716/61*c_1100_11^2 + 263/488*c_1100_11 - 213/244, c_0101_6 + 483/488*c_1100_11^10 + 437/488*c_1100_11^9 + 829/244*c_1100_11^8 + 4853/488*c_1100_11^7 - 1805/488*c_1100_11^6 + 3975/122*c_1100_11^5 - 9795/488*c_1100_11^4 + 19421/488*c_1100_11^3 - 1103/61*c_1100_11^2 + 7783/488*c_1100_11 - 837/244, c_1001_0 + c_1100_11, c_1001_1 + 7/1464*c_1100_11^10 + 219/488*c_1100_11^9 + 401/732*c_1100_11^8 + 2185/1464*c_1100_11^7 + 6919/1464*c_1100_11^6 - 197/366*c_1100_11^5 + 6035/488*c_1100_11^4 - 4351/1464*c_1100_11^3 + 2081/183*c_1100_11^2 - 941/1464*c_1100_11 + 2099/732, c_1001_10 - 7/1464*c_1100_11^10 - 219/488*c_1100_11^9 - 401/732*c_1100_11^8 - 2185/1464*c_1100_11^7 - 6919/1464*c_1100_11^6 + 197/366*c_1100_11^5 - 6035/488*c_1100_11^4 + 4351/1464*c_1100_11^3 - 2081/183*c_1100_11^2 + 941/1464*c_1100_11 - 2099/732, c_1001_6 + 725/1464*c_1100_11^10 + 25/488*c_1100_11^9 + 1063/732*c_1100_11^8 + 5867/1464*c_1100_11^7 - 7651/1464*c_1100_11^6 + 7151/366*c_1100_11^5 - 10183/488*c_1100_11^4 + 43147/1464*c_1100_11^3 - 3728/183*c_1100_11^2 + 22169/1464*c_1100_11 - 3563/732, c_1100_0 - 725/1464*c_1100_11^10 - 25/488*c_1100_11^9 - 1063/732*c_1100_11^8 - 5867/1464*c_1100_11^7 + 7651/1464*c_1100_11^6 - 7151/366*c_1100_11^5 + 10183/488*c_1100_11^4 - 43147/1464*c_1100_11^3 + 3728/183*c_1100_11^2 - 22169/1464*c_1100_11 + 3563/732, c_1100_11^11 + c_1100_11^10 + 4*c_1100_11^9 + 11*c_1100_11^8 - c_1100_11^7 + 38*c_1100_11^6 - 17*c_1100_11^5 + 53*c_1100_11^4 - 18*c_1100_11^3 + 29*c_1100_11^2 - 4*c_1100_11 + 4 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_15, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_6, c_1001_0, c_1001_1, c_1001_10, c_1001_6, c_1100_0, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 892426522105168/312453781*c_1100_11^10 - 218306207530292/312453781*c_1100_11^9 + 6521811770644660/312453781*c_1100_11^8 + 412940554998119/312453781*c_1100_11^7 + 14165693353689843/312453781*c_1100_11^6 + 7019628556185755/312453781*c_1100_11^5 + 8743344489272387/312453781*c_1100_11^4 + 9895524713017173/312453781*c_1100_11^3 + 1804308622474964/312453781*c_1100_11^2 - 2019590771935104/312453781*c_1100_11 + 938998501459718/312453781, c_0011_0 - 1, c_0011_11 - 11048/315929*c_1100_11^10 - 63748/315929*c_1100_11^9 - 66802/315929*c_1100_11^8 - 387435/315929*c_1100_11^7 - 209609/315929*c_1100_11^6 - 625635/315929*c_1100_11^5 - 487045/315929*c_1100_11^4 - 217770/315929*c_1100_11^3 - 290555/315929*c_1100_11^2 - 79724/315929*c_1100_11 + 244329/315929, c_0011_12 + 5089180/13584947*c_1100_11^10 + 1185828/13584947*c_1100_11^9 + 37224031/13584947*c_1100_11^8 + 19549592/13584947*c_1100_11^7 + 88407606/13584947*c_1100_11^6 + 73927159/13584947*c_1100_11^5 + 87904056/13584947*c_1100_11^4 + 73632905/13584947*c_1100_11^3 + 43656878/13584947*c_1100_11^2 - 2387095/13584947*c_1100_11 - 3612676/13584947, c_0011_15 - 7557924/13584947*c_1100_11^10 - 1689060/13584947*c_1100_11^9 - 52007685/13584947*c_1100_11^8 - 28341066/13584947*c_1100_11^7 - 109805629/13584947*c_1100_11^6 - 109195336/13584947*c_1100_11^5 - 85644424/13584947*c_1100_11^4 - 109820454/13584947*c_1100_11^3 - 44507483/13584947*c_1100_11^2 + 14418299/13584947*c_1100_11 + 1017204/13584947, c_0101_0 - 4139052/13584947*c_1100_11^10 + 4296500/13584947*c_1100_11^9 - 31479059/13584947*c_1100_11^8 + 13769818/13584947*c_1100_11^7 - 70381232/13584947*c_1100_11^6 - 20122549/13584947*c_1100_11^5 - 46018186/13584947*c_1100_11^4 - 54904685/13584947*c_1100_11^3 - 18669148/13584947*c_1100_11^2 + 9243359/13584947*c_1100_11 - 3814671/13584947, c_0101_10 + 5089180/13584947*c_1100_11^10 + 1185828/13584947*c_1100_11^9 + 37224031/13584947*c_1100_11^8 + 19549592/13584947*c_1100_11^7 + 88407606/13584947*c_1100_11^6 + 73927159/13584947*c_1100_11^5 + 87904056/13584947*c_1100_11^4 + 73632905/13584947*c_1100_11^3 + 43656878/13584947*c_1100_11^2 - 2387095/13584947*c_1100_11 - 3612676/13584947, c_0101_12 - 8388208/13584947*c_1100_11^10 + 230812/13584947*c_1100_11^9 - 62854288/13584947*c_1100_11^8 - 16443825/13584947*c_1100_11^7 - 144933898/13584947*c_1100_11^6 - 92223289/13584947*c_1100_11^5 - 109921574/13584947*c_1100_11^4 - 115591681/13584947*c_1100_11^3 - 38354626/13584947*c_1100_11^2 + 3559573/13584947*c_1100_11 - 4120529/13584947, c_0101_13 - 5850112/13584947*c_1100_11^10 - 2463856/13584947*c_1100_11^9 - 46031616/13584947*c_1100_11^8 - 28022084/13584947*c_1100_11^7 - 118009380/13584947*c_1100_11^6 - 100372074/13584947*c_1100_11^5 - 118345282/13584947*c_1100_11^4 - 111322902/13584947*c_1100_11^3 - 64709890/13584947*c_1100_11^2 + 2038122/13584947*c_1100_11 - 3980957/13584947, c_0101_14 - 5375048/13584947*c_1100_11^10 + 277308/13584947*c_1100_11^9 - 43159130/13584947*c_1100_11^8 - 11362379/13584947*c_1100_11^7 - 108996193/13584947*c_1100_11^6 - 73469769/13584947*c_1100_11^5 - 97402347/13584947*c_1100_11^4 - 101958792/13584947*c_1100_11^3 - 52216025/13584947*c_1100_11^2 + 5466254/13584947*c_1100_11 - 902157/13584947, c_0101_6 - 7202380/13584947*c_1100_11^10 + 558288/13584947*c_1100_11^9 - 54755351/13584947*c_1100_11^8 - 9463099/13584947*c_1100_11^7 - 130804604/13584947*c_1100_11^6 - 64117098/13584947*c_1100_11^5 - 104992599/13584947*c_1100_11^4 - 82523461/13584947*c_1100_11^3 - 31835656/13584947*c_1100_11^2 + 10987254/13584947*c_1100_11 - 5392824/13584947, c_1001_0 + c_1100_11, c_1001_1 + 286400/315929*c_1100_11^10 - 11048/315929*c_1100_11^9 + 2012652/315929*c_1100_11^8 + 577598/315929*c_1100_11^7 + 4194965/315929*c_1100_11^6 + 3155591/315929*c_1100_11^5 + 2739565/315929*c_1100_11^4 + 3379355/315929*c_1100_11^3 + 1142630/315929*c_1100_11^2 - 791755/315929*c_1100_11 + 63476/315929, c_1001_10 + 7557924/13584947*c_1100_11^10 + 1689060/13584947*c_1100_11^9 + 52007685/13584947*c_1100_11^8 + 28341066/13584947*c_1100_11^7 + 109805629/13584947*c_1100_11^6 + 109195336/13584947*c_1100_11^5 + 85644424/13584947*c_1100_11^4 + 109820454/13584947*c_1100_11^3 + 44507483/13584947*c_1100_11^2 - 14418299/13584947*c_1100_11 - 1017204/13584947, c_1001_6 - 4757276/13584947*c_1100_11^10 + 2164124/13584947*c_1100_11^9 - 34536351/13584947*c_1100_11^8 + 3504352/13584947*c_1100_11^7 - 70577866/13584947*c_1100_11^6 - 26495077/13584947*c_1100_11^5 - 32156871/13584947*c_1100_11^4 - 35491811/13584947*c_1100_11^3 - 4625607/13584947*c_1100_11^2 + 19627166/13584947*c_1100_11 - 3746672/13584947, c_1100_0 + 4757276/13584947*c_1100_11^10 - 2164124/13584947*c_1100_11^9 + 34536351/13584947*c_1100_11^8 - 3504352/13584947*c_1100_11^7 + 70577866/13584947*c_1100_11^6 + 26495077/13584947*c_1100_11^5 + 32156871/13584947*c_1100_11^4 + 35491811/13584947*c_1100_11^3 + 4625607/13584947*c_1100_11^2 - 19627166/13584947*c_1100_11 + 3746672/13584947, c_1100_11^11 + 29/4*c_1100_11^9 + 9/4*c_1100_11^8 + 16*c_1100_11^7 + 47/4*c_1100_11^6 + 47/4*c_1100_11^5 + 27/2*c_1100_11^4 + 19/4*c_1100_11^3 - 7/4*c_1100_11^2 + 1/2*c_1100_11 + 1/4 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_15, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_6, c_1001_0, c_1001_1, c_1001_10, c_1001_6, c_1100_0, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 109068659/2155008*c_1100_11^10 + 59401991/718336*c_1100_11^9 + 243566413/1077504*c_1100_11^8 + 1438206317/2155008*c_1100_11^7 + 559093547/2155008*c_1100_11^6 + 950738033/538752*c_1100_11^5 + 195847975/718336*c_1100_11^4 + 3968968093/2155008*c_1100_11^3 + 168562813/269376*c_1100_11^2 + 1336681655/2155008*c_1100_11 + 532678039/1077504, c_0011_0 - 1, c_0011_11 + 325/732*c_1100_11^10 + 129/244*c_1100_11^9 + 527/366*c_1100_11^8 + 3463/732*c_1100_11^7 - 527/732*c_1100_11^6 + 2278/183*c_1100_11^5 - 787/244*c_1100_11^4 + 8387/732*c_1100_11^3 - 143/183*c_1100_11^2 + 2113/732*c_1100_11 + 359/366, c_0011_12 - 1, c_0011_15 + 7/1464*c_1100_11^10 + 219/488*c_1100_11^9 + 401/732*c_1100_11^8 + 2185/1464*c_1100_11^7 + 6919/1464*c_1100_11^6 - 197/366*c_1100_11^5 + 6035/488*c_1100_11^4 - 4351/1464*c_1100_11^3 + 2081/183*c_1100_11^2 - 941/1464*c_1100_11 + 2099/732, c_0101_0 - 7/122*c_1100_11^10 - 47/122*c_1100_11^9 - 35/61*c_1100_11^8 - 233/122*c_1100_11^7 - 453/122*c_1100_11^6 - 94/61*c_1100_11^5 - 1269/122*c_1100_11^4 + 203/122*c_1100_11^3 - 577/61*c_1100_11^2 + 87/122*c_1100_11 - 86/61, c_0101_10 - 152/183*c_1100_11^10 - 41/61*c_1100_11^9 - 422/183*c_1100_11^8 - 1382/183*c_1100_11^7 + 943/183*c_1100_11^6 - 4274/183*c_1100_11^5 + 1028/61*c_1100_11^4 - 4498/183*c_1100_11^3 + 2017/183*c_1100_11^2 - 1187/183*c_1100_11 + 82/183, c_0101_12 + 683/1464*c_1100_11^10 + 175/488*c_1100_11^9 + 853/732*c_1100_11^8 + 5933/1464*c_1100_11^7 - 5245/1464*c_1100_11^6 + 4307/366*c_1100_11^5 - 4913/488*c_1100_11^4 + 15085/1464*c_1100_11^3 - 1025/183*c_1100_11^2 + 1463/1464*c_1100_11 - 53/732, c_0101_13 - 701/1464*c_1100_11^10 - 529/488*c_1100_11^9 - 1675/732*c_1100_11^8 - 9251/1464*c_1100_11^7 - 5645/1464*c_1100_11^6 - 4271/366*c_1100_11^5 - 1961/488*c_1100_11^4 - 14563/1464*c_1100_11^3 - 274/183*c_1100_11^2 - 4481/1464*c_1100_11 + 407/732, c_0101_14 - 45/488*c_1100_11^10 - 459/488*c_1100_11^9 - 347/244*c_1100_11^8 - 1707/488*c_1100_11^7 - 4045/488*c_1100_11^6 - 93/122*c_1100_11^5 - 8611/488*c_1100_11^4 + 1549/488*c_1100_11^3 - 716/61*c_1100_11^2 + 263/488*c_1100_11 - 213/244, c_0101_6 - 133/732*c_1100_11^10 - 257/244*c_1100_11^9 - 665/366*c_1100_11^8 - 3451/732*c_1100_11^7 - 6289/732*c_1100_11^6 - 832/183*c_1100_11^5 - 4377/244*c_1100_11^4 - 47/732*c_1100_11^3 - 2584/183*c_1100_11^2 + 311/732*c_1100_11 - 719/366, c_1001_0 + c_1100_11, c_1001_1 + 7/1464*c_1100_11^10 + 219/488*c_1100_11^9 + 401/732*c_1100_11^8 + 2185/1464*c_1100_11^7 + 6919/1464*c_1100_11^6 - 197/366*c_1100_11^5 + 6035/488*c_1100_11^4 - 4351/1464*c_1100_11^3 + 2081/183*c_1100_11^2 - 941/1464*c_1100_11 + 2099/732, c_1001_10 - 23/61*c_1100_11^10 - 15/61*c_1100_11^9 - 47/61*c_1100_11^8 - 173/61*c_1100_11^7 + 237/61*c_1100_11^6 - 487/61*c_1100_11^5 + 632/61*c_1100_11^4 - 370/61*c_1100_11^3 + 487/61*c_1100_11^2 + 7/61*c_1100_11 + 132/61, c_1001_6 - 559/1464*c_1100_11^10 - 339/488*c_1100_11^9 - 965/732*c_1100_11^8 - 6337/1464*c_1100_11^7 - 1231/1464*c_1100_11^6 - 2725/366*c_1100_11^5 - 979/488*c_1100_11^4 - 4529/1464*c_1100_11^3 - 620/183*c_1100_11^2 + 1109/1464*c_1100_11 - 515/732, c_1100_0 + 559/1464*c_1100_11^10 + 339/488*c_1100_11^9 + 965/732*c_1100_11^8 + 6337/1464*c_1100_11^7 + 1231/1464*c_1100_11^6 + 2725/366*c_1100_11^5 + 979/488*c_1100_11^4 + 4529/1464*c_1100_11^3 + 620/183*c_1100_11^2 - 1109/1464*c_1100_11 + 515/732, c_1100_11^11 + c_1100_11^10 + 4*c_1100_11^9 + 11*c_1100_11^8 - c_1100_11^7 + 38*c_1100_11^6 - 17*c_1100_11^5 + 53*c_1100_11^4 - 18*c_1100_11^3 + 29*c_1100_11^2 - 4*c_1100_11 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 39.460 Total time: 39.649 seconds, Total memory usage: 786.41MB