Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 2816883663] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s853 geometric_solution 5.47593628 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 0 -1 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.413173603513 0.698174593049 3 2 4 0 0132 3012 0132 0132 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 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.817976277591 0.996086568592 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 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 0 0 0 0.817976277591 0.996086568592 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703503638905 0.455107480550 4 2 4 1 2031 2310 1302 0132 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 0 0 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.246772696549 0.899916458918 5 3 3 5 3201 0132 1023 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 0 0 0 0 0 0 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.186282607517 0.472301159000 ==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_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_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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2177834193200170570841/180362003586035132385*c_0101_5^19 + 368132419676719672613/180362003586035132385*c_0101_5^18 + 49909816626672985893869/180362003586035132385*c_0101_5^17 - 8471429635459552439252/180362003586035132385*c_0101_5^16 - 348673571797654070001976/180362003586035132385*c_0101_5^15 - 1963788757974276312434/4008044524134114053*c_0101_5^14 + 232255556120152698378193/36072400717207026477*c_0101_5^13 + 774805373187782324394737/180362003586035132385*c_0101_5^12 - 135380849111631805664519/12024133572402342159*c_0101_5^11 - 1879333438840989780777307/180362003586035132385*c_0101_5^10 + 584690889656428527663481/60120667862011710795*c_0101_5^9 + 212105760168732480775172/20040222620670570265*c_0101_5^8 - 255235434140677795979351/60120667862011710795*c_0101_5^7 - 97295157758808716426123/20040222620670570265*c_0101_5^6 + 35326246394860517506722/20040222620670570265*c_0101_5^5 + 140006233331141940365158/180362003586035132385*c_0101_5^4 - 16030520486096826518796/20040222620670570265*c_0101_5^3 + 5229498439151105864287/36072400717207026477*c_0101_5^2 + 4772187053167768908122/36072400717207026477*c_0101_5 - 8757022453489347298082/180362003586035132385, c_0011_0 - 1, c_0011_1 + 272564240828355148/4008044524134114053*c_0101_5^19 - 3013900632056544226/12024133572402342159*c_0101_5^18 - 18547186199819796403/12024133572402342159*c_0101_5^17 + 67888591806119872772/12024133572402342159*c_0101_5^16 + 42231215192036528066/4008044524134114053*c_0101_5^15 - 400295260858893669176/12024133572402342159*c_0101_5^14 - 604765022919474473236/12024133572402342159*c_0101_5^13 + 1041360419909379901022/12024133572402342159*c_0101_5^12 + 1889344878299691523340/12024133572402342159*c_0101_5^11 - 1273039938476218594853/12024133572402342159*c_0101_5^10 - 992971953944606819424/4008044524134114053*c_0101_5^9 + 130776616571675217088/4008044524134114053*c_0101_5^8 + 694578022176642166366/4008044524134114053*c_0101_5^7 + 77406580977269825152/4008044524134114053*c_0101_5^6 - 184276594462471272212/4008044524134114053*c_0101_5^5 + 23013090580817935801/4008044524134114053*c_0101_5^4 + 7179020687484032246/12024133572402342159*c_0101_5^3 - 86603944158925916945/12024133572402342159*c_0101_5^2 + 4848025034307028016/4008044524134114053*c_0101_5 + 2089395818861798312/12024133572402342159, c_0011_4 - 2130243064088049275/4008044524134114053*c_0101_5^19 - 173739392434530863/12024133572402342159*c_0101_5^18 + 144487924943268224605/12024133572402342159*c_0101_5^17 + 5288942718748855069/12024133572402342159*c_0101_5^16 - 326460483168512777825/4008044524134114053*c_0101_5^15 - 491386613940305993347/12024133572402342159*c_0101_5^14 + 3037130003203430191816/12024133572402342159*c_0101_5^13 + 2997146379970765625122/12024133572402342159*c_0101_5^12 - 4470067774568640862310/12024133572402342159*c_0101_5^11 - 6387933548587212402649/12024133572402342159*c_0101_5^10 + 730258763195714772940/4008044524134114053*c_0101_5^9 + 1896784022496359593170/4008044524134114053*c_0101_5^8 + 166953408934760997489/4008044524134114053*c_0101_5^7 - 698193780033721799545/4008044524134114053*c_0101_5^6 - 83690250650755554087/4008044524134114053*c_0101_5^5 + 87077502405346607335/4008044524134114053*c_0101_5^4 - 118792387475270834021/12024133572402342159*c_0101_5^3 - 70878025206855574828/12024133572402342159*c_0101_5^2 + 12435863030339403640/4008044524134114053*c_0101_5 + 18520910702413090333/12024133572402342159, c_0101_0 - 690253314507808287/4008044524134114053*c_0101_5^19 - 1710994696036549186/12024133572402342159*c_0101_5^18 + 47637842595675041405/12024133572402342159*c_0101_5^17 + 38683245796641441578/12024133572402342159*c_0101_5^16 - 111719435357423002721/4008044524134114053*c_0101_5^15 - 402992137622171091050/12024133572402342159*c_0101_5^14 + 981244494720220004498/12024133572402342159*c_0101_5^13 + 1752566943271925962886/12024133572402342159*c_0101_5^12 - 1063434370715263107016/12024133572402342159*c_0101_5^11 - 3385568355757180135937/12024133572402342159*c_0101_5^10 - 95063200186049394277/4008044524134114053*c_0101_5^9 + 933710863296978727519/4008044524134114053*c_0101_5^8 + 370074237765529465939/4008044524134114053*c_0101_5^7 - 293131389024371786971/4008044524134114053*c_0101_5^6 - 140258041590893913009/4008044524134114053*c_0101_5^5 + 42895879830943723463/4008044524134114053*c_0101_5^4 - 36032402271330295738/12024133572402342159*c_0101_5^3 - 36615406528607726591/12024133572402342159*c_0101_5^2 - 1352054484128578769/4008044524134114053*c_0101_5 + 6289849514839064180/12024133572402342159, c_0101_1 - 4426017186487323313/12024133572402342159*c_0101_5^19 - 4679734496227598639/12024133572402342159*c_0101_5^18 + 101614292002137635734/12024133572402342159*c_0101_5^17 + 105804679146626783027/12024133572402342159*c_0101_5^16 - 712030646270723340956/12024133572402342159*c_0101_5^15 - 339390052241366039419/4008044524134114053*c_0101_5^14 + 2003144655895224275245/12024133572402342159*c_0101_5^13 + 4221106322696362403578/12024133572402342159*c_0101_5^12 - 593340629731211292096/4008044524134114053*c_0101_5^11 - 7919108959582767805421/12024133572402342159*c_0101_5^10 - 524830096137190914180/4008044524134114053*c_0101_5^9 + 2128890889572594639887/4008044524134114053*c_0101_5^8 + 1052445054240045510529/4008044524134114053*c_0101_5^7 - 657360868402715901468/4008044524134114053*c_0101_5^6 - 402013087322569930360/4008044524134114053*c_0101_5^5 + 315396761466052221968/12024133572402342159*c_0101_5^4 - 20019277554407010609/4008044524134114053*c_0101_5^3 - 95170535206684603778/12024133572402342159*c_0101_5^2 + 42653928768093726248/12024133572402342159*c_0101_5 + 18024185316157650392/12024133572402342159, c_0101_5^20 - 23*c_0101_5^18 + 162*c_0101_5^16 + 68*c_0101_5^15 - 535*c_0101_5^14 - 452*c_0101_5^13 + 899*c_0101_5^12 + 1052*c_0101_5^11 - 697*c_0101_5^10 - 1077*c_0101_5^9 + 219*c_0101_5^8 + 516*c_0101_5^7 - 72*c_0101_5^6 - 107*c_0101_5^5 + 55*c_0101_5^4 + 2*c_0101_5^3 - 15*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB