Magma V2.19-8 Tue Aug 20 2013 23:53:11 on localhost [Seed = 88305376] Type ? for help. Type -D to quit. Loading file "L13n4849__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4849 geometric_solution 11.40698088 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 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 -2 1 -1 0 1 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.847959707478 0.978023170135 0 4 0 5 0132 0132 3012 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 1 -1 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.493926100065 0.583697545499 6 7 6 0 0132 0132 2310 0132 1 1 1 1 0 0 1 -1 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 -2 2 0 0 1 -1 -1 0 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603291548947 0.654296151025 8 7 0 9 0132 0321 0132 0132 1 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 -1 1 0 0 0 0 0 1 0 -1 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218260393775 0.721686476233 10 1 11 9 0132 0132 0132 3120 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 -1 0 1 0 0 0 0 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562735070735 0.665518070941 6 11 1 11 2103 2103 0132 3120 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 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669059924772 0.699496401502 2 2 5 10 0132 3201 2103 2103 1 1 1 1 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 2 -2 0 0 0 0 0 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417334033154 0.973003898229 9 2 8 3 3201 0132 1230 0321 1 0 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 0 0 0 0 0 0 0 -3 0 0 3 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.804306057893 0.674071108353 3 10 11 7 0132 1230 3120 3012 1 1 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 -2 2 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.270589122651 1.253435904110 4 10 3 7 3120 0132 0132 2310 1 1 0 1 0 -1 1 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 2 -1 -1 0 0 0 0 -3 0 0 3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937670242779 0.690229135160 4 9 8 6 0132 0132 3012 2103 1 1 1 0 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 -2 2 0 0 0 0 0 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.625351628477 0.474072969000 5 5 8 4 3120 2103 3120 0132 1 1 1 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 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 0.371302812741 0.619914955295 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_1001_2'], '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_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_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_2']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0011_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_11']), '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_0'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_5'])})} 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_11, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 12454067063834490016727733451/37258069202488282743680*c_1001_2^12 - 133783908243954138182372444931/74516138404976565487360*c_1001_2^11 - 728809913502631821249412944191/149032276809953130974720*c_1001_2^10 - 683510080472932411972783201723/74516138404976565487360*c_1001_2^9 - 104645923095258608380460037547/8766604518232537116160*c_1001_2^8 - 51740577622286682809358530147/4383302259116268558080*c_1001_2^7 - 140052693479566157220035357949/14903227680995313097472*c_1001_2^6 - 927036951285487178646189689727/149032276809953130974720*c_1001_2^5 - 24298015438539544186953135891/7451613840497656548736*c_1001_2^4 - 91919260026171793450570934541/74516138404976565487360*c_1001_2^3 - 42615932189926359755235234799/149032276809953130974720*c_1001_2^2 - 4543133612665188111470477597/149032276809953130974720*c_1001_2 - 161260310154634453112763461/149032276809953130974720, c_0011_0 - 1, c_0011_11 + 15572645843824174877433/13697819559738339244*c_1001_2^12 + 166380301478649648123965/27395639119476678488*c_1001_2^11 + 902508917949765551815993/54791278238953356976*c_1001_2^10 + 421813395298095862291993/13697819559738339244*c_1001_2^9 + 2185674638722882499992003/54791278238953356976*c_1001_2^8 + 1077016898478463528337043/27395639119476678488*c_1001_2^7 + 854725864504625848680623/27395639119476678488*c_1001_2^6 + 1128568878899001053048065/54791278238953356976*c_1001_2^5 + 294514712571434466268119/27395639119476678488*c_1001_2^4 + 55369246966124506111227/13697819559738339244*c_1001_2^3 + 50970401098866775574219/54791278238953356976*c_1001_2^2 + 5499322443968423959887/54791278238953356976*c_1001_2 + 266072144828649298009/54791278238953356976, c_0011_2 + 5470887954260622966912/17122274449672924055*c_1001_2^12 + 57964592235393398819787/34244548899345848110*c_1001_2^11 + 310252663588012005956117/68489097798691696220*c_1001_2^10 + 1141986378243980863811629/136978195597383392440*c_1001_2^9 + 1446143451740740396930581/136978195597383392440*c_1001_2^8 + 691668777847025672221161/68489097798691696220*c_1001_2^7 + 53288953477102586015977/6848909779869169622*c_1001_2^6 + 341173314441282160425859/68489097798691696220*c_1001_2^5 + 67739387155857595452133/27395639119476678488*c_1001_2^4 + 114716498955094440114623/136978195597383392440*c_1001_2^3 + 20145136123058680896391/136978195597383392440*c_1001_2^2 + 145762876371416628187/34244548899345848110*c_1001_2 + 5826335883258422969/136978195597383392440, c_0011_3 + 3567347618491459315909/17122274449672924055*c_1001_2^12 + 38381999657365645348279/34244548899345848110*c_1001_2^11 + 211539091760634907021959/68489097798691696220*c_1001_2^10 + 404078642689111843701229/68489097798691696220*c_1001_2^9 + 135027892945197796438114/17122274449672924055*c_1001_2^8 + 138952584970706504447068/17122274449672924055*c_1001_2^7 + 46140743551935775732737/6848909779869169622*c_1001_2^6 + 318477174233933621947323/68489097798691696220*c_1001_2^5 + 35493313394868010589575/13697819559738339244*c_1001_2^4 + 75507779294250569946923/68489097798691696220*c_1001_2^3 + 11075554971296205227473/34244548899345848110*c_1001_2^2 + 3746997712731848016223/68489097798691696220*c_1001_2 + 134529680694183434377/34244548899345848110, c_0011_5 - 60247985944476034234521/136978195597383392440*c_1001_2^12 - 628717196674584694431381/273956391194766784880*c_1001_2^11 - 3337763848018522684172641/547912782389533569760*c_1001_2^10 - 765865861074137295992577/68489097798691696220*c_1001_2^9 - 7731716298000279040283959/547912782389533569760*c_1001_2^8 - 3718828102643763364970199/273956391194766784880*c_1001_2^7 - 576713014414134533671859/54791278238953356976*c_1001_2^6 - 3712853170671773458086057/547912782389533569760*c_1001_2^5 - 186403144672260891360141/54791278238953356976*c_1001_2^4 - 81475771073770219507609/68489097798691696220*c_1001_2^3 - 126574562089687288913559/547912782389533569760*c_1001_2^2 - 6940756409180960339167/547912782389533569760*c_1001_2 + 18788458848328316099/547912782389533569760, c_0101_0 - 1, c_0101_1 + 65077123635625039065737/136978195597383392440*c_1001_2^12 + 711395679976494655430677/273956391194766784880*c_1001_2^11 + 3954210193361008494087937/547912782389533569760*c_1001_2^10 + 236581214047141303824211/17122274449672924055*c_1001_2^9 + 10137001442102603131043263/547912782389533569760*c_1001_2^8 + 5176439364336361565797743/273956391194766784880*c_1001_2^7 + 850433643071236650397795/54791278238953356976*c_1001_2^6 + 5801655894137810234350089/547912782389533569760*c_1001_2^5 + 318213946255948818005481/54791278238953356976*c_1001_2^4 + 81594143336934239411399/34244548899345848110*c_1001_2^3 + 353977912203754975021263/547912782389533569760*c_1001_2^2 + 51750038334524148073519/547912782389533569760*c_1001_2 + 2570217219310881264997/547912782389533569760, c_0101_10 - 78104034451980698014413/136978195597383392440*c_1001_2^12 - 810961144700818874434273/273956391194766784880*c_1001_2^11 - 4279211991916966614471053/547912782389533569760*c_1001_2^10 - 1951503464845771300128957/136978195597383392440*c_1001_2^9 - 9758244775415878003313407/547912782389533569760*c_1001_2^8 - 4640440920163506031163727/273956391194766784880*c_1001_2^7 - 711078994744133280522679/54791278238953356976*c_1001_2^6 - 4512606238599566003476421/547912782389533569760*c_1001_2^5 - 221334144734814999459319/54791278238953356976*c_1001_2^4 - 183754186491529381408319/136978195597383392440*c_1001_2^3 - 120420538651875073038247/547912782389533569760*c_1001_2^2 + 1410296449450190653909/547912782389533569760*c_1001_2 + 976218820604864799827/547912782389533569760, c_0101_11 + 89534571358754070421997/136978195597383392440*c_1001_2^12 + 956343142500244382473897/273956391194766784880*c_1001_2^11 + 5184890099695466735999557/547912782389533569760*c_1001_2^10 + 302696869079816412335051/17122274449672924055*c_1001_2^9 + 12534005881354957233739963/547912782389533569760*c_1001_2^8 + 6166718641648031822807323/273956391194766784880*c_1001_2^7 + 977054274314366450131343/54791278238953356976*c_1001_2^6 + 6439157194391324940485229/547912782389533569760*c_1001_2^5 + 335106563111855363784317/54791278238953356976*c_1001_2^4 + 78302964882842467450479/34244548899345848110*c_1001_2^3 + 283504070634841662293323/547912782389533569760*c_1001_2^2 + 29183680095878218284939/547912782389533569760*c_1001_2 + 992024655965792425977/547912782389533569760, c_0101_4 - 15980664177380074438133/34244548899345848110*c_1001_2^12 - 167401844017958510355883/68489097798691696220*c_1001_2^11 - 892483386142752687034003/136978195597383392440*c_1001_2^10 - 1645774466826338420305003/136978195597383392440*c_1001_2^9 - 1046070265758485941611031/68489097798691696220*c_1001_2^8 - 507859106553617892814751/34244548899345848110*c_1001_2^7 - 159339640611517936142985/13697819559738339244*c_1001_2^6 - 1040106857123310021988671/136978195597383392440*c_1001_2^5 - 106586261948796676682165/27395639119476678488*c_1001_2^4 - 195459222783393687317441/136978195597383392440*c_1001_2^3 - 10871414701420128193663/34244548899345848110*c_1001_2^2 - 4806109455915186425511/136978195597383392440*c_1001_2 - 35101966644314449526/17122274449672924055, c_0101_8 + 784299995558681482765/27395639119476678488*c_1001_2^12 + 8917891404648817934617/54791278238953356976*c_1001_2^11 + 47990858933911046549461/109582556477906713952*c_1001_2^10 + 10644541357030445166123/13697819559738339244*c_1001_2^9 + 101689341548655193050179/109582556477906713952*c_1001_2^8 + 41194364519079526382595/54791278238953356976*c_1001_2^7 + 25766636109606640479707/54791278238953356976*c_1001_2^6 + 24259824568899619675389/109582556477906713952*c_1001_2^5 + 2377494213976998436061/54791278238953356976*c_1001_2^4 - 595062341393793855779/13697819559738339244*c_1001_2^3 - 4511625961920163615181/109582556477906713952*c_1001_2^2 - 1502832842976059283013/109582556477906713952*c_1001_2 - 124988417619012980831/109582556477906713952, c_1001_2^13 + 1599/274*c_1001_2^12 + 9379/548*c_1001_2^11 + 18733/548*c_1001_2^10 + 26479/548*c_1001_2^9 + 28305/548*c_1001_2^8 + 6057/137*c_1001_2^7 + 17199/548*c_1001_2^6 + 9967/548*c_1001_2^5 + 2217/274*c_1001_2^4 + 1375/548*c_1001_2^3 + 129/274*c_1001_2^2 + 6/137*c_1001_2 + 1/548 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.320 seconds, Total memory usage: 32.09MB