Magma V2.19-8 Tue Aug 20 2013 16:14:34 on localhost [Seed = 2581071254] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s559 geometric_solution 4.99516429 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 -1 0 0 1 -1 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.449105317119 0.351729328168 2 0 3 0 0132 2310 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 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.170769453993 0.729154155150 1 4 3 5 0132 0132 3012 0132 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 0 0 0 0 0 0 0 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.180349898369 0.810903122134 5 2 4 1 1023 1230 1023 0132 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 1 0 0 -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 1.180349898369 0.810903122134 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420326866395 0.447208629362 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 0 1 -1 0 0 1 -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.946676865909 0.668199900170 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 208710935482888411/84102342770914816*c_0101_3^11 + 14388902292286951943/420511713854574080*c_0101_3^10 - 23417561148609256309/210255856927287040*c_0101_3^9 + 752035364723528843/26281982115910880*c_0101_3^8 - 40342629043844253419/420511713854574080*c_0101_3^7 - 1310665730646192954549/420511713854574080*c_0101_3^6 - 2147406926793269520413/420511713854574080*c_0101_3^5 + 552191356641041232549/420511713854574080*c_0101_3^4 + 3238266679425953141479/420511713854574080*c_0101_3^3 + 62460438039004790577/21025585692728704*c_0101_3^2 - 1821187549256850097/657049552897772*c_0101_3 - 1339552358564385182/821311941122215, c_0011_0 - 1, c_0011_1 + 162067354310351/5256396423182176*c_0101_3^11 - 2248606983359865/5256396423182176*c_0101_3^10 + 1867320614143423/1314099105795544*c_0101_3^9 - 630591793623097/1314099105795544*c_0101_3^8 + 6324702024170627/5256396423182176*c_0101_3^7 + 204058425817310731/5256396423182176*c_0101_3^6 + 314145260224852847/5256396423182176*c_0101_3^5 - 106977800852423907/5256396423182176*c_0101_3^4 - 474227709345140905/5256396423182176*c_0101_3^3 - 72378173572060633/2628198211591088*c_0101_3^2 + 5550572353430340/164262388224443*c_0101_3 + 2629244402854963/164262388224443, c_0011_3 - 653646482110535/5256396423182176*c_0101_3^11 + 9041502606406577/5256396423182176*c_0101_3^10 - 7439417551871399/1314099105795544*c_0101_3^9 + 2291963032028829/1314099105795544*c_0101_3^8 - 26669433630117595/5256396423182176*c_0101_3^7 - 819798182669712595/5256396423182176*c_0101_3^6 - 1309075481947280711/5256396423182176*c_0101_3^5 + 371891721324374555/5256396423182176*c_0101_3^4 + 1962202566901392017/5256396423182176*c_0101_3^3 + 351453191403320673/2628198211591088*c_0101_3^2 - 43995579771279923/328524776448886*c_0101_3 - 12072130209450701/164262388224443, c_0101_0 - 22559785039465/328524776448886*c_0101_3^11 + 2536830587546459/2628198211591088*c_0101_3^10 - 8828395220678099/2628198211591088*c_0101_3^9 + 2579607782835161/1314099105795544*c_0101_3^8 - 1390058759450519/328524776448886*c_0101_3^7 - 220767129454383105/2628198211591088*c_0101_3^6 - 317318670002896575/2628198211591088*c_0101_3^5 + 123122972170149017/2628198211591088*c_0101_3^4 + 467720406649983199/2628198211591088*c_0101_3^3 + 136479374104789085/2628198211591088*c_0101_3^2 - 40365525843386929/657049552897772*c_0101_3 - 4964981058172384/164262388224443, c_0101_1 - 377474899228535/5256396423182176*c_0101_3^11 + 5286141444503229/5256396423182176*c_0101_3^10 - 2263129209428715/657049552897772*c_0101_3^9 + 2151567623565647/1314099105795544*c_0101_3^8 - 17760946693210635/5256396423182176*c_0101_3^7 - 469411924014248311/5256396423182176*c_0101_3^6 - 675702726686762403/5256396423182176*c_0101_3^5 + 313951564828374271/5256396423182176*c_0101_3^4 + 1079883089706476141/5256396423182176*c_0101_3^3 + 141116339363350083/2628198211591088*c_0101_3^2 - 12786077852496326/164262388224443*c_0101_3 - 5891642078117157/164262388224443, c_0101_3^12 - 13*c_0101_3^11 + 34*c_0101_3^10 + 24*c_0101_3^9 + 29*c_0101_3^8 + 1287*c_0101_3^7 + 3047*c_0101_3^6 + 1081*c_0101_3^5 - 3533*c_0101_3^4 - 3632*c_0101_3^3 + 192*c_0101_3^2 + 1536*c_0101_3 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB