Magma V2.19-8 Tue Aug 20 2013 23:47:39 on localhost [Seed = 2834219770] Type ? for help. Type -D to quit. Loading file "L11a37__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a37 geometric_solution 10.31877867 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 0 2 0 0132 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492193654133 0.301974611094 0 3 2 4 0132 0132 3012 0132 0 1 1 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 0 0 0 0 0 -2 1 1 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.228595426644 0.617921120848 5 1 6 0 0132 1230 0132 0132 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 0 0 0 0 0 0 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.923197821502 1.056343319212 6 1 7 7 2310 0132 0132 3120 0 1 1 1 0 1 0 -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 2 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 0 0 0 0 0.904564939226 1.806537645212 5 8 1 9 2103 0132 0132 0132 0 1 0 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 -1 -1 2 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.952282469613 0.903268822606 2 7 4 8 0132 0132 2103 0132 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 0 0 0 0 0 -1 1 1 0 0 -1 -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.642528097791 1.416072918471 10 11 3 2 0132 0132 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095018731860 0.944048612314 3 5 9 3 3120 0132 0213 0132 0 1 1 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029161079749 0.552004555911 10 4 5 10 2103 0132 0132 3201 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 0 0 0 0 1 -1 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058322159497 1.104009111822 11 7 4 11 0213 0213 0132 3012 0 1 1 0 0 0 -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 -2 2 0 0 0 0 0 1 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.058322159497 1.104009111822 6 8 8 11 0132 2310 2103 1023 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 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 1.058322159497 1.104009111822 9 6 9 10 0213 0132 1230 1023 1 1 1 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 1 -1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447226846706 0.524322111638 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : d['c_0110_11'], '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_0011_9'], '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' : negation(d['c_1001_11']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_11']), 'c_1100_10' : d['c_0110_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_7'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : negation(d['c_0110_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_10']})} 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_2, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0110_11, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 11519659873349124492580098491/43813942345346517689628180*c_1001_7^1\ 1 + 30335648431566776847080932278/3651161862112209807469015*c_1001_\ 7^10 - 2634242759703186993214691172143/8762788469069303537925636*c_\ 1001_7^9 + 59597000590261444218397678101617/21906971172673258844814\ 090*c_1001_7^8 - 27601506299756474632741096717141/36511618621122098\ 07469015*c_1001_7^7 + 10136993770612592210352217612573/365116186211\ 2209807469015*c_1001_7^6 + 20029827422604935799776481773803/4381394\ 2345346517689628180*c_1001_7^5 + 27565184691065988617211884383/1339\ 87591270172836971340*c_1001_7^4 - 13922854192409190781158089420569/\ 43813942345346517689628180*c_1001_7^3 + 931409426862300127994665526714/10953485586336629422407045*c_1001_7^\ 2 - 426639355784748167426526595697/43813942345346517689628180*c_100\ 1_7 + 26831395452007188874327164821/43813942345346517689628180, c_0011_0 - 1, c_0011_10 - 30140030561720380351/74026293519432506614*c_1001_7^11 + 474036251288078583761/37013146759716253307*c_1001_7^10 - 17162128461151109457932/37013146759716253307*c_1001_7^9 + 306900308187283952911809/74026293519432506614*c_1001_7^8 - 822733796950775299711361/74026293519432506614*c_1001_7^7 + 102348796119288504826006/37013146759716253307*c_1001_7^6 + 66011560142534272759501/74026293519432506614*c_1001_7^5 + 20024217062783345905839/37013146759716253307*c_1001_7^4 - 30951998637640109482673/74026293519432506614*c_1001_7^3 + 2991848562788798417055/37013146759716253307*c_1001_7^2 - 611811193463948757476/37013146759716253307*c_1001_7 + 156119654998768265211/74026293519432506614, c_0011_2 + 1, c_0011_4 + 467193907920612617/74026293519432506614*c_1001_7^11 - 7507382648024919405/37013146759716253307*c_1001_7^10 + 271069972644395109770/37013146759716253307*c_1001_7^9 - 2561058229596600382768/37013146759716253307*c_1001_7^8 + 8031765531143412061381/37013146759716253307*c_1001_7^7 - 6216020915835804426149/37013146759716253307*c_1001_7^6 + 2518367269087964307067/74026293519432506614*c_1001_7^5 + 96951704613611514435/37013146759716253307*c_1001_7^4 + 159189692355878148007/37013146759716253307*c_1001_7^3 - 165045831093798750928/37013146759716253307*c_1001_7^2 + 164729876970791933849/74026293519432506614*c_1001_7 - 63591961034692095747/74026293519432506614, c_0011_9 + 142171415145070415332/37013146759716253307*c_1001_7^11 - 8999035716467354967585/74026293519432506614*c_1001_7^10 + 162769775487614215270208/37013146759716253307*c_1001_7^9 - 1478845017732456854058589/37013146759716253307*c_1001_7^8 + 8316548642698320878230289/74026293519432506614*c_1001_7^7 - 1696275374611648421571735/37013146759716253307*c_1001_7^6 - 363950653744596671491305/74026293519432506614*c_1001_7^5 - 172691601808296586770175/74026293519432506614*c_1001_7^4 + 180631523384061061631889/37013146759716253307*c_1001_7^3 - 107926198289051332268375/74026293519432506614*c_1001_7^2 + 13171234132321975442867/74026293519432506614*c_1001_7 - 438696531459438268190/37013146759716253307, c_0101_0 - 9363907932916079758/37013146759716253307*c_1001_7^11 + 293629048660626552693/37013146759716253307*c_1001_7^10 - 10635928308837119410810/37013146759716253307*c_1001_7^9 + 94331367281697957526901/37013146759716253307*c_1001_7^8 - 247318713968425415059242/37013146759716253307*c_1001_7^7 + 47537724292060427701561/37013146759716253307*c_1001_7^6 + 6445894202540046499816/37013146759716253307*c_1001_7^5 + 7320648667519293510873/37013146759716253307*c_1001_7^4 - 7195937549296675178722/37013146759716253307*c_1001_7^3 + 2892586070841569429075/37013146759716253307*c_1001_7^2 - 5037487574842739894/37013146759716253307*c_1001_7 - 99343287940708451634/37013146759716253307, c_0101_1 + 199208784553623666/37013146759716253307*c_1001_7^11 - 6147331241780281577/37013146759716253307*c_1001_7^10 + 223201089998774827114/37013146759716253307*c_1001_7^9 - 1895392676523794883503/37013146759716253307*c_1001_7^8 + 4312847742284397005136/37013146759716253307*c_1001_7^7 + 1178281126650800394885/37013146759716253307*c_1001_7^6 + 282957746397118186056/37013146759716253307*c_1001_7^5 + 149692022115052234714/37013146759716253307*c_1001_7^4 + 578075138104600706354/37013146759716253307*c_1001_7^3 + 204094015833657746888/37013146759716253307*c_1001_7^2 + 57858873838485235264/37013146759716253307*c_1001_7 - 74664555132524690828/37013146759716253307, c_0101_10 - 149047995111248879663/74026293519432506614*c_1001_7^11 + 4694204654400577397007/74026293519432506614*c_1001_7^10 - 84961604990681759809242/37013146759716253307*c_1001_7^9 + 1524315665110486341861589/74026293519432506614*c_1001_7^8 - 2064214473591958020057981/37013146759716253307*c_1001_7^7 + 1175876610859630781929931/74026293519432506614*c_1001_7^6 + 141336101066634920599955/37013146759716253307*c_1001_7^5 + 157219014475612524964715/74026293519432506614*c_1001_7^4 - 158709173949066070238771/74026293519432506614*c_1001_7^3 + 36563346528182763349905/74026293519432506614*c_1001_7^2 - 2418197477162739080004/37013146759716253307*c_1001_7 + 197956138640060293118/37013146759716253307, c_0101_3 - 247301547973110666668/37013146759716253307*c_1001_7^11 + 7830145531859839122873/37013146759716253307*c_1001_7^10 - 283238814585489960729958/37013146759716253307*c_1001_7^9 + 2576275174987402037253038/37013146759716253307*c_1001_7^8 - 7267781609674075865786034/37013146759716253307*c_1001_7^7 + 3042682129379346031427112/37013146759716253307*c_1001_7^6 + 296348520147115629298118/37013146759716253307*c_1001_7^5 + 141452397890106079202183/37013146759716253307*c_1001_7^4 - 318508424121012650478158/37013146759716253307*c_1001_7^3 + 97728626524329707090785/37013146759716253307*c_1001_7^2 - 12084805634640896083550/37013146759716253307*c_1001_7 + 777177877743923589482/37013146759716253307, c_0110_11 + 74190482184673199925/74026293519432506614*c_1001_7^11 - 1169956476417868824351/37013146759716253307*c_1001_7^10 + 84689146085618040212931/74026293519432506614*c_1001_7^9 - 381315539670257468209028/37013146759716253307*c_1001_7^8 + 1046346193488612405538440/37013146759716253307*c_1001_7^7 - 710484956950544585914535/74026293519432506614*c_1001_7^6 - 31379123550180968465793/74026293519432506614*c_1001_7^5 - 71471105970319860056499/74026293519432506614*c_1001_7^4 + 71239730204502647259451/74026293519432506614*c_1001_7^3 - 13394126517382734900284/37013146759716253307*c_1001_7^2 + 2633446449136023610635/37013146759716253307*c_1001_7 - 159012251177029507690/37013146759716253307, c_1001_11 + 19634062602291332681/74026293519432506614*c_1001_7^11 - 616350694209918933801/74026293519432506614*c_1001_7^10 + 22322478566457038883853/74026293519432506614*c_1001_7^9 - 198562035723914504356777/74026293519432506614*c_1001_7^8 + 525488972604609954256351/74026293519432506614*c_1001_7^7 - 118502759390793641774701/74026293519432506614*c_1001_7^6 - 3871651345676944895042/37013146759716253307*c_1001_7^5 - 7191530227871626968323/37013146759716253307*c_1001_7^4 + 7619631893476917251409/37013146759716253307*c_1001_7^3 - 3132328602167692228010/37013146759716253307*c_1001_7^2 + 431459253180597794283/74026293519432506614*c_1001_7 + 35531800491747075613/37013146759716253307, c_1001_7^12 - 32*c_1001_7^11 + 1156*c_1001_7^10 - 10804*c_1001_7^9 + 32896*c_1001_7^8 - 22138*c_1001_7^7 + 2718*c_1001_7^6 - 108*c_1001_7^5 + 1500*c_1001_7^4 - 820*c_1001_7^3 + 173*c_1001_7^2 - 18*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB