Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 4139215421] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1593 geometric_solution 5.36178369 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.655091065831 0.187853087899 0 2 2 0 3201 0132 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 1 0 -1 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 1.416268272614 0.575068240769 3 1 1 4 0132 0132 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 -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.202173978699 0.470999986548 2 5 4 6 0132 0132 1302 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 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.277514443211 0.652642383938 3 6 2 5 2031 2310 0132 2310 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 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.277514443211 0.652642383938 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 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 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.448233540368 1.297612381626 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533714197263 0.895728776546 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_1_6' : 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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 205903272156583976520475704/10262355248314248090493975*c_0101_5^25 - 9541188787825676155765878049/10262355248314248090493975*c_0101_5^23 + 135409278755839647839682354483/10262355248314248090493975*c_0101_\ 5^21 - 651422119081435215759962094402/10262355248314248090493975*c_\ 0101_5^19 + 22082434498544693398983580841/2052471049662849618098795\ *c_0101_5^17 + 3493829998366304949168420012352/10262355248314248090\ 493975*c_0101_5^15 - 218926386580091890755568253962/102623552483142\ 48090493975*c_0101_5^13 - 4762605206859265534043436049709/102623552\ 48314248090493975*c_0101_5^11 + 2036062563595144121275619544047/102\ 62355248314248090493975*c_0101_5^9 + 517574270225222895999862124269/10262355248314248090493975*c_0101_5^\ 7 - 173078858444420922101356664632/10262355248314248090493975*c_010\ 1_5^5 - 39540045983767059047133683786/10262355248314248090493975*c_\ 0101_5^3 - 274849662302970933587119422/10262355248314248090493975*c\ _0101_5, c_0011_0 - 1, c_0011_1 - 450220402215194041044378/410494209932569923619759*c_0101_5^2\ 4 + 20801881760035423775522767/410494209932569923619759*c_0101_5^22 - 293281272326483888260437999/410494209932569923619759*c_0101_5^20 + 1384801598944415085636887323/410494209932569923619759*c_0101_5^18 - 53095961653072074800654346/410494209932569923619759*c_0101_5^16 - 7658091242907544100848369763/410494209932569923619759*c_0101_5^14 - 541811493836684381424273171/410494209932569923619759*c_0101_5^12 + 10396202773693455605189209807/410494209932569923619759*c_0101_5^10 - 3100074869542146334891266496/410494209932569923619759*c_0101_5^8 - 1641134909078046184752207313/410494209932569923619759*c_0101_5^6 + 235050456972184085743191333/410494209932569923619759*c_0101_5^4 + 125788546043470185047000731/410494209932569923619759*c_0101_5^2 + 10279681485451309983820454/410494209932569923619759, c_0011_4 + 246547484024933935824378/410494209932569923619759*c_0101_5^2\ 4 - 11381147791995036950792057/410494209932569923619759*c_0101_5^22 + 160128365502347366824144599/410494209932569923619759*c_0101_5^20 - 751549183895837886047259122/410494209932569923619759*c_0101_5^18 - 3839294364579709511474887/410494209932569923619759*c_0101_5^16 + 4200677721494685135747896553/410494209932569923619759*c_0101_5^14 + 473906822526433012624282087/410494209932569923619759*c_0101_5^12 - 5715101734957881822977572258/410494209932569923619759*c_0101_5^10 + 1442634865144480489996654371/410494209932569923619759*c_0101_5^8 + 1010133333513585471188425933/410494209932569923619759*c_0101_5^6 - 89174764139855679195080807/410494209932569923619759*c_0101_5^4 - 82646375262579105262580154/410494209932569923619759*c_0101_5^2 - 8360645654603402080445471/410494209932569923619759, c_0011_6 - 244953697744308259567392/410494209932569923619759*c_0101_5^2\ 4 + 11296092857495889577659982/410494209932569923619759*c_0101_5^22 - 158562443385559731300354959/410494209932569923619759*c_0101_5^20 + 739197955184053012474445041/410494209932569923619759*c_0101_5^18 + 39358441973512966442159804/410494209932569923619759*c_0101_5^16 - 4176497639612312676283173483/410494209932569923619759*c_0101_5^14 - 662345692250774033827249886/410494209932569923619759*c_0101_5^12 + 5669709060161888121107411507/410494209932569923619759*c_0101_5^10 - 1189514509720586829567987145/410494209932569923619759*c_0101_5^8 - 1097374088369499485909606176/410494209932569923619759*c_0101_5^6 + 73243288997683413143374784/410494209932569923619759*c_0101_5^4 + 86543186170715720181837988/410494209932569923619759*c_0101_5^2 + 9083449468475067906499626/410494209932569923619759, c_0101_0 + 6729627716760243139051162/410494209932569923619759*c_0101_5^\ 25 - 310692572592300647254201790/410494209932569923619759*c_0101_5^\ 23 + 4372575752385513022429831151/410494209932569923619759*c_0101_5\ ^21 - 20539270919705592234490520514/410494209932569923619759*c_0101\ _5^19 + 15189810815032476334947539/410494209932569923619759*c_0101_\ 5^17 + 114659548734374699527204999889/410494209932569923619759*c_01\ 01_5^15 + 12227694078002601540383635680/410494209932569923619759*c_\ 0101_5^13 - 156014732613549380514760783201/410494209932569923619759\ *c_0101_5^11 + 40535979795482040368725461444/4104942099325699236197\ 59*c_0101_5^9 + 27300304433076184741350985928/410494209932569923619\ 759*c_0101_5^7 - 2890089305974594072795314620/410494209932569923619\ 759*c_0101_5^5 - 2132031650347499431573985837/410494209932569923619\ 759*c_0101_5^3 - 200094719504784235785542017/4104942099325699236197\ 59*c_0101_5, c_0101_2 + 2520196229644123856322977/410494209932569923619759*c_0101_5^\ 25 - 116365622558407152284215613/410494209932569923619759*c_0101_5^\ 23 + 1638123742557961185665226392/410494209932569923619759*c_0101_5\ ^21 - 7700664946802154358516128830/410494209932569923619759*c_0101_\ 5^19 + 47925133599499504582846973/410494209932569923619759*c_0101_5\ ^17 + 42934641294145282359954083858/410494209932569923619759*c_0101\ _5^15 + 4349244060846044439206111236/410494209932569923619759*c_010\ 1_5^13 - 58426178579552197588310982045/410494209932569923619759*c_0\ 101_5^11 + 15492673667804086730315508577/410494209932569923619759*c\ _0101_5^9 + 10105789453243578145450899338/410494209932569923619759*\ c_0101_5^7 - 1124634977644230842704220398/410494209932569923619759*\ c_0101_5^5 - 785398727332606965762392041/410494209932569923619759*c\ _0101_5^3 - 72231083749846554850397484/410494209932569923619759*c_0\ 101_5, c_0101_5^26 - 46*c_0101_5^24 + 642*c_0101_5^22 - 2943*c_0101_5^20 - 510*c_0101_5^18 + 17038*c_0101_5^16 + 4677*c_0101_5^14 - 22876*c_0101_5^12 + 2133*c_0101_5^10 + 5066*c_0101_5^8 + 252*c_0101_5^6 - 389*c_0101_5^4 - 83*c_0101_5^2 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB