Magma V2.19-8 Tue Aug 20 2013 23:39:17 on localhost [Seed = 745162878] Type ? for help. Type -D to quit. Loading file "K13n1864__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1864 geometric_solution 9.93839894 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 3120 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 -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.178510912673 0.973264294933 0 4 6 5 0132 0132 0132 0132 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 -1 1 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.452076275942 1.842559857542 5 0 0 7 3012 0132 3120 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332274108865 0.739198207833 4 5 0 7 0132 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798212436594 0.843646764660 3 1 8 6 0132 0132 0132 3120 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 1 0 -1 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.493325323263 0.606892991399 3 7 1 2 1230 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.054228866581 1.102391170214 4 9 10 1 3120 0132 0132 0132 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 2 -1 -1 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.355224121569 0.569628268742 10 5 2 3 2031 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.056233047654 1.043752431276 10 9 9 4 1302 0213 2103 0132 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 -2 2 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431318118577 0.778695351346 8 6 8 10 2103 0132 0213 3120 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 -2 2 0 0 0 0 0 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611640098031 0.837517980775 9 8 7 6 3120 2031 1302 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 -1 0 1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411158459441 0.150251258942 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), '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_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' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : d['c_0101_7'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_4']), '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_5, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 636488871357758164/612832679190472545*c_0101_7^10 - 14125668425150441608/612832679190472545*c_0101_7^9 - 124668302629074163997/612832679190472545*c_0101_7^8 - 38171552989769726978/40855511946031503*c_0101_7^7 - 1564381442487038680538/612832679190472545*c_0101_7^6 - 2788877255163458559572/612832679190472545*c_0101_7^5 - 1164811370277736437803/204277559730157515*c_0101_7^4 - 458468917732013445764/87547525598638935*c_0101_7^3 - 301155240019729943834/87547525598638935*c_0101_7^2 - 124248947578766843854/87547525598638935*c_0101_7 - 11139825014796746746/40855511946031503, c_0011_0 - 1, c_0011_10 + 8123512838/74512654401*c_0101_7^10 + 853540733986/372563272005*c_0101_7^9 + 6918891924611/372563272005*c_0101_7^8 + 9236256621784/124187757335*c_0101_7^7 + 61295379098618/372563272005*c_0101_7^6 + 79385121749549/372563272005*c_0101_7^5 + 20170929206803/124187757335*c_0101_7^4 + 18548003723267/372563272005*c_0101_7^3 - 3848572846676/74512654401*c_0101_7^2 - 30701788680533/372563272005*c_0101_7 - 935385444947/24837551467, c_0011_5 - 1947499987/372563272005*c_0101_7^10 - 7839656981/74512654401*c_0101_7^9 - 300965634386/372563272005*c_0101_7^8 - 380183149972/124187757335*c_0101_7^7 - 501699346609/74512654401*c_0101_7^6 - 3552472060487/372563272005*c_0101_7^5 - 1017974870379/124187757335*c_0101_7^4 - 901176461462/372563272005*c_0101_7^3 + 802111380433/372563272005*c_0101_7^2 + 1233289972844/372563272005*c_0101_7 + 163215880504/124187757335, c_0011_6 + 17270461599/124187757335*c_0101_7^10 + 361516261978/124187757335*c_0101_7^9 + 2912239647919/124187757335*c_0101_7^8 + 11544028856292/124187757335*c_0101_7^7 + 25156898260677/124187757335*c_0101_7^6 + 32005827346248/124187757335*c_0101_7^5 + 23995466986112/124187757335*c_0101_7^4 + 7072351149226/124187757335*c_0101_7^3 - 8002701066043/124187757335*c_0101_7^2 - 12283453798652/124187757335*c_0101_7 - 5322051266921/124187757335, c_0011_7 + 10055418419/372563272005*c_0101_7^10 + 205942497896/372563272005*c_0101_7^9 + 1607648606434/372563272005*c_0101_7^8 + 406276147955/24837551467*c_0101_7^7 + 2521375422569/74512654401*c_0101_7^6 + 15301466004496/372563272005*c_0101_7^5 + 3698543960064/124187757335*c_0101_7^4 + 597162409172/74512654401*c_0101_7^3 - 4138594621754/372563272005*c_0101_7^2 - 6150485080366/372563272005*c_0101_7 - 781632032669/124187757335, c_0101_0 + 2894925493/74512654401*c_0101_7^10 + 295642752446/372563272005*c_0101_7^9 + 2295355642636/372563272005*c_0101_7^8 + 2867384566889/124187757335*c_0101_7^7 + 17395835301883/372563272005*c_0101_7^6 + 20302223545159/372563272005*c_0101_7^5 + 4588296232628/124187757335*c_0101_7^4 + 2481508645012/372563272005*c_0101_7^3 - 1268342075173/74512654401*c_0101_7^2 - 7423941742708/372563272005*c_0101_7 - 170949267915/24837551467, c_0101_1 - 41755966378/372563272005*c_0101_7^10 - 878606288038/372563272005*c_0101_7^9 - 7129070337323/372563272005*c_0101_7^8 - 9512648116517/124187757335*c_0101_7^7 - 62863817669186/372563272005*c_0101_7^6 - 80716016034248/372563272005*c_0101_7^5 - 20296923026048/124187757335*c_0101_7^4 - 18231241401818/372563272005*c_0101_7^3 + 3973901715275/74512654401*c_0101_7^2 + 6214487917519/74512654401*c_0101_7 + 4664606991587/124187757335, c_0101_2 - 2206000451/372563272005*c_0101_7^10 - 52146617957/372563272005*c_0101_7^9 - 491829933619/372563272005*c_0101_7^8 - 792340278747/124187757335*c_0101_7^7 - 6404200604734/372563272005*c_0101_7^6 - 9892744891036/372563272005*c_0101_7^5 - 587728991017/24837551467*c_0101_7^4 - 4112810643346/372563272005*c_0101_7^3 + 1236984856451/372563272005*c_0101_7^2 + 4287998373958/372563272005*c_0101_7 + 874241898751/124187757335, c_0101_4 + 41755966378/372563272005*c_0101_7^10 + 878606288038/372563272005*c_0101_7^9 + 7129070337323/372563272005*c_0101_7^8 + 9512648116517/124187757335*c_0101_7^7 + 62863817669186/372563272005*c_0101_7^6 + 80716016034248/372563272005*c_0101_7^5 + 20296923026048/124187757335*c_0101_7^4 + 18231241401818/372563272005*c_0101_7^3 - 3973901715275/74512654401*c_0101_7^2 - 6214487917519/74512654401*c_0101_7 - 4540419234252/124187757335, c_0101_6 + 1333306871/372563272005*c_0101_7^10 + 25436415593/372563272005*c_0101_7^9 + 176562989104/372563272005*c_0101_7^8 + 179429182409/124187757335*c_0101_7^7 + 142404577085/74512654401*c_0101_7^6 + 117391195477/372563272005*c_0101_7^5 - 50843283412/24837551467*c_0101_7^4 - 1088717540861/372563272005*c_0101_7^3 - 774360030683/372563272005*c_0101_7^2 + 330484217564/372563272005*c_0101_7 + 40393819557/24837551467, c_0101_7^11 + 22*c_0101_7^10 + 191*c_0101_7^9 + 849*c_0101_7^8 + 2174*c_0101_7^7 + 3419*c_0101_7^6 + 3381*c_0101_7^5 + 1898*c_0101_7^4 - 28*c_0101_7^3 - 1211*c_0101_7^2 - 1074*c_0101_7 - 333 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.420 seconds, Total memory usage: 32.09MB