Magma V2.19-8 Tue Aug 20 2013 23:46:57 on localhost [Seed = 3684545003] Type ? for help. Type -D to quit. Loading file "K14n5294__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n5294 geometric_solution 10.80690663 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 -1 1 0 0 0 0 0 0 -1 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.173099243492 0.780147901333 0 5 7 6 0132 0132 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 -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.362634168983 1.136957591624 4 0 9 8 3012 0132 0132 0132 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 1 -1 0 0 0 0 0 0 -3 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673412507694 1.837820831145 10 9 7 0 0132 2031 3120 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 -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.474753422331 0.784952459478 5 7 0 2 0321 0132 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 0.606992179028 1.363261287337 4 1 11 10 0321 0132 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 -1 0 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432658582607 0.361002586956 11 9 1 10 2031 0213 0132 2103 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 1 0 -1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606992179028 1.363261287337 8 4 3 1 0321 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 -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.307199223547 0.660281211304 7 11 2 10 0321 3012 0132 2031 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 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435852414516 0.932755855786 3 11 6 2 1302 0132 0213 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 -1 0 1 0 0 0 0 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093732648331 0.527466047292 3 8 5 6 0132 1302 2031 2103 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 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.756378806810 0.720874935104 8 9 6 5 1230 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 -2 2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.271063018844 1.221664757247 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_6'], 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1010_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1010_10']), 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_1010_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_0'], 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_6'], 'c_1010_6' : negation(d['c_1010_10']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : d['c_0110_6'], 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_8'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1010_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_7']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0110_6']})} 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_4, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0101_7, c_0110_6, c_1001_5, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 8553749924393330290621/74761002832548162418176*c_1010_10^9 + 88260598538093208700777/74761002832548162418176*c_1010_10^8 - 5281236440457257071291/584070334629282518892*c_1010_10^7 + 276563976492898529115371/9345125354068520302272*c_1010_10^6 - 3557401343198872369941371/18690250708137040604544*c_1010_10^5 + 534322851023620110924907/1335017907724074328896*c_1010_10^4 - 5783148924500475588692525/12460167138758027069696*c_1010_10^3 + 1258303654666719485277217/3560047753930864877056*c_1010_10^2 - 6994789871415945696500297/24920334277516054139392*c_1010_10 + 4816009773926424068403227/37380501416274081209088, c_0011_0 - 1, c_0011_10 - 11030412994981837/4035028218509723792*c_1010_10^9 + 117277975318692985/4035028218509723792*c_1010_10^8 - 56318660216611281/252189263656857737*c_1010_10^7 + 383421670494879593/504378527313715474*c_1010_10^6 - 4700290892576845827/1008757054627430948*c_1010_10^5 + 770468990313014555/72054075330530782*c_1010_10^4 - 23799733286091015703/2017514109254861896*c_1010_10^3 + 5081495693609543267/576432602644246256*c_1010_10^2 - 27298488110277602443/4035028218509723792*c_1010_10 + 7504727372416087907/2017514109254861896, c_0011_11 - 9196743481481491/8070056437019447584*c_1010_10^9 + 98949904060328679/8070056437019447584*c_1010_10^8 - 24062799630035380/252189263656857737*c_1010_10^7 + 338780562807840017/1008757054627430948*c_1010_10^6 - 4105724243560694893/2017514109254861896*c_1010_10^5 + 697085327283648477/144108150661061564*c_1010_10^4 - 26519091013529453113/4035028218509723792*c_1010_10^3 + 6477782438435191405/1152865205288492512*c_1010_10^2 - 29748445041894293077/8070056437019447584*c_1010_10 + 8456813126679061205/4035028218509723792, c_0011_4 - 6693092940211897/2017514109254861896*c_1010_10^9 + 66019460311641661/2017514109254861896*c_1010_10^8 - 62211561430828129/252189263656857737*c_1010_10^7 + 186723222301109581/252189263656857737*c_1010_10^6 - 2592640200713963801/504378527313715474*c_1010_10^5 + 330090397146418098/36027037665265391*c_1010_10^4 - 8479974956737214947/1008757054627430948*c_1010_10^3 + 1605411644902870895/288216301322123128*c_1010_10^2 - 8538349292443892503/2017514109254861896*c_1010_10 + 1414387508155229939/1008757054627430948, c_0011_8 - 30391568408476181/8070056437019447584*c_1010_10^9 + 306820809605761057/8070056437019447584*c_1010_10^8 - 73009932295715806/252189263656857737*c_1010_10^7 + 920763079592043071/1008757054627430948*c_1010_10^6 - 12273664744426076947/2017514109254861896*c_1010_10^5 + 1709694649637215707/144108150661061564*c_1010_10^4 - 52583123297794082991/4035028218509723792*c_1010_10^3 + 10407742839259644139/1152865205288492512*c_1010_10^2 - 48711528737354577187/8070056437019447584*c_1010_10 + 8761224139411395187/4035028218509723792, c_0101_0 + 4543327136693147/4035028218509723792*c_1010_10^9 - 41434604500187151/4035028218509723792*c_1010_10^8 + 19018427973509868/252189263656857737*c_1010_10^7 - 94803250785536451/504378527313715474*c_1010_10^6 + 1562184291547373653/1008757054627430948*c_1010_10^5 - 126843418018233659/72054075330530782*c_1010_10^4 + 677841238453115329/2017514109254861896*c_1010_10^3 + 729117152285319355/576432602644246256*c_1010_10^2 - 5441186600623270883/4035028218509723792*c_1010_10 + 2330514586746087331/2017514109254861896, c_0101_2 - 33754841006361357/8070056437019447584*c_1010_10^9 + 342117394060619257/8070056437019447584*c_1010_10^8 - 81301252818378976/252189263656857737*c_1010_10^7 + 1027882944792623603/1008757054627430948*c_1010_10^6 - 13604044163795025179/2017514109254861896*c_1010_10^5 + 1920398468937170627/144108150661061564*c_1010_10^4 - 56417681420001455191/4035028218509723792*c_1010_10^3 + 11193658566666488467/1152865205288492512*c_1010_10^2 - 63723234736714073707/8070056437019447584*c_1010_10 + 10564420175448125435/4035028218509723792, c_0101_3 - 60185456549545871/8070056437019447584*c_1010_10^9 + 613031138397011475/8070056437019447584*c_1010_10^8 - 146131770445204625/252189263656857737*c_1010_10^7 + 1870425482438538645/1008757054627430948*c_1010_10^6 - 24563428881957819593/2017514109254861896*c_1010_10^5 + 3535291888503520693/144108150661061564*c_1010_10^4 - 109855690455195111341/4035028218509723792*c_1010_10^3 + 23675818428836857873/1152865205288492512*c_1010_10^2 - 123592756005083514841/8070056437019447584*c_1010_10 + 24045243531748998249/4035028218509723792, c_0101_7 + 15853768790549787/8070056437019447584*c_1010_10^9 - 172530264523604719/8070056437019447584*c_1010_10^8 + 41670274749370451/252189263656857737*c_1010_10^7 - 587227594329246677/1008757054627430948*c_1010_10^6 + 6965328038113679653/2017514109254861896*c_1010_10^5 - 1215045192882326853/144108150661061564*c_1010_10^4 + 38945620674029138705/4035028218509723792*c_1010_10^3 - 8631543782179249829/1152865205288492512*c_1010_10^2 + 42974520246587071565/8070056437019447584*c_1010_10 - 9224229260194902701/4035028218509723792, c_0110_6 + 30423398506630679/8070056437019447584*c_1010_10^9 - 312029079203897403/8070056437019447584*c_1010_10^8 + 74505794851581946/252189263656857737*c_1010_10^7 - 964367777086772813/1008757054627430948*c_1010_10^6 + 12522397582581281497/2017514109254861896*c_1010_10^5 - 1843737760377902081/144108150661061564*c_1010_10^4 + 58070545512869691141/4035028218509723792*c_1010_10^3 - 12307837015830019593/1152865205288492512*c_1010_10^2 + 71313369767381785073/8070056437019447584*c_1010_10 - 15716105857086290401/4035028218509723792, c_1001_5 - 1, c_1010_10^10 - 11*c_1010_10^9 + 86*c_1010_10^8 - 312*c_1010_10^7 + 1836*c_1010_10^6 - 4624*c_1010_10^5 + 6358*c_1010_10^4 - 5805*c_1010_10^3 + 4533*c_1010_10^2 - 2736*c_1010_10 + 772 ], 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_4, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0101_7, c_0110_6, c_1001_5, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 15075168560967/20314347400*c_1010_10^10 - 633433906251829/162514779200*c_1010_10^9 - 3848250858428483/325029558400*c_1010_10^8 - 850107154765577/32502955840*c_1010_10^7 - 2971355043542651/81257389600*c_1010_10^6 - 7339084914527407/162514779200*c_1010_10^5 - 4776781617341707/162514779200*c_1010_10^4 - 4193071924544491/162514779200*c_1010_10^3 + 270810445038287/81257389600*c_1010_10^2 + 47152713348869/40628694800*c_1010_10 + 103767484163369/325029558400, c_0011_0 - 1, c_0011_10 - 1151353137/812573896*c_1010_10^10 - 48508102803/6500591168*c_1010_10^9 - 294873468189/13001182336*c_1010_10^8 - 326234230189/6500591168*c_1010_10^7 - 14326229127/203143474*c_1010_10^6 - 569321750587/6500591168*c_1010_10^5 - 383666538163/6500591168*c_1010_10^4 - 340685575531/6500591168*c_1010_10^3 + 2119132911/812573896*c_1010_10^2 + 4121795687/3250295584*c_1010_10 - 1755169613/13001182336, c_0011_11 - 1692351101/812573896*c_1010_10^10 - 73044582103/6500591168*c_1010_10^9 - 454573942145/13001182336*c_1010_10^8 - 514927323731/6500591168*c_1010_10^7 - 379075808913/3250295584*c_1010_10^6 - 971808653437/6500591168*c_1010_10^5 - 734300050973/6500591168*c_1010_10^4 - 641853191677/6500591168*c_1010_10^3 - 39370228679/3250295584*c_1010_10^2 - 5626697833/1625147792*c_1010_10 - 11770301733/13001182336, c_0011_4 - 1712413535/812573896*c_1010_10^10 - 75811868605/6500591168*c_1010_10^9 - 479155010027/13001182336*c_1010_10^8 - 548357424729/6500591168*c_1010_10^7 - 411939510691/3250295584*c_1010_10^6 - 1054150785015/6500591168*c_1010_10^5 - 825465697759/6500591168*c_1010_10^4 - 697240166935/6500591168*c_1010_10^3 - 66123771237/3250295584*c_1010_10^2 - 4786878557/1625147792*c_1010_10 - 6470935287/13001182336, c_0011_8 + 2387615353/812573896*c_1010_10^10 + 106740363115/6500591168*c_1010_10^9 + 679890826245/13001182336*c_1010_10^8 + 784197860741/6500591168*c_1010_10^7 + 37361068777/203143474*c_1010_10^6 + 1544504950147/6500591168*c_1010_10^5 + 1248922788923/6500591168*c_1010_10^4 + 1048343731539/6500591168*c_1010_10^3 + 30041486453/812573896*c_1010_10^2 + 12045588265/3250295584*c_1010_10 + 6361698453/13001182336, c_0101_0 + 2387615353/812573896*c_1010_10^10 + 106740363115/6500591168*c_1010_10^9 + 679890826245/13001182336*c_1010_10^8 + 784197860741/6500591168*c_1010_10^7 + 37361068777/203143474*c_1010_10^6 + 1544504950147/6500591168*c_1010_10^5 + 1248922788923/6500591168*c_1010_10^4 + 1048343731539/6500591168*c_1010_10^3 + 30041486453/812573896*c_1010_10^2 + 12045588265/3250295584*c_1010_10 + 6361698453/13001182336, c_0101_2 - c_1010_10, c_0101_3 + 1712413535/812573896*c_1010_10^10 + 75811868605/6500591168*c_1010_10^9 + 479155010027/13001182336*c_1010_10^8 + 548357424729/6500591168*c_1010_10^7 + 411939510691/3250295584*c_1010_10^6 + 1054150785015/6500591168*c_1010_10^5 + 825465697759/6500591168*c_1010_10^4 + 697240166935/6500591168*c_1010_10^3 + 66123771237/3250295584*c_1010_10^2 + 4786878557/1625147792*c_1010_10 + 6470935287/13001182336, c_0101_7 - 1151353137/812573896*c_1010_10^10 - 48508102803/6500591168*c_1010_10^9 - 294873468189/13001182336*c_1010_10^8 - 326234230189/6500591168*c_1010_10^7 - 14326229127/203143474*c_1010_10^6 - 569321750587/6500591168*c_1010_10^5 - 383666538163/6500591168*c_1010_10^4 - 340685575531/6500591168*c_1010_10^3 + 2119132911/812573896*c_1010_10^2 + 4121795687/3250295584*c_1010_10 - 1755169613/13001182336, c_0110_6 - 442015751/812573896*c_1010_10^10 - 17376256917/6500591168*c_1010_10^9 - 99911094555/13001182336*c_1010_10^8 - 104604237027/6500591168*c_1010_10^7 - 16192299599/812573896*c_1010_10^6 - 151301833045/6500591168*c_1010_10^5 - 62189165021/6500591168*c_1010_10^4 - 73928269317/6500591168*c_1010_10^3 + 1746936949/203143474*c_1010_10^2 - 1549442987/3250295584*c_1010_10 + 9006399269/13001182336, c_1001_5 - 1, c_1010_10^11 + 43/8*c_1010_10^10 + 267/16*c_1010_10^9 + 603/16*c_1010_10^8 + 441/8*c_1010_10^7 + 563/8*c_1010_10^6 + 209/4*c_1010_10^5 + 185/4*c_1010_10^4 + 39/8*c_1010_10^3 + 9/4*c_1010_10^2 + 1/16*c_1010_10 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.300 Total time: 2.509 seconds, Total memory usage: 64.12MB