Magma V2.19-8 Wed Aug 21 2013 00:56:41 on localhost [Seed = 3052646259] Type ? for help. Type -D to quit. Loading file "L13n2779__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2779 geometric_solution 11.85143333 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 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.933918940373 1.035763524101 0 5 7 6 0132 0132 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480742079291 0.150983954626 6 0 9 8 1230 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679824520006 0.701733358301 6 10 8 0 0132 0132 2031 0132 1 1 1 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 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.590885375771 1.066187267416 5 5 0 11 0132 1230 0132 0132 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 3 -2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228246659184 0.657766156719 4 1 4 9 0132 0132 3012 2031 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 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529148395652 1.356910332371 3 2 1 12 0132 3012 0132 0132 1 1 0 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 -1 0 1 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.787212831719 0.945044101424 8 9 10 1 0321 2031 1302 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 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555496818490 1.062454767386 7 11 2 3 0321 1302 0132 1302 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 1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715498674379 0.847148150941 7 5 12 2 1302 1302 1302 0132 1 0 1 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 0 0 0 0 0 0 0 0 -1 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.386228835243 1.492199557745 7 3 11 12 2031 0132 1302 2031 1 1 0 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 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.651849343262 0.575479164990 10 12 4 8 2031 2310 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 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.242515924188 0.714993679212 9 10 6 11 2031 1302 0132 3201 1 1 1 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 -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.555496818490 1.062454767386 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0110_11'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : d['c_0110_11'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_0110_11'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_12'], 'c_1100_8' : d['c_0101_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_1010_8']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_1010_8']), 'c_1100_3' : negation(d['c_1010_8']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1010_8']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0110_11'], 'c_1010_2' : d['c_0110_11'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1010_8'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), '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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_12']})} 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_11, c_0011_12, c_0011_8, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0110_11, c_1001_2, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 204791859840430380278900/4994919211604315211497*c_1010_8^10 - 7397932456538165952496/94243758709515381349*c_1010_8^9 + 2032263097307633951490835/4994919211604315211497*c_1010_8^8 + 5718360502044240096185989/4994919211604315211497*c_1010_8^7 - 20475796128881562789984406/4994919211604315211497*c_1010_8^6 - 124769975148867079950775048/4994919211604315211497*c_1010_8^5 - 267094812776713334441764404/4994919211604315211497*c_1010_8^4 - 292565143228827757418218944/4994919211604315211497*c_1010_8^3 - 159341114485430582711230429/4994919211604315211497*c_1010_8^2 - 15395599512434538797593753/4994919211604315211497*c_1010_8 + 3086789789103404555121421/4994919211604315211497, c_0011_0 - 1, c_0011_10 - 7859573349699300/27789537231929917*c_1010_8^10 - 274690705230128/524330891168489*c_1010_8^9 + 78017429380561131/27789537231929917*c_1010_8^8 + 214040916961522197/27789537231929917*c_1010_8^7 - 789875197047248893/27789537231929917*c_1010_8^6 - 4726957106287844016/27789537231929917*c_1010_8^5 - 10057227030163169494/27789537231929917*c_1010_8^4 - 11007392504192765420/27789537231929917*c_1010_8^3 - 6095593206942087332/27789537231929917*c_1010_8^2 - 754113097609069505/27789537231929917*c_1010_8 - 8849253462089767/27789537231929917, c_0011_11 - 3212374978703284/27789537231929917*c_1010_8^10 - 126821724684232/524330891168489*c_1010_8^9 + 30765794814039915/27789537231929917*c_1010_8^8 + 95476896900776919/27789537231929917*c_1010_8^7 - 305516069984022154/27789537231929917*c_1010_8^6 - 2014238603186143010/27789537231929917*c_1010_8^5 - 4537460608544520469/27789537231929917*c_1010_8^4 - 5334814657085561351/27789537231929917*c_1010_8^3 - 3324990430273565521/27789537231929917*c_1010_8^2 - 711164117247054179/27789537231929917*c_1010_8 - 27005340364511835/27789537231929917, c_0011_12 + 1012038894993512/27789537231929917*c_1010_8^10 + 21773825498096/524330891168489*c_1010_8^9 - 11712628677684174/27789537231929917*c_1010_8^8 - 19736743116873530/27789537231929917*c_1010_8^7 + 124362298820245042/27789537231929917*c_1010_8^6 + 531669795179243333/27789537231929917*c_1010_8^5 + 822885834424869468/27789537231929917*c_1010_8^4 + 449298185624440758/27789537231929917*c_1010_8^3 - 196260980540948989/27789537231929917*c_1010_8^2 - 374800418353885546/27789537231929917*c_1010_8 - 789736612881481/27789537231929917, c_0011_8 + 5248384892518252/27789537231929917*c_1010_8^10 + 188192590128868/524330891168489*c_1010_8^9 - 52451950846915365/27789537231929917*c_1010_8^8 - 145662779793909486/27789537231929917*c_1010_8^7 + 529594585256788201/27789537231929917*c_1010_8^6 + 3189350933258835633/27789537231929917*c_1010_8^5 + 6769692502342650899/27789537231929917*c_1010_8^4 + 7335033452203384089/27789537231929917*c_1010_8^3 + 3955561954021156394/27789537231929917*c_1010_8^2 + 404870800935214751/27789537231929917*c_1010_8 - 6141067429871867/27789537231929917, c_0011_9 - 3817941021752868/27789537231929917*c_1010_8^10 - 138203874240772/524330891168489*c_1010_8^9 + 37550854611607111/27789537231929917*c_1010_8^8 + 106287332943981216/27789537231929917*c_1010_8^7 - 378103463089590413/27789537231929917*c_1010_8^6 - 2319964860226347752/27789537231929917*c_1010_8^5 - 5022516397213542987/27789537231929917*c_1010_8^4 - 5650154176422334456/27789537231929917*c_1010_8^3 - 3326363172828588360/27789537231929917*c_1010_8^2 - 594808979396055441/27789537231929917*c_1010_8 - 29833218837353347/27789537231929917, c_0101_0 + 5466670645686600/27789537231929917*c_1010_8^10 + 186082769593012/524330891168489*c_1010_8^9 - 54962706927909442/27789537231929917*c_1010_8^8 - 146198449984281449/27789537231929917*c_1010_8^7 + 558778000482814282/27789537231929917*c_1010_8^6 + 3262148843542571647/27789537231929917*c_1010_8^5 + 6810694587819658366/27789537231929917*c_1010_8^4 + 7249002270620576481/27789537231929917*c_1010_8^3 + 3781387734720063658/27789537231929917*c_1010_8^2 + 269817642275977719/27789537231929917*c_1010_8 - 21593940786931889/27789537231929917, c_0101_11 - 1425038317740168/27789537231929917*c_1010_8^10 - 49595938603656/524330891168489*c_1010_8^9 + 14496132158955422/27789537231929917*c_1010_8^8 + 38444865966740468/27789537231929917*c_1010_8^7 - 147006266525155802/27789537231929917*c_1010_8^6 - 855156597481075383/27789537231929917*c_1010_8^5 - 1775983954870031859/27789537231929917*c_1010_8^4 - 1891763942850145517/27789537231929917*c_1010_8^3 - 1012157700606564686/27789537231929917*c_1010_8^2 - 110513524062963655/27789537231929917*c_1010_8 + 609975411668309/27789537231929917, c_0101_12 - 677077188830940/27789537231929917*c_1010_8^10 - 3620389090412/524330891168489*c_1010_8^9 + 8156241056266393/27789537231929917*c_1010_8^8 + 7761498794982512/27789537231929917*c_1010_8^7 - 91909340391493567/27789537231929917*c_1010_8^6 - 294033586261762493/27789537231929917*c_1010_8^5 - 286254583823386264/27789537231929917*c_1010_8^4 + 185545449442534551/27789537231929917*c_1010_8^3 + 593992158109132728/27789537231929917*c_1010_8^2 + 454491594966236881/27789537231929917*c_1010_8 - 3822552926830832/27789537231929917, c_0101_2 - 1, c_0110_11 - 4970215817415696/27789537231929917*c_1010_8^10 - 176278142926396/524330891168489*c_1010_8^9 + 49704044874662768/27789537231929917*c_1010_8^8 + 137212704321626477/27789537231929917*c_1010_8^7 - 502953235700292244/27789537231929917*c_1010_8^6 - 3012386306902861854/27789537231929917*c_1010_8^5 - 6363783376890412513/27789537231929917*c_1010_8^4 - 6841120236307288939/27789537231929917*c_1010_8^3 - 3624346600364522610/27789537231929917*c_1010_8^2 - 323565621129784129/27789537231929917*c_1010_8 + 14187263553317495/27789537231929917, c_1001_2 - 4224413873696796/27789537231929917*c_1010_8^10 - 148595550182328/524330891168489*c_1010_8^9 + 42478423491724089/27789537231929917*c_1010_8^8 + 115213640017650449/27789537231929917*c_1010_8^7 - 429878368804267196/27789537231929917*c_1010_8^6 - 2545908398365386343/27789537231929917*c_1010_8^5 - 5360346442969389937/27789537231929917*c_1010_8^4 - 5784112842710002109/27789537231929917*c_1010_8^3 - 3128729449732616532/27789537231929917*c_1010_8^2 - 336363698893168633/27789537231929917*c_1010_8 + 1573933480299563/27789537231929917, c_1010_8^11 + 2*c_1010_8^10 - 39/4*c_1010_8^9 - 115/4*c_1010_8^8 + 195/2*c_1010_8^7 + 1235/2*c_1010_8^6 + 5429/4*c_1010_8^5 + 6185/4*c_1010_8^4 + 3655/4*c_1010_8^3 + 157*c_1010_8^2 + 1/4*c_1010_8 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB