Magma V2.19-8 Wed Aug 21 2013 01:07:11 on localhost [Seed = 1679981721] Type ? for help. Type -D to quit. Loading file "L14n32951__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32951 geometric_solution 11.36668833 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 2310 0132 0132 1 0 0 1 0 0 0 0 -1 0 2 -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 -1 0 1 -2 0 3 -1 0 2 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462073882201 0.505247159373 0 4 4 0 0132 0132 3201 3201 1 0 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 0 0 0 0 -1 0 1 2 0 0 -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.985679886661 1.077775615481 5 5 3 0 0132 3201 0213 0132 1 0 1 0 0 0 0 0 1 0 1 -2 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 2 -3 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.832782610115 0.697327991644 6 2 0 7 0132 0213 0132 0132 1 0 0 0 0 0 0 0 0 0 1 -1 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 0 -1 1 0 0 1 -1 0 -2 0 2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650167087416 0.499278524441 1 1 5 6 2310 0132 0213 0213 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 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.462073882201 0.505247159373 2 4 2 8 0132 0213 2310 0132 1 0 0 1 0 0 0 0 -1 0 1 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 -1 0 1 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.294128320501 0.591059508982 3 9 8 4 0132 0132 0132 0213 1 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 -1 0 1 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.425932526134 0.428810225051 10 11 3 11 0132 0132 0132 0213 1 0 0 0 0 0 0 0 0 0 1 -1 -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 0 -1 1 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.221162531514 1.274785932866 9 10 5 6 0213 0213 0132 0132 1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910034556832 0.828173374042 8 6 12 10 0213 0132 0132 0213 1 0 0 0 0 0 1 -1 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 1 -3 2 0 0 2 -2 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.657893179488 0.560998869974 7 12 8 9 0132 0132 0213 0213 1 0 0 0 0 -1 0 1 0 0 0 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 2 0 -2 0 0 0 0 -2 0 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.227545326243 0.401746030825 12 7 12 7 0132 0132 0321 0213 1 0 0 0 0 0 0 0 0 0 1 -1 -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 0 1 -1 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.221162531514 1.274785932866 11 10 11 9 0132 0132 0321 0132 1 0 0 0 0 1 0 -1 0 0 1 -1 -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 -2 -1 3 0 0 2 -2 -2 0 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221162531514 1.274785932866 ==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' : d['c_1001_10'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_10'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_1001_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : 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_1001_11'], 'c_1100_8' : d['c_0011_2'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_1001_6'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_1001_6'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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'], 'c_1100_12' : d['c_1001_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : negation(d['c_0011_8']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_6']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_1001_0, c_1001_10, c_1001_11, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 31222374703658626941478/1580532518030825*c_1001_7^14 - 2898783733495792822434/1580532518030825*c_1001_7^13 - 357526450536233216963033/3161065036061650*c_1001_7^12 - 591881611964938559773861/3161065036061650*c_1001_7^11 + 489287140976351271838881/6322130072123300*c_1001_7^10 + 1617869885524328236907743/3161065036061650*c_1001_7^9 + 21967435510626911612065683/50577040576986400*c_1001_7^8 - 420564913803000756295947/1011540811539728*c_1001_7^7 - 66108315284917877151165701/50577040576986400*c_1001_7^6 - 146217443666560727313857559/101154081153972800*c_1001_7^5 - 19244717271398196068940343/20230816230794560*c_1001_7^4 - 20814721201478354407278831/50577040576986400*c_1001_7^3 - 2978548871941426831789741/25288520288493200*c_1001_7^2 - 418063843686589567296643/20230816230794560*c_1001_7 - 177691595308725093939093/101154081153972800, c_0011_0 - 1, c_0011_10 - 7282168851536888/66556865195045*c_1001_7^14 + 1753299683365936/66556865195045*c_1001_7^13 + 41336835749722554/66556865195045*c_1001_7^12 + 62988310116082892/66556865195045*c_1001_7^11 - 37215968870817909/66556865195045*c_1001_7^10 - 182869260176606603/66556865195045*c_1001_7^9 - 214817872390028923/106490984312072*c_1001_7^8 + 1369017093252538199/532454921560360*c_1001_7^7 + 1828801185873128413/266227460780180*c_1001_7^6 + 7498862453590787691/1064909843120720*c_1001_7^5 + 2278561885449300333/532454921560360*c_1001_7^4 + 885425145449940103/532454921560360*c_1001_7^3 + 216897993227569909/532454921560360*c_1001_7^2 + 58919486131948737/1064909843120720*c_1001_7 + 1333153343656359/532454921560360, c_0011_2 + 15165960481972/154424281195*c_1001_7^14 - 8574283848724/154424281195*c_1001_7^13 - 82864273381111/154424281195*c_1001_7^12 - 104236796907113/154424281195*c_1001_7^11 + 217620263113847/308848562390*c_1001_7^10 + 340501140503412/154424281195*c_1001_7^9 + 545852485235097/494157699824*c_1001_7^8 - 398677974466562/154424281195*c_1001_7^7 - 12965524021973173/2470788499120*c_1001_7^6 - 23170024580241353/4941576998240*c_1001_7^5 - 12561604189290063/4941576998240*c_1001_7^4 - 2222177948235799/2470788499120*c_1001_7^3 - 248585991004011/1235394249560*c_1001_7^2 - 127441772585321/4941576998240*c_1001_7 - 9620450409989/4941576998240, c_0011_3 - 4830446598514056/66556865195045*c_1001_7^14 + 2560586079086032/66556865195045*c_1001_7^13 + 26594574546165318/66556865195045*c_1001_7^12 + 34020580110638644/66556865195045*c_1001_7^11 - 34015592863473763/66556865195045*c_1001_7^10 - 110128701965469221/66556865195045*c_1001_7^9 - 91448959124156565/106490984312072*c_1001_7^8 + 1015464085491146713/532454921560360*c_1001_7^7 + 1051054411286027441/266227460780180*c_1001_7^6 + 3789353058419641437/1064909843120720*c_1001_7^5 + 1032651523104294431/532454921560360*c_1001_7^4 + 366100622207040511/532454921560360*c_1001_7^3 + 80673434150158383/532454921560360*c_1001_7^2 + 17421273780772499/1064909843120720*c_1001_7 - 17291713001247/532454921560360, c_0011_8 - 5999805135797668/66556865195045*c_1001_7^14 + 2258481250961716/66556865195045*c_1001_7^13 + 33794482708246059/66556865195045*c_1001_7^12 + 47172710876993617/66556865195045*c_1001_7^11 - 74447321156453643/133113730390090*c_1001_7^10 - 145224435554744618/66556865195045*c_1001_7^9 - 287993139820828997/212981968624144*c_1001_7^8 + 612010316825493227/266227460780180*c_1001_7^7 + 5661943536151893197/1064909843120720*c_1001_7^6 + 10774604409852269477/2129819686241440*c_1001_7^5 + 6094010193984572247/2129819686241440*c_1001_7^4 + 1097452720421678411/1064909843120720*c_1001_7^3 + 121739791661888419/532454921560360*c_1001_7^2 + 55151337694366029/2129819686241440*c_1001_7 + 1366939526581861/2129819686241440, c_0101_0 + 15165960481972/154424281195*c_1001_7^14 - 8574283848724/154424281195*c_1001_7^13 - 82864273381111/154424281195*c_1001_7^12 - 104236796907113/154424281195*c_1001_7^11 + 217620263113847/308848562390*c_1001_7^10 + 340501140503412/154424281195*c_1001_7^9 + 545852485235097/494157699824*c_1001_7^8 - 398677974466562/154424281195*c_1001_7^7 - 12965524021973173/2470788499120*c_1001_7^6 - 23170024580241353/4941576998240*c_1001_7^5 - 12561604189290063/4941576998240*c_1001_7^4 - 2222177948235799/2470788499120*c_1001_7^3 - 248585991004011/1235394249560*c_1001_7^2 - 127441772585321/4941576998240*c_1001_7 - 9620450409989/4941576998240, c_0101_1 - 1, c_0101_6 - 8544914016118996/66556865195045*c_1001_7^14 + 3423741857946932/66556865195045*c_1001_7^13 + 48070500525318303/66556865195045*c_1001_7^12 + 65946411384875489/66556865195045*c_1001_7^11 - 109616746398025351/133113730390090*c_1001_7^10 - 205112388116803856/66556865195045*c_1001_7^9 - 391525451630474337/212981968624144*c_1001_7^8 + 220938731278756346/66556865195045*c_1001_7^7 + 7941837937811607649/1064909843120720*c_1001_7^6 + 14905817844878232769/2129819686241440*c_1001_7^5 + 8365428063458202839/2129819686241440*c_1001_7^4 + 1528247247324340477/1064909843120720*c_1001_7^3 + 89128285167278209/266227460780180*c_1001_7^2 + 91459182200549413/2129819686241440*c_1001_7 + 4551451803286777/2129819686241440, c_1001_0 - 1/2*c_1001_7 + 1/2, c_1001_10 - c_1001_7, c_1001_11 + 10951609370112/154424281195*c_1001_7^14 - 120815782784/154424281195*c_1001_7^13 - 64637738993056/154424281195*c_1001_7^12 - 107402138866528/154424281195*c_1001_7^11 + 44087710930936/154424281195*c_1001_7^10 + 297482620010032/154424281195*c_1001_7^9 + 49659756084004/30884856239*c_1001_7^8 - 248253681670962/154424281195*c_1001_7^7 - 1510079645157941/308848562390*c_1001_7^6 - 1618975431516953/308848562390*c_1001_7^5 - 1013683032508423/308848562390*c_1001_7^4 - 817399253611181/617697124780*c_1001_7^3 - 105808147720139/308848562390*c_1001_7^2 - 31800182664847/617697124780*c_1001_7 - 486568880292/154424281195, c_1001_6 + 11902144378568/154424281195*c_1001_7^14 - 5099037881856/154424281195*c_1001_7^13 - 66409874843174/154424281195*c_1001_7^12 - 90512752331712/154424281195*c_1001_7^11 + 76893951034559/154424281195*c_1001_7^10 + 282188550184143/154424281195*c_1001_7^9 + 266834129560861/247078849912*c_1001_7^8 - 2447447258971559/1235394249560*c_1001_7^7 - 2734122772608683/617697124780*c_1001_7^6 - 10257468085504221/2470788499120*c_1001_7^5 - 719617066665307/308848562390*c_1001_7^4 - 131252194759406/154424281195*c_1001_7^3 - 123753315245787/617697124780*c_1001_7^2 - 70070315570597/2470788499120*c_1001_7 - 2448949997969/1235394249560, c_1001_7^15 - 23/4*c_1001_7^13 - 10*c_1001_7^12 + 25/8*c_1001_7^11 + 211/8*c_1001_7^10 + 1553/64*c_1001_7^9 - 1239/64*c_1001_7^8 - 4369/64*c_1001_7^7 - 10095/128*c_1001_7^6 - 433/8*c_1001_7^5 - 3153/128*c_1001_7^4 - 485/64*c_1001_7^3 - 193/128*c_1001_7^2 - 11/64*c_1001_7 - 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB