Magma V2.19-8 Tue Aug 20 2013 23:38:19 on localhost [Seed = 576996876] Type ? for help. Type -D to quit. Loading file "K13n2872__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2872 geometric_solution 8.65589080 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 3012 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 4 0 0 -4 0 1 0 -1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.424531625904 0.866592638372 0 3 2 4 0132 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -4 0 4 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392400247746 0.716312491668 1 0 0 5 2310 0132 1230 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 -1 4 -3 0 0 1 -1 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782007167136 1.608312004449 4 6 1 0 0132 0132 3012 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.797273925814 0.417452689310 3 7 1 6 0132 0132 0132 0213 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963709929180 0.613479168713 8 8 2 9 0132 0213 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 0 3 -3 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.755485428134 0.502879944995 7 3 8 4 3201 0132 0213 0213 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 0 -3 0 3 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.091789769840 0.425653065912 9 4 9 6 0132 0132 2310 2310 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 1 0 0 -1 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326858209222 1.654919178426 5 6 5 9 0132 0213 0213 2103 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 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923244794388 1.162937960250 7 7 5 8 0132 3201 0132 2103 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 3 -3 -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.600811035413 0.505200408719 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : d['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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_7']), 'c_1010_8' : d['c_1001_7'], 's_3_1' : d['1'], 's_3_0' : negation(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' : 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' : negation(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' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0101_8' : d['c_0011_5'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2951634645106521162779089/338032538824638282895902262*c_1001_7^13 + 5589897548181597562956557/338032538824638282895902262*c_1001_7^12 + 45661454289161152197307471/676065077649276565791804524*c_1001_7^11 - 289953459492916139594231379/1352130155298553131583609048*c_1001_7^1\ 0 + 151260368736517666663999533/1352130155298553131583609048*c_1001\ _7^9 - 39335891405273308527389735/1352130155298553131583609048*c_10\ 01_7^8 + 812478361739874308293255885/676065077649276565791804524*c_\ 1001_7^7 - 3259089280213698224457439255/135213015529855313158360904\ 8*c_1001_7^6 - 463971256059448973591801063/135213015529855313158360\ 9048*c_1001_7^5 + 93183891408683139898998939/2551188972261421002987\ 9416*c_1001_7^4 + 107495817189410563242790927/169016269412319141447\ 951131*c_1001_7^3 - 11610845951040297842233465947/13521301552985531\ 31583609048*c_1001_7^2 + 3198639507071930294191038959/3380325388246\ 38282895902262*c_1001_7 - 1175443373247871883942554281/338032538824\ 638282895902262, c_0011_0 - 1, c_0011_3 + 2530347399306519/60024699457967492*c_1001_7^13 - 3402211802080871/60024699457967492*c_1001_7^12 - 5328449356688872/15006174864491873*c_1001_7^11 + 25630369146090751/30012349728983746*c_1001_7^10 - 4257812867758235/60024699457967492*c_1001_7^9 - 2882527025562311/30012349728983746*c_1001_7^8 - 171157372694510747/30012349728983746*c_1001_7^7 + 144590026684737146/15006174864491873*c_1001_7^6 + 250797161962806337/60024699457967492*c_1001_7^5 - 877148601160304253/60024699457967492*c_1001_7^4 - 420269100205069923/60024699457967492*c_1001_7^3 + 2086865935118361229/60024699457967492*c_1001_7^2 - 482415711529996067/15006174864491873*c_1001_7 + 152896442578611308/15006174864491873, c_0011_5 - 351896955820563/30012349728983746*c_1001_7^13 + 865416883926711/30012349728983746*c_1001_7^12 + 1277796122515471/15006174864491873*c_1001_7^11 - 5225378929524123/15006174864491873*c_1001_7^10 + 7578058891706573/30012349728983746*c_1001_7^9 + 534643652132056/15006174864491873*c_1001_7^8 + 23098115100733565/15006174864491873*c_1001_7^7 - 65979734052807417/15006174864491873*c_1001_7^6 + 45636426565380593/30012349728983746*c_1001_7^5 + 176039056862317225/30012349728983746*c_1001_7^4 - 70980504775391891/30012349728983746*c_1001_7^3 - 380418787284834225/30012349728983746*c_1001_7^2 + 299798304417258009/15006174864491873*c_1001_7 - 147581988287691505/15006174864491873, c_0101_0 - 5337884387423275/60024699457967492*c_1001_7^13 + 7909246002177965/60024699457967492*c_1001_7^12 + 21926409192487925/30012349728983746*c_1001_7^11 - 57161007518339491/30012349728983746*c_1001_7^10 + 25324865641389083/60024699457967492*c_1001_7^9 + 2570736084685513/15006174864491873*c_1001_7^8 + 357406147269609923/30012349728983746*c_1001_7^7 - 330469185225306468/15006174864491873*c_1001_7^6 - 338369651378226561/60024699457967492*c_1001_7^5 + 1942845680216846875/60024699457967492*c_1001_7^4 + 558822339413854553/60024699457967492*c_1001_7^3 - 4558035445300590451/60024699457967492*c_1001_7^2 + 2370180941319365347/30012349728983746*c_1001_7 - 413225882939220061/15006174864491873, c_0101_1 - 23518121667279/60024699457967492*c_1001_7^13 - 186035770278435/60024699457967492*c_1001_7^12 - 75003731861739/30012349728983746*c_1001_7^11 + 490698118941315/30012349728983746*c_1001_7^10 + 661326406256831/60024699457967492*c_1001_7^9 - 624025563672456/15006174864491873*c_1001_7^8 - 1840557258607319/30012349728983746*c_1001_7^7 + 2979347162491608/15006174864491873*c_1001_7^6 + 16514722988693659/60024699457967492*c_1001_7^5 - 18115974295600257/60024699457967492*c_1001_7^4 - 21386278458823363/60024699457967492*c_1001_7^3 + 11194670485350805/60024699457967492*c_1001_7^2 - 9480090247496699/30012349728983746*c_1001_7 - 18153546816772511/15006174864491873, c_0101_2 - 1905181247542331/60024699457967492*c_1001_7^13 + 4035095154443017/60024699457967492*c_1001_7^12 + 7578917733422817/30012349728983746*c_1001_7^11 - 25726537591366051/30012349728983746*c_1001_7^10 + 23641848926156271/60024699457967492*c_1001_7^9 + 3831525348089098/15006174864491873*c_1001_7^8 + 131682228634475697/30012349728983746*c_1001_7^7 - 157084736844033518/15006174864491873*c_1001_7^6 + 13457591526701111/60024699457967492*c_1001_7^5 + 936972804456432291/60024699457967492*c_1001_7^4 + 1634903068092857/60024699457967492*c_1001_7^3 - 2046032608524733179/60024699457967492*c_1001_7^2 + 1171844764837962863/30012349728983746*c_1001_7 - 220481298771654857/15006174864491873, c_0101_3 - 691693363997985/30012349728983746*c_1001_7^13 + 345394809327801/15006174864491873*c_1001_7^12 + 5816087033832655/30012349728983746*c_1001_7^11 - 6038599281598677/15006174864491873*c_1001_7^10 - 971813520142307/30012349728983746*c_1001_7^9 - 494352473450739/30012349728983746*c_1001_7^8 + 44993447808485499/15006174864491873*c_1001_7^7 - 65364297866245474/15006174864491873*c_1001_7^6 - 83354271818499049/30012349728983746*c_1001_7^5 + 99785728452665106/15006174864491873*c_1001_7^4 + 66991437104378063/15006174864491873*c_1001_7^3 - 263314571800051191/15006174864491873*c_1001_7^2 + 432917803228586389/30012349728983746*c_1001_7 - 45650663528270104/15006174864491873, c_0101_7 + 2005422582985693/60024699457967492*c_1001_7^13 - 3383836377256513/60024699457967492*c_1001_7^12 - 3923374128234069/15006174864491873*c_1001_7^11 + 23442949995808003/30012349728983746*c_1001_7^10 - 20110392101292321/60024699457967492*c_1001_7^9 - 3069259061781173/30012349728983746*c_1001_7^8 - 130011899080633797/30012349728983746*c_1001_7^7 + 141068843346165652/15006174864491873*c_1001_7^6 + 9905075144465331/60024699457967492*c_1001_7^5 - 826434384774857227/60024699457967492*c_1001_7^4 + 7770268759079319/60024699457967492*c_1001_7^3 + 1907122419444428563/60024699457967492*c_1001_7^2 - 559152898175163770/15006174864491873*c_1001_7 + 211120185085016029/15006174864491873, c_1001_0 + 290450556163915/60024699457967492*c_1001_7^13 - 1573271988607101/60024699457967492*c_1001_7^12 - 940671813877881/30012349728983746*c_1001_7^11 + 8063610855470163/30012349728983746*c_1001_7^10 - 15610030331164611/60024699457967492*c_1001_7^9 - 2441368683675648/15006174864491873*c_1001_7^8 - 23093122485055649/30012349728983746*c_1001_7^7 + 53881119857647678/15006174864491873*c_1001_7^6 - 113004116701135635/60024699457967492*c_1001_7^5 - 316978380961817859/60024699457967492*c_1001_7^4 + 164451844536164087/60024699457967492*c_1001_7^3 + 556158809660036247/60024699457967492*c_1001_7^2 - 445437785594101887/30012349728983746*c_1001_7 + 126682400355222484/15006174864491873, c_1001_7^14 - 3*c_1001_7^13 - 6*c_1001_7^12 + 34*c_1001_7^11 - 37*c_1001_7^10 + 4*c_1001_7^9 - 130*c_1001_7^8 + 452*c_1001_7^7 - 309*c_1001_7^6 - 477*c_1001_7^5 + 453*c_1001_7^4 + 1049*c_1001_7^3 - 2202*c_1001_7^2 + 1608*c_1001_7 - 424 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB