Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 543276279] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1551 geometric_solution 5.34216764 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 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.659508263936 0.195376143244 0 2 2 0 3201 0132 1023 0132 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 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 1.401903979784 0.598913098506 3 1 1 4 0132 0132 1023 0132 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 1 0 -1 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.211567382781 0.445032546280 2 4 6 5 0132 2310 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 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.019120183419 1.029632689031 6 5 2 3 1023 2310 0132 3201 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 0 0 1 -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 0.019120183419 1.029632689031 5 5 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 -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.988664368044 1.049063440374 6 4 6 3 2031 1023 1302 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 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.476296097316 0.494064291515 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_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' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4309909260163116249389/117574610041105105756*c_0101_3^13 + 3616249116403575099955/16796372863015015108*c_0101_3^12 + 289298279132277388829/29393652510276276439*c_0101_3^11 - 280064483717968921731093/58787305020552552878*c_0101_3^10 - 1352329469602005742198643/58787305020552552878*c_0101_3^9 - 6538666648029897981693585/117574610041105105756*c_0101_3^8 - 122612759768670323090637/1488286203051963364*c_0101_3^7 - 4229208423326974838261613/58787305020552552878*c_0101_3^6 - 237035171298073155303923/29393652510276276439*c_0101_3^5 + 1647853917311801632381297/29393652510276276439*c_0101_3^4 + 7068617598186138177569299/117574610041105105756*c_0101_3^3 + 3686917468689005524136609/117574610041105105756*c_0101_3^2 + 538694281010246783332201/58787305020552552878*c_0101_3 + 105933963519275302432153/117574610041105105756, c_0011_0 - 1, c_0011_1 + 1969971407919216/53153078680427263*c_0101_3^13 + 10545862217077342/53153078680427263*c_0101_3^12 - 4915878713542068/53153078680427263*c_0101_3^11 - 253140343785378589/53153078680427263*c_0101_3^10 - 1104342555507154941/53153078680427263*c_0101_3^9 - 2420699860330000126/53153078680427263*c_0101_3^8 - 3203007238567374059/53153078680427263*c_0101_3^7 - 2282953494531190734/53153078680427263*c_0101_3^6 + 643248928774266300/53153078680427263*c_0101_3^5 + 2586080387581732614/53153078680427263*c_0101_3^4 + 1878896053166900816/53153078680427263*c_0101_3^3 + 790235529543028679/53153078680427263*c_0101_3^2 + 108680224439297251/53153078680427263*c_0101_3 + 32390898394564406/53153078680427263, c_0011_4 - 386594860596949224/4199093215753753777*c_0011_5*c_0101_3^13 - 2197951366303941274/4199093215753753777*c_0011_5*c_0101_3^12 + 245176534060129488/4199093215753753777*c_0011_5*c_0101_3^11 + 49875456600675168334/4199093215753753777*c_0011_5*c_0101_3^10 + 233510285990155840488/4199093215753753777*c_0011_5*c_0101_3^9 + 550808474314769904250/4199093215753753777*c_0011_5*c_0101_3^8 + 10106567499450946686/53153078680427263*c_0011_5*c_0101_3^7 + 674978528028375524079/4199093215753753777*c_0011_5*c_0101_3^6 + 35753251494617369534/4199093215753753777*c_0011_5*c_0101_3^5 - 556654020107275761113/4199093215753753777*c_0011_5*c_0101_3^4 - 568919076994692055227/4199093215753753777*c_0011_5*c_0101_3^3 - 292098521121560271396/4199093215753753777*c_0011_5*c_0101_3^2 - 73474096557823254251/4199093215753753777*c_0011_5*c_0101_3 - 5920832407242296821/4199093215753753777*c_0011_5, c_0011_5^2 - 143964369222083045/8398186431507507554*c_0101_3^13 - 780484672326788443/8398186431507507554*c_0101_3^12 + 188484590673933449/4199093215753753777*c_0101_3^11 + 9402437188113968714/4199093215753753777*c_0101_3^10 + 40693327479792984158/4199093215753753777*c_0101_3^9 + 174067335749846210245/8398186431507507554*c_0101_3^8 + 2762392129092219189/106306157360854526*c_0101_3^7 + 68472420625711553364/4199093215753753777*c_0101_3^6 - 39647956489626372457/4199093215753753777*c_0101_3^5 - 101841909798539106975/4199093215753753777*c_0101_3^4 - 108861121074612536777/8398186431507507554*c_0101_3^3 - 43896941060789296879/8398186431507507554*c_0101_3^2 - 2373267340033614012/4199093215753753777*c_0101_3 - 1329907974521920753/8398186431507507554, c_0101_0 - 183276109247205678/4199093215753753777*c_0101_3^13 - 1234523165358982740/4199093215753753777*c_0101_3^12 - 848149031397072566/4199093215753753777*c_0101_3^11 + 24410504385632850342/4199093215753753777*c_0101_3^10 + 134975189628703560108/4199093215753753777*c_0101_3^9 + 361013583379996385930/4199093215753753777*c_0101_3^8 + 7422400580267515729/53153078680427263*c_0101_3^7 + 582030180087106614715/4199093215753753777*c_0101_3^6 + 187229703470587472725/4199093215753753777*c_0101_3^5 - 346025338478580028288/4199093215753753777*c_0101_3^4 - 482343705320106576422/4199093215753753777*c_0101_3^3 - 286291795331812290517/4199093215753753777*c_0101_3^2 - 97749311247443689062/4199093215753753777*c_0101_3 - 7583562771503048016/4199093215753753777, c_0101_2 + 506535654690609700/4199093215753753777*c_0101_3^13 + 2753229115177166997/4199093215753753777*c_0101_3^12 - 984428359666772299/4199093215753753777*c_0101_3^11 - 64972884957327147046/4199093215753753777*c_0101_3^10 - 289767650702993641506/4199093215753753777*c_0101_3^9 - 652366913744254925245/4199093215753753777*c_0101_3^8 - 11352891629119182086/53153078680427263*c_0101_3^7 - 692182190969306712044/4199093215753753777*c_0101_3^6 + 79992617733390389543/4199093215753753777*c_0101_3^5 + 672259136160707618892/4199093215753753777*c_0101_3^4 + 581574812834672814815/4199093215753753777*c_0101_3^3 + 277284298819578739854/4199093215753753777*c_0101_3^2 + 65152321160893158407/4199093215753753777*c_0101_3 + 3779321186060178238/4199093215753753777, c_0101_3^14 + 6*c_0101_3^13 + c_0101_3^12 - 130*c_0101_3^11 - 644*c_0101_3^10 - 1595*c_0101_3^9 - 2432*c_0101_3^8 - 2229*c_0101_3^7 - 442*c_0101_3^6 + 1524*c_0101_3^5 + 1835*c_0101_3^4 + 1044*c_0101_3^3 + 339*c_0101_3^2 + 47*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB