Magma V2.19-8 Tue Aug 20 2013 23:53:26 on localhost [Seed = 2430008165] Type ? for help. Type -D to quit. Loading file "L13n5914__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5914 geometric_solution 10.89333356 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 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 1 -1 0 0 0 0 1 -2 0 1 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.958474784082 0.650108329473 0 3 2 5 0132 2103 2103 0132 1 1 1 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 2 0 -2 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 1.115645173938 0.612173439385 1 0 7 6 2103 0132 0132 0132 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 -3 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551543404949 1.271472850703 8 1 9 0 0132 2103 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 0 -1 0 0 0 0 0 -2 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555693541238 0.699869586064 7 9 0 6 0132 3012 0132 1230 1 1 1 0 0 0 0 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 -1 1 0 0 0 0 0 0 3 0 -3 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557123530393 0.768374787824 8 6 1 10 2103 3120 0132 0132 1 1 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0.835153387232 1.185121310969 4 5 2 11 3012 3120 0132 0132 1 1 1 1 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.516941965793 1.166125915847 4 8 10 2 0132 0321 2310 0132 1 1 0 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 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292018286096 0.682946564431 3 9 5 7 0132 3120 2103 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802324268302 0.548076437890 4 8 11 3 1230 3120 0213 0132 1 1 0 1 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 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.259940115854 0.318008452295 11 7 5 11 3201 3201 0132 2310 1 1 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 0 0 0 0 0 0 0 0 2 -2 -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.515200797792 0.978174061080 10 9 6 10 3201 0213 0132 2310 1 1 1 1 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 2 -3 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438443993401 0.531293413615 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_5']), 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_0011_9']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_9']), 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0011_5'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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_1100_9' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0011_9']), 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0011_9']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_5, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1341938650583035745949/370751781510466720*c_1001_0^12 + 14369598566366161292327/185375890755233360*c_1001_0^11 - 193900526036204166421609/370751781510466720*c_1001_0^10 + 65160955668773846970033/370751781510466720*c_1001_0^9 - 6444201161889327766771/10592908043156192*c_1001_0^8 + 285377872549303738254259/370751781510466720*c_1001_0^7 - 76147157133432045198119/185375890755233360*c_1001_0^6 + 59017384097815654787495/74150356302093344*c_1001_0^5 - 110429172215807392198079/370751781510466720*c_1001_0^4 + 27510060390865445658775/74150356302093344*c_1001_0^3 - 76280835679419901096993/370751781510466720*c_1001_0^2 + 146073911879599039307/1782460488031090*c_1001_0 - 18316139430611716987287/370751781510466720, c_0011_0 - 1, c_0011_10 - 56662742111/697636198838*c_1001_0^12 + 679255339947/348818099419*c_1001_0^11 - 5632677189295/348818099419*c_1001_0^10 + 23059417855937/697636198838*c_1001_0^9 - 11419838035179/697636198838*c_1001_0^8 + 13638028513907/348818099419*c_1001_0^7 - 29985343552885/697636198838*c_1001_0^6 + 12964619187807/697636198838*c_1001_0^5 - 10517175917351/348818099419*c_1001_0^4 + 4068137054311/348818099419*c_1001_0^3 - 5059733781639/697636198838*c_1001_0^2 + 1825926654379/348818099419*c_1001_0 + 304392570891/348818099419, c_0011_11 + 818483073917/1395272397676*c_1001_0^12 - 17622641444681/1395272397676*c_1001_0^11 + 30049000233326/348818099419*c_1001_0^10 - 51639561444351/1395272397676*c_1001_0^9 + 32827058801229/348818099419*c_1001_0^8 - 190300498368613/1395272397676*c_1001_0^7 + 102011182599089/1395272397676*c_1001_0^6 - 43253807765361/348818099419*c_1001_0^5 + 82768001866193/1395272397676*c_1001_0^4 - 38613059627349/697636198838*c_1001_0^3 + 48834491057809/1395272397676*c_1001_0^2 - 17389373037593/1395272397676*c_1001_0 + 2418754380333/348818099419, c_0011_4 - 8488396839/697636198838*c_1001_0^12 + 80892575623/348818099419*c_1001_0^11 - 388180975051/348818099419*c_1001_0^10 - 1468101828862/348818099419*c_1001_0^9 + 1257814774996/348818099419*c_1001_0^8 - 1390609883879/697636198838*c_1001_0^7 + 6052780945033/697636198838*c_1001_0^6 - 2779193783460/348818099419*c_1001_0^5 + 5111294883825/697636198838*c_1001_0^4 - 2695687987885/348818099419*c_1001_0^3 + 1653430285183/348818099419*c_1001_0^2 - 2454666385153/697636198838*c_1001_0 + 1719979654711/697636198838, c_0011_5 - 986810498245/1395272397676*c_1001_0^12 + 21163350314005/1395272397676*c_1001_0^11 - 35760105160483/348818099419*c_1001_0^10 + 48383199087671/1395272397676*c_1001_0^9 - 35669689737002/348818099419*c_1001_0^8 + 218528321729537/1395272397676*c_1001_0^7 - 107758850811217/1395272397676*c_1001_0^6 + 48170415489054/348818099419*c_1001_0^5 - 91087092775989/1395272397676*c_1001_0^4 + 43290303743799/697636198838*c_1001_0^3 - 57789961565465/1395272397676*c_1001_0^2 + 20995941695285/1395272397676*c_1001_0 - 2716809444618/348818099419, c_0011_6 - 1017991346779/1395272397676*c_1001_0^12 + 21627245713645/1395272397676*c_1001_0^11 - 35828658176716/348818099419*c_1001_0^10 + 23327169062925/1395272397676*c_1001_0^9 - 78640210662831/697636198838*c_1001_0^8 + 193348076244969/1395272397676*c_1001_0^7 - 68127480950219/1395272397676*c_1001_0^6 + 103070724422955/697636198838*c_1001_0^5 - 55585636342633/1395272397676*c_1001_0^4 + 42147469647177/697636198838*c_1001_0^3 - 50478874319503/1395272397676*c_1001_0^2 + 14033057578089/1395272397676*c_1001_0 - 3498681516042/348818099419, c_0011_9 - 868402232341/1395272397676*c_1001_0^12 + 18735274151923/1395272397676*c_1001_0^11 - 64163160903963/697636198838*c_1001_0^10 + 60015248898901/1395272397676*c_1001_0^9 - 34842309451633/348818099419*c_1001_0^8 + 206446537154043/1395272397676*c_1001_0^7 - 118000297518515/1395272397676*c_1001_0^6 + 46704981073788/348818099419*c_1001_0^5 - 96114249663111/1395272397676*c_1001_0^4 + 21456531313939/348818099419*c_1001_0^3 - 54694524274083/1395272397676*c_1001_0^2 + 21287705776321/1395272397676*c_1001_0 - 2452707967689/348818099419, c_0101_0 - 1, c_0101_1 + 1034968140457/1395272397676*c_1001_0^12 - 21950816016137/1395272397676*c_1001_0^11 + 36216839151767/348818099419*c_1001_0^10 - 17454761747477/1395272397676*c_1001_0^9 + 76124581112839/697636198838*c_1001_0^8 - 190566856477211/1395272397676*c_1001_0^7 + 56021919060153/1395272397676*c_1001_0^6 - 97512336856035/697636198838*c_1001_0^5 + 45363046574983/1395272397676*c_1001_0^4 - 36756093671407/697636198838*c_1001_0^3 + 43865153178771/1395272397676*c_1001_0^2 - 9123724807783/1395272397676*c_1001_0 + 5277383377373/697636198838, c_0101_10 + 289300982161/1395272397676*c_1001_0^12 - 6081962333957/1395272397676*c_1001_0^11 + 19636697215671/697636198838*c_1001_0^10 + 4306267677695/1395272397676*c_1001_0^9 + 15511951087781/697636198838*c_1001_0^8 - 46199450025341/1395272397676*c_1001_0^7 - 5980518870065/1395272397676*c_1001_0^6 - 18466581479599/697636198838*c_1001_0^5 + 2116048752965/1395272397676*c_1001_0^4 - 1598811165802/348818099419*c_1001_0^3 + 7022250418951/1395272397676*c_1001_0^2 + 2474264256433/1395272397676*c_1001_0 + 257969696381/348818099419, c_0101_11 + 12479789606/348818099419*c_1001_0^12 - 556316353621/697636198838*c_1001_0^11 + 4065160437311/697636198838*c_1001_0^10 - 4187843727275/697636198838*c_1001_0^9 + 2015250650404/348818099419*c_1001_0^8 - 8073019392715/697636198838*c_1001_0^7 + 7994557459713/697636198838*c_1001_0^6 - 3451173308427/348818099419*c_1001_0^5 + 6673123898459/697636198838*c_1001_0^4 - 4300003000529/697636198838*c_1001_0^3 + 2930016608137/697636198838*c_1001_0^2 - 974583184682/348818099419*c_1001_0 + 382771686775/348818099419, c_1001_0^13 - 22*c_1001_0^12 + 157*c_1001_0^11 - 133*c_1001_0^10 + 197*c_1001_0^9 - 311*c_1001_0^8 + 238*c_1001_0^7 - 287*c_1001_0^6 + 211*c_1001_0^5 - 151*c_1001_0^4 + 117*c_1001_0^3 - 56*c_1001_0^2 + 27*c_1001_0 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB