Magma V2.19-8 Tue Aug 20 2013 23:47:37 on localhost [Seed = 981225578] Type ? for help. Type -D to quit. Loading file "L11a200__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a200 geometric_solution 10.90778892 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 1 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 1 0 -1 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070968459861 0.790977397030 0 5 7 6 0132 0132 0132 0132 1 0 1 1 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 -1 0 -3 4 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580470054468 0.664447399116 5 0 5 8 2031 0132 0132 0132 1 1 1 1 0 0 -1 1 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 -1 -5 6 5 0 0 -5 -1 0 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773978617144 0.743931664397 4 9 10 0 3120 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.291722294583 0.559876052065 6 7 0 3 0132 0132 0132 3120 1 0 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 1 -1 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788778661239 0.729087982878 8 1 2 2 3012 0132 1302 0132 1 1 1 1 0 0 -1 1 -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 -5 5 -6 0 6 0 5 -5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429451239698 0.233690262578 4 8 1 11 0132 1023 0132 0132 1 0 1 1 0 0 0 0 0 0 1 -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 0 0 0 0 0 -4 4 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254312260749 0.853567337512 11 4 10 1 0132 0132 3120 0132 1 0 1 1 0 0 0 0 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 0 0 0 -3 0 0 3 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316329559208 0.631933807447 6 11 2 5 1023 0132 0132 1230 1 1 1 1 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 0 0 0 0 0 0 0 0 -6 6 0 0 5 -5 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.096102246013 1.170740900427 10 3 9 9 1230 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066672567450 1.444114263813 11 9 7 3 3120 3012 3120 0132 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 0 0 0 0 0 0 0 0 0 0 -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.868926056725 0.686864610385 7 8 6 10 0132 0132 0132 3120 1 0 1 1 0 0 0 0 -1 0 1 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 3 0 -4 1 0 -1 0 1 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.112526576492 1.254162465196 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0101_9']), '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_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_1100_9' : d['c_0101_9'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_0'], 'c_1100_8' : d['c_0101_2'], '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' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), '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_3'], 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], '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_2, c_0101_3, c_0101_8, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 730488227654397403327/7947186052615566624000*c_1001_1^16 - 1723385525788648288831/7947186052615566624000*c_1001_1^15 + 2551112612821544823473/7947186052615566624000*c_1001_1^14 + 15755838314648608778947/7947186052615566624000*c_1001_1^13 + 8193513573295298908693/3973593026307783312000*c_1001_1^12 - 2917606345581472346647/794718605261556662400*c_1001_1^11 - 533316220085252390651/52981240350770444160*c_1001_1^10 - 684334979665463727583/567656146615397616000*c_1001_1^9 + 8544221895086753601241/567656146615397616000*c_1001_1^8 + 53129993033957301613129/3973593026307783312000*c_1001_1^7 - 92492246955714471393571/7947186052615566624000*c_1001_1^6 - 24430567873281794530123/1324531008769261104000*c_1001_1^5 - 2034862434226460295529/1589437210523113324800*c_1001_1^4 + 560230716233385176863/37843743107693174400*c_1001_1^3 + 812296916242269364199/1324531008769261104000*c_1001_1^2 - 2716280143944517681669/7947186052615566624000*c_1001_1 - 47989390652938309349783/7947186052615566624000, c_0011_0 - 1, c_0011_10 - 18864047040/241591994467*c_1001_1^16 - 90334270261/241591994467*c_1001_1^15 - 138955762965/241591994467*c_1001_1^14 + 119913623631/241591994467*c_1001_1^13 + 715252582769/241591994467*c_1001_1^12 + 705202538266/241591994467*c_1001_1^11 - 828929387661/241591994467*c_1001_1^10 - 2042480964241/241591994467*c_1001_1^9 - 408808658001/241591994467*c_1001_1^8 + 2497233589082/241591994467*c_1001_1^7 + 1843479434561/241591994467*c_1001_1^6 - 1331746400657/241591994467*c_1001_1^5 - 2249633716927/241591994467*c_1001_1^4 + 520613869907/241591994467*c_1001_1^3 + 1098274275918/241591994467*c_1001_1^2 + 215621971291/241591994467*c_1001_1 - 664388030528/241591994467, c_0011_11 + c_1001_1, c_0011_3 - 4723219693/483183988934*c_1001_1^16 - 32315385693/483183988934*c_1001_1^15 - 60036235777/483183988934*c_1001_1^14 + 82638057957/483183988934*c_1001_1^13 + 242858402440/241591994467*c_1001_1^12 + 276075482758/241591994467*c_1001_1^11 - 320246321934/241591994467*c_1001_1^10 - 1032417608556/241591994467*c_1001_1^9 - 354086225343/241591994467*c_1001_1^8 + 1307377736698/241591994467*c_1001_1^7 + 2407667907779/483183988934*c_1001_1^6 - 789510083680/241591994467*c_1001_1^5 - 3253968510783/483183988934*c_1001_1^4 + 128510118283/241591994467*c_1001_1^3 + 966554354546/241591994467*c_1001_1^2 + 105252185981/483183988934*c_1001_1 - 1243230243423/483183988934, c_0101_0 - 1, c_0101_1 - 7318669107/483183988934*c_1001_1^16 - 74321439615/483183988934*c_1001_1^15 - 284264656565/483183988934*c_1001_1^14 - 488989491425/483183988934*c_1001_1^13 - 18460420030/241591994467*c_1001_1^12 + 726066839167/241591994467*c_1001_1^11 + 1211709304223/241591994467*c_1001_1^10 + 177857181566/241591994467*c_1001_1^9 - 1659701047679/241591994467*c_1001_1^8 - 1644026897474/241591994467*c_1001_1^7 + 1567358670183/483183988934*c_1001_1^6 + 2199016626893/241591994467*c_1001_1^5 + 1522299048369/483183988934*c_1001_1^4 - 1104254064625/241591994467*c_1001_1^3 - 539728180076/241591994467*c_1001_1^2 + 934125464009/483183988934*c_1001_1 + 1175084009809/483183988934, c_0101_10 - 1, c_0101_2 - 137570673737/966367977868*c_1001_1^16 - 689726071501/966367977868*c_1001_1^15 - 1224436521105/966367977868*c_1001_1^14 + 318764835013/966367977868*c_1001_1^13 + 2390186370511/483183988934*c_1001_1^12 + 3102584985577/483183988934*c_1001_1^11 - 1592858118781/483183988934*c_1001_1^10 - 6810348929261/483183988934*c_1001_1^9 - 3335516280961/483183988934*c_1001_1^8 + 6845333821489/483183988934*c_1001_1^7 + 15649073595299/966367977868*c_1001_1^6 - 1456122567427/483183988934*c_1001_1^5 - 14073544343031/966367977868*c_1001_1^4 - 612401147179/483183988934*c_1001_1^3 + 2760044217921/483183988934*c_1001_1^2 + 4376788952749/966367977868*c_1001_1 - 2231967886929/966367977868, c_0101_3 - 26554460430/241591994467*c_1001_1^16 - 102335990702/241591994467*c_1001_1^15 - 65323178293/241591994467*c_1001_1^14 + 419278369440/241591994467*c_1001_1^13 + 1013313114188/241591994467*c_1001_1^12 + 145413850475/241591994467*c_1001_1^11 - 2517410919930/241591994467*c_1001_1^10 - 2783018397253/241591994467*c_1001_1^9 + 1714494124648/241591994467*c_1001_1^8 + 5468863040867/241591994467*c_1001_1^7 + 1351095113429/241591994467*c_1001_1^6 - 4592158853810/241591994467*c_1001_1^5 - 3661914043917/241591994467*c_1001_1^4 + 2214728390414/241591994467*c_1001_1^3 + 1915983216925/241591994467*c_1001_1^2 + 11591422226/241591994467*c_1001_1 - 1222924745026/241591994467, c_0101_8 - 63987188393/966367977868*c_1001_1^16 - 312816745113/966367977868*c_1001_1^15 - 501118850497/966367977868*c_1001_1^14 + 311168708125/966367977868*c_1001_1^13 + 1121797125091/483183988934*c_1001_1^12 + 1123857016797/483183988934*c_1001_1^11 - 1300511289303/483183988934*c_1001_1^10 - 3102533217115/483183988934*c_1001_1^9 - 316147939255/483183988934*c_1001_1^8 + 4136991019987/483183988934*c_1001_1^7 + 5809605954131/966367977868*c_1001_1^6 - 2378504601015/483183988934*c_1001_1^5 - 6671188169035/966367977868*c_1001_1^4 + 893392435685/483183988934*c_1001_1^3 + 1711479346251/483183988934*c_1001_1^2 + 482381745069/966367977868*c_1001_1 - 231432026365/966367977868, c_0101_9 - 52510895493/483183988934*c_1001_1^16 - 254274906565/483183988934*c_1001_1^15 - 405712164693/483183988934*c_1001_1^14 + 267879022053/483183988934*c_1001_1^13 + 944189810016/241591994467*c_1001_1^12 + 990383082249/241591994467*c_1001_1^11 - 978350491568/241591994467*c_1001_1^10 - 2608889494327/241591994467*c_1001_1^9 - 667437434720/241591994467*c_1001_1^8 + 2955378652681/241591994467*c_1001_1^7 + 4831931187609/483183988934*c_1001_1^6 - 1185415427329/241591994467*c_1001_1^5 - 4591405177309/483183988934*c_1001_1^4 + 332416182068/241591994467*c_1001_1^3 + 834432609971/241591994467*c_1001_1^2 + 611525044339/483183988934*c_1001_1 - 690761886307/483183988934, c_1001_1^17 + 4*c_1001_1^16 + 4*c_1001_1^15 - 10*c_1001_1^14 - 29*c_1001_1^13 - 8*c_1001_1^12 + 60*c_1001_1^11 + 56*c_1001_1^10 - 56*c_1001_1^9 - 116*c_1001_1^8 + 19*c_1001_1^7 + 117*c_1001_1^6 + 29*c_1001_1^5 - 105*c_1001_1^4 - 12*c_1001_1^3 + 25*c_1001_1^2 + 26*c_1001_1 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB