Magma V2.19-8 Tue Aug 20 2013 23:41:44 on localhost [Seed = 560416133] Type ? for help. Type -D to quit. Loading file "K12n647__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n647 geometric_solution 10.77480413 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 -1 -13 0 14 -1 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770455680024 1.045912948388 0 4 6 5 0132 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 13 0 0 -13 0 -14 0 14 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065123664653 1.168729045747 7 0 8 4 0132 0132 0132 1023 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 -1 0 1 0 0 -1 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453243885463 0.505350008547 9 5 6 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 14 0 0 -14 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495926695271 0.660859372168 1 8 0 2 1023 0132 0132 1023 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 1 -1 0 0 1 -1 14 -14 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445503154178 0.434089069429 9 3 1 10 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 13 -13 0 0 0 0 1 13 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506262898682 0.758220153809 11 3 10 1 0132 1230 0132 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 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.509416429837 0.763657565314 2 8 10 9 0132 1023 3201 2031 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 1 -1 0 0 0 0 0 0 1 0 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149748303673 0.960137079578 7 4 11 2 1023 0132 2031 0132 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 -1 0 0 1 -1 1 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.112112299208 1.154155948374 3 7 5 11 0132 1302 2103 0132 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 -14 0 0 14 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.440586890689 1.252268789297 7 11 5 6 2310 2103 0132 0132 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 -13 0 13 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.057231679874 1.019167896713 6 10 9 8 0132 2103 0132 1302 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 -14 14 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.316511281812 0.603087400804 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_1001_6']), 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], '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_2_11' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1001_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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0110_4, c_1001_2, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 410252580605832/3270028109179*c_1100_1^10 - 7031864985519865/3270028109179*c_1100_1^9 + 8488492048218514/3270028109179*c_1100_1^8 + 59041957295654591/3270028109179*c_1100_1^7 + 1131704901054866/251540623783*c_1100_1^6 + 8162847716847444/3270028109179*c_1100_1^5 - 40232157102538129/3270028109179*c_1100_1^4 - 11536877544890704/3270028109179*c_1100_1^3 + 2000890289529474/3270028109179*c_1100_1^2 + 2560806445276623/3270028109179*c_1100_1 + 322556567938915/3270028109179, c_0011_0 - 1, c_0011_10 + 775460482908/3270028109179*c_1100_1^10 - 13000246481306/3270028109179*c_1100_1^9 + 11630885271563/3270028109179*c_1100_1^8 + 108195842498501/3270028109179*c_1100_1^7 + 5640916068139/251540623783*c_1100_1^6 + 112851363089887/3270028109179*c_1100_1^5 + 28602244622551/3270028109179*c_1100_1^4 + 46342452938521/3270028109179*c_1100_1^3 + 18365300590224/3270028109179*c_1100_1^2 + 7616283532927/3270028109179*c_1100_1 - 3080555486316/3270028109179, c_0011_11 - 11236036956/3270028109179*c_1100_1^10 + 23396392746/3270028109179*c_1100_1^9 + 2658958086813/3270028109179*c_1100_1^8 - 5152477415977/3270028109179*c_1100_1^7 - 1684408906515/251540623783*c_1100_1^6 - 9983260556619/3270028109179*c_1100_1^5 - 28515395323341/3270028109179*c_1100_1^4 - 2840056031486/3270028109179*c_1100_1^3 - 17593841632789/3270028109179*c_1100_1^2 - 1343345496319/3270028109179*c_1100_1 - 3530859650612/3270028109179, c_0011_3 - 310393800773/3270028109179*c_1100_1^10 + 5291516501904/3270028109179*c_1100_1^9 - 6067137461065/3270028109179*c_1100_1^8 - 42970851053877/3270028109179*c_1100_1^7 - 1322476922401/251540623783*c_1100_1^6 - 26334280692391/3270028109179*c_1100_1^5 + 14360243214561/3270028109179*c_1100_1^4 - 9303092749709/3270028109179*c_1100_1^3 + 4335134806654/3270028109179*c_1100_1^2 + 1406617079316/3270028109179*c_1100_1 + 4933133726957/3270028109179, c_0101_0 - 876135376817/3270028109179*c_1100_1^10 + 15000562607512/3270028109179*c_1100_1^9 - 18464596669872/3270028109179*c_1100_1^8 - 116096497079217/3270028109179*c_1100_1^7 - 3185765794262/251540623783*c_1100_1^6 - 107608404161389/3270028109179*c_1100_1^5 + 10682382905549/3270028109179*c_1100_1^4 - 59862566991749/3270028109179*c_1100_1^3 - 130943478218/3270028109179*c_1100_1^2 - 5138395091406/3270028109179*c_1100_1 + 4598379627785/3270028109179, c_0101_1 + 48339402464/3270028109179*c_1100_1^10 - 812565633280/3270028109179*c_1100_1^9 + 742586944888/3270028109179*c_1100_1^8 + 7024047926080/3270028109179*c_1100_1^7 + 313962858504/251540623783*c_1100_1^6 + 3993392492672/3270028109179*c_1100_1^5 - 1340408446538/3270028109179*c_1100_1^4 + 1330974380992/3270028109179*c_1100_1^3 + 2331719778309/3270028109179*c_1100_1^2 - 221808699200/3270028109179*c_1100_1 + 1625127696832/3270028109179, c_0101_10 + 518220395274/3270028109179*c_1100_1^10 - 9114513150408/3270028109179*c_1100_1^9 + 15071567580075/3270028109179*c_1100_1^8 + 63435449876190/3270028109179*c_1100_1^7 - 581155032249/251540623783*c_1100_1^6 + 55050001121976/3270028109179*c_1100_1^5 - 37777341348993/3270028109179*c_1100_1^4 + 26909284057363/3270028109179*c_1100_1^3 - 12670382002023/3270028109179*c_1100_1^2 - 1472826186778/3270028109179*c_1100_1 - 2654062345738/3270028109179, c_0101_6 + 812563848416/3270028109179*c_1100_1^10 - 13789415721840/3270028109179*c_1100_1^9 + 15032430303264/3270028109179*c_1100_1^8 + 110067413008604/3270028109179*c_1100_1^7 + 4270470020128/251540623783*c_1100_1^6 + 106861495025940/3270028109179*c_1100_1^5 - 1253559147328/3270028109179*c_1100_1^4 + 44833371288027/3270028109179*c_1100_1^3 + 3103178735744/3270028109179*c_1100_1^2 + 2781101228229/3270028109179*c_1100_1 - 4986287440096/3270028109179, c_0110_4 - 856362661302/3270028109179*c_1100_1^10 + 14567747638829/3270028109179*c_1100_1^9 - 16463783808527/3270028109179*c_1100_1^8 - 114912354374468/3270028109179*c_1100_1^7 - 4169045952662/251540623783*c_1100_1^6 - 113220758181058/3270028109179*c_1100_1^5 + 2616507058145/3270028109179*c_1100_1^4 - 56074478029833/3270028109179*c_1100_1^3 - 2733574093657/3270028109179*c_1100_1^2 - 9722743785964/3270028109179*c_1100_1 + 4923360733095/3270028109179, c_1001_2 - 1122100349/251540623783*c_1100_1^10 + 16414582527/251540623783*c_1100_1^9 + 25023956066/251540623783*c_1100_1^8 - 223262386486/251540623783*c_1100_1^7 - 368517957952/251540623783*c_1100_1^6 - 215818448723/251540623783*c_1100_1^5 - 572920367204/251540623783*c_1100_1^4 - 63844100019/251540623783*c_1100_1^3 - 699859006500/251540623783*c_1100_1^2 - 7993145009/251540623783*c_1100_1 - 128378962286/251540623783, c_1001_6 + 1005570479592/3270028109179*c_1100_1^10 - 17088467023950/3270028109179*c_1100_1^9 + 19102939048564/3270028109179*c_1100_1^8 + 134114972988267/3270028109179*c_1100_1^7 + 5170476155713/251540623783*c_1100_1^6 + 144075199325587/3270028109179*c_1100_1^5 + 2346395217789/3270028109179*c_1100_1^4 + 69261208409920/3270028109179*c_1100_1^3 + 4862308060264/3270028109179*c_1100_1^2 + 9490691435080/3270028109179*c_1100_1 - 5008803501067/3270028109179, c_1100_1^11 - 17*c_1100_1^10 + 19*c_1100_1^9 + 135*c_1100_1^8 + 64*c_1100_1^7 + 129*c_1100_1^6 - 4*c_1100_1^5 + 56*c_1100_1^4 + 3*c_1100_1^3 + 4*c_1100_1^2 - 6*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.030 Total time: 1.250 seconds, Total memory usage: 64.12MB