Magma V2.19-8 Tue Aug 20 2013 23:42:49 on localhost [Seed = 1191256591] Type ? for help. Type -D to quit. Loading file "L13n5903__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5903 geometric_solution 9.59145877 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 1 1 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 1 -1 0 0 0 1 -1 0 -7 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567864154670 0.638271603777 0 5 6 2 0132 0132 0132 3120 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 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 0.583686175054 0.526892128602 1 0 8 7 3120 0132 0132 0132 1 1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 1 7 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788783008354 0.614051940862 7 9 8 0 0132 0132 3120 0132 1 1 0 1 0 0 0 0 0 0 0 0 1 -1 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 1 0 0 -1 -4 3 0 1 -7 8 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.162312479472 0.761263271700 5 7 0 9 2031 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 4 0 -3 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727339756539 1.074292535353 9 1 4 6 0213 0132 1302 3012 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.923228665382 1.168450067091 10 10 5 1 0132 3201 1230 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506529274916 1.215219064426 3 4 2 8 0132 0132 0132 0321 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 1 7 -7 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.267901123593 1.256485554913 9 7 3 2 3120 0321 3120 0132 1 1 1 1 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 1 -1 0 0 0 0 -8 0 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928216563099 0.555812109625 5 3 4 8 0213 0132 0132 3120 1 1 1 0 0 0 0 0 0 0 0 0 0 1 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 -8 0 8 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210615812708 0.614519946752 6 10 6 10 0132 2310 2310 3201 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.725184295288 0.483387164787 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_6'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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_1100_9' : negation(d['c_0101_8']), 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : d['c_0011_8'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 53026721244374449614220/189578892824747213*c_1001_2^12 + 76513279346797326557649/189578892824747213*c_1001_2^11 + 84908078055548906267791/189578892824747213*c_1001_2^10 - 516621303774382419384/189578892824747213*c_1001_2^9 - 89169879162288576515825/189578892824747213*c_1001_2^8 - 114618479759315401219496/189578892824747213*c_1001_2^7 - 44249455745935067739905/189578892824747213*c_1001_2^6 - 12886791150302502015046/189578892824747213*c_1001_2^5 - 33954042942222537063637/189578892824747213*c_1001_2^4 - 52767020853071477517961/189578892824747213*c_1001_2^3 - 36761855548503685685604/189578892824747213*c_1001_2^2 - 15070056177692905991038/189578892824747213*c_1001_2 - 2462924393212649540921/189578892824747213, c_0011_0 - 1, c_0011_10 - 48399148187589646240/189578892824747213*c_1001_2^12 - 63587484499295509776/189578892824747213*c_1001_2^11 - 69262519821242487254/189578892824747213*c_1001_2^10 + 9522524276225673305/189578892824747213*c_1001_2^9 + 79478790189574197351/189578892824747213*c_1001_2^8 + 94140208493663080856/189578892824747213*c_1001_2^7 + 27817765092466573622/189578892824747213*c_1001_2^6 + 8794265486655944008/189578892824747213*c_1001_2^5 + 30620951987657570323/189578892824747213*c_1001_2^4 + 44435259458872026496/189578892824747213*c_1001_2^3 + 27353328325483766256/189578892824747213*c_1001_2^2 + 10384680553435637060/189578892824747213*c_1001_2 + 1309081241498830479/189578892824747213, c_0011_3 - 6476000208272508824/189578892824747213*c_1001_2^12 - 4041083397356226026/189578892824747213*c_1001_2^11 - 4995473186193435452/189578892824747213*c_1001_2^10 + 5814063118605569174/189578892824747213*c_1001_2^9 + 8363228346545361206/189578892824747213*c_1001_2^8 + 5823652328211978486/189578892824747213*c_1001_2^7 - 2081735928750514295/189578892824747213*c_1001_2^6 + 346025197677498300/189578892824747213*c_1001_2^5 + 3592291179170692842/189578892824747213*c_1001_2^4 + 3232972393765226458/189578892824747213*c_1001_2^3 + 958000598745870035/189578892824747213*c_1001_2^2 + 2660555836373702/189578892824747213*c_1001_2 - 232884711982052634/189578892824747213, c_0011_8 + 10963816896784438200/189578892824747213*c_1001_2^12 + 14228218236459873794/189578892824747213*c_1001_2^11 + 14963732953886417248/189578892824747213*c_1001_2^10 - 2661336125392873201/189578892824747213*c_1001_2^9 - 18460644237966424532/189578892824747213*c_1001_2^8 - 20677177252867461437/189578892824747213*c_1001_2^7 - 5264317338334688909/189578892824747213*c_1001_2^6 - 1502648901276987007/189578892824747213*c_1001_2^5 - 6710864928908129008/189578892824747213*c_1001_2^4 - 9958937645800590360/189578892824747213*c_1001_2^3 - 5788693600120904722/189578892824747213*c_1001_2^2 - 2042687706880433234/189578892824747213*c_1001_2 - 164444710246478596/189578892824747213, c_0101_0 + 6476000208272508824/189578892824747213*c_1001_2^12 + 4041083397356226026/189578892824747213*c_1001_2^11 + 4995473186193435452/189578892824747213*c_1001_2^10 - 5814063118605569174/189578892824747213*c_1001_2^9 - 8363228346545361206/189578892824747213*c_1001_2^8 - 5823652328211978486/189578892824747213*c_1001_2^7 + 2081735928750514295/189578892824747213*c_1001_2^6 - 346025197677498300/189578892824747213*c_1001_2^5 - 3592291179170692842/189578892824747213*c_1001_2^4 - 3232972393765226458/189578892824747213*c_1001_2^3 - 958000598745870035/189578892824747213*c_1001_2^2 - 2660555836373702/189578892824747213*c_1001_2 + 232884711982052634/189578892824747213, c_0101_1 - 1, c_0101_2 + 8758917149050340368/189578892824747213*c_1001_2^12 + 9752938901957006652/189578892824747213*c_1001_2^11 + 11105290416586302812/189578892824747213*c_1001_2^10 - 3507827367634857035/189578892824747213*c_1001_2^9 - 13197753520491364663/189578892824747213*c_1001_2^8 - 14899270689700228559/189578892824747213*c_1001_2^7 - 2786313284931211316/189578892824747213*c_1001_2^6 - 1791074456581649172/189578892824747213*c_1001_2^5 - 4995497812014801931/189578892824747213*c_1001_2^4 - 7091777038937660404/189578892824747213*c_1001_2^3 - 3665356645913460262/189578892824747213*c_1001_2^2 - 1410372876492753128/189578892824747213*c_1001_2 - 129527766685048336/189578892824747213, c_0101_6 - 7379503115576362944/189578892824747213*c_1001_2^12 - 7665962864543489160/189578892824747213*c_1001_2^11 - 10666445682531852982/189578892824747213*c_1001_2^10 + 2890510702623583861/189578892824747213*c_1001_2^9 + 9784510150354565170/189578892824747213*c_1001_2^8 + 13636230350561222608/189578892824747213*c_1001_2^7 + 3514107176837836648/189578892824747213*c_1001_2^6 + 2241135763980469952/189578892824747213*c_1001_2^5 + 3203302989840450648/189578892824747213*c_1001_2^4 + 6013369884837143860/189578892824747213*c_1001_2^3 + 3956487516242333789/189578892824747213*c_1001_2^2 + 1624127363104427042/189578892824747213*c_1001_2 - 7844387126259194/189578892824747213, c_0101_8 + c_1001_2, c_1001_0 + 6241754771184581904/189578892824747213*c_1001_2^12 + 6731338001759485932/189578892824747213*c_1001_2^11 + 7258036138017682628/189578892824747213*c_1001_2^10 - 2532204436291494856/189578892824747213*c_1001_2^9 - 9753753578173245442/189578892824747213*c_1001_2^8 - 9520384816631098755/189578892824747213*c_1001_2^7 - 2016839743178687352/189578892824747213*c_1001_2^6 - 783384637229650958/189578892824747213*c_1001_2^5 - 3811865670639327060/189578892824747213*c_1001_2^4 - 4467837413590556277/189578892824747213*c_1001_2^3 - 2491474659511822264/189578892824747213*c_1001_2^2 - 991301460938844541/189578892824747213*c_1001_2 - 43756758164003438/189578892824747213, c_1001_2^13 + 235/148*c_1001_2^12 + 67/37*c_1001_2^11 + 33/148*c_1001_2^10 - 249/148*c_1001_2^9 - 89/37*c_1001_2^8 - 85/74*c_1001_2^7 - 27/74*c_1001_2^6 - 25/37*c_1001_2^5 - 161/148*c_1001_2^4 - 31/37*c_1001_2^3 - 57/148*c_1001_2^2 - 13/148*c_1001_2 - 1/148 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB