Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 2160139367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1847 geometric_solution 5.49206692 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 0 -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 1 -1 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.946334182182 1.094021023742 0 0 3 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.068824893393 0.472931405879 3 4 1 5 1230 0132 0132 0132 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 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.831996066259 1.350417553330 4 2 5 1 2310 3012 0132 0132 0 0 0 0 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 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.831996066259 1.350417553330 4 2 3 4 3201 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 0 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.825480794962 0.732927439710 6 6 2 3 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.681244883990 0.477107611452 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130548245013 0.933457069829 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : negation(d['1']), 's_2_0' : negation(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_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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9773516254139864374353/6756983073062514173*c_1100_1^18 - 41989855024684613364552/6756983073062514173*c_1100_1^17 - 49099547920376064793413/6756983073062514173*c_1100_1^16 + 24989157704396298155716/397469592533089069*c_1100_1^15 + 44867343510202154192178/6756983073062514173*c_1100_1^14 - 151652065161478605504182/397469592533089069*c_1100_1^13 + 209932457022865983785052/965283296151787739*c_1100_1^12 + 1545462401921033860511260/965283296151787739*c_1100_1^11 - 17279973046335074619876575/6756983073062514173*c_1100_1^10 - 12427784564196521283375694/6756983073062514173*c_1100_1^9 + 53436359102339856265603692/6756983073062514173*c_1100_1^8 - 2128183034813982336905307/397469592533089069*c_1100_1^7 - 32939555451575726873542240/6756983073062514173*c_1100_1^6 + 65594585713756984840153892/6756983073062514173*c_1100_1^5 - 32699702930837228129822984/6756983073062514173*c_1100_1^4 - 1002039839823429573705229/965283296151787739*c_1100_1^3 + 14436878898373690047202468/6756983073062514173*c_1100_1^2 - 5738629249483485407180953/6756983073062514173*c_1100_1 + 97142523793650170450961/965283296151787739, c_0011_0 - 1, c_0011_2 - 1495958212304926401/10618116257669665129*c_1100_1^18 + 5954100585267864331/10618116257669665129*c_1100_1^17 + 8815775636432784487/10618116257669665129*c_1100_1^16 - 3570211552985231866/624595073980568537*c_1100_1^15 - 20767145164537327583/10618116257669665129*c_1100_1^14 + 21870761176657419335/624595073980568537*c_1100_1^13 - 19263433982990809882/1516873751095666447*c_1100_1^12 - 227717310673613898622/1516873751095666447*c_1100_1^11 + 2213384593268749016211/10618116257669665129*c_1100_1^10 + 2102481956893216893691/10618116257669665129*c_1100_1^9 - 7261462465282402074352/10618116257669665129*c_1100_1^8 + 250959635015897751948/624595073980568537*c_1100_1^7 + 4855334781030149448301/10618116257669665129*c_1100_1^6 - 8533009507193419331431/10618116257669665129*c_1100_1^5 + 4014192754283954772513/10618116257669665129*c_1100_1^4 + 137699390929385014805/1516873751095666447*c_1100_1^3 - 1836104888106360664355/10618116257669665129*c_1100_1^2 + 743908258006752057613/10618116257669665129*c_1100_1 - 14331403579725654437/1516873751095666447, c_0011_5 + 1407300446097734667/10618116257669665129*c_1100_1^18 - 3771857456657218496/10618116257669665129*c_1100_1^17 - 13286274459503163705/10618116257669665129*c_1100_1^16 + 2357433557533049840/624595073980568537*c_1100_1^15 + 72217997875486585338/10618116257669665129*c_1100_1^14 - 15202125260236105122/624595073980568537*c_1100_1^13 - 30101868242820839912/1516873751095666447*c_1100_1^12 + 177420826940636307652/1516873751095666447*c_1100_1^11 - 472750675340542441756/10618116257669665129*c_1100_1^10 - 2667307780075802771401/10618116257669665129*c_1100_1^9 + 3470001628275175512677/10618116257669665129*c_1100_1^8 + 35709523856465921507/624595073980568537*c_1100_1^7 - 4146597884082927503226/10618116257669665129*c_1100_1^6 + 2811993803098601147808/10618116257669665129*c_1100_1^5 + 181493179962087629541/10618116257669665129*c_1100_1^4 - 150878918661248002077/1516873751095666447*c_1100_1^3 + 455433386396905076737/10618116257669665129*c_1100_1^2 - 38425611568103082318/10618116257669665129*c_1100_1 - 1531725442194877854/1516873751095666447, c_0101_0 + 25055575472175394/89227867711509791*c_1100_1^18 - 92372701380276315/89227867711509791*c_1100_1^17 - 168463926307799784/89227867711509791*c_1100_1^16 + 946589081402186876/89227867711509791*c_1100_1^15 + 568597365114789833/89227867711509791*c_1100_1^14 - 5840837535445079444/89227867711509791*c_1100_1^13 + 848380691303135554/89227867711509791*c_1100_1^12 + 25549875515599679228/89227867711509791*c_1100_1^11 - 30373763786088863025/89227867711509791*c_1100_1^10 - 37634395618639394459/89227867711509791*c_1100_1^9 + 107382514916950224943/89227867711509791*c_1100_1^8 - 53331618354551563474/89227867711509791*c_1100_1^7 - 78352584585908478844/89227867711509791*c_1100_1^6 + 121884769233175235491/89227867711509791*c_1100_1^5 - 52066244075974305890/89227867711509791*c_1100_1^4 - 16366349838472823617/89227867711509791*c_1100_1^3 + 25606117733507456989/89227867711509791*c_1100_1^2 - 9851600351851822248/89227867711509791*c_1100_1 + 1228278235656407828/89227867711509791, c_0101_1 - 7849600508425261/89227867711509791*c_1100_1^18 + 25980073983172681/89227867711509791*c_1100_1^17 + 62559039482256858/89227867711509791*c_1100_1^16 - 273453245989163201/89227867711509791*c_1100_1^15 - 280403750510960921/89227867711509791*c_1100_1^14 + 1729455131902717386/89227867711509791*c_1100_1^13 + 379136223351025720/89227867711509791*c_1100_1^12 - 7892911425942186265/89227867711509791*c_1100_1^11 + 6584131294801795796/89227867711509791*c_1100_1^10 + 14386660618390237226/89227867711509791*c_1100_1^9 - 28455461543422436283/89227867711509791*c_1100_1^8 + 5878506570614914354/89227867711509791*c_1100_1^7 + 27342438194685389367/89227867711509791*c_1100_1^6 - 28247480751305888199/89227867711509791*c_1100_1^5 + 5341138385921813099/89227867711509791*c_1100_1^4 + 7687683013871350302/89227867711509791*c_1100_1^3 - 5307703207870086801/89227867711509791*c_1100_1^2 + 1021964365552485226/89227867711509791*c_1100_1 + 555037519813522/89227867711509791, c_0101_3 + 3105861456433386319/10618116257669665129*c_1100_1^18 - 11321713895563248281/10618116257669665129*c_1100_1^17 - 21471362412169752055/10618116257669665129*c_1100_1^16 + 6888051501522522977/624595073980568537*c_1100_1^15 + 76309056231578153824/10618116257669665129*c_1100_1^14 - 42833798677029403693/624595073980568537*c_1100_1^13 + 9985174027279567705/1516873751095666447*c_1100_1^12 + 459532254380111170545/1516873751095666447*c_1100_1^11 - 3622280402336871091120/10618116257669665129*c_1100_1^10 - 5023777629928696878683/10618116257669665129*c_1100_1^9 + 13224856594867331805100/10618116257669665129*c_1100_1^8 - 330574758615575838577/624595073980568537*c_1100_1^7 - 10534705279823339295972/10618116257669665129*c_1100_1^6 + 14494066187567780546168/10618116257669665129*c_1100_1^5 - 5141971481555930734520/10618116257669665129*c_1100_1^4 - 368663104681674985158/1516873751095666447*c_1100_1^3 + 2935314373981197250011/10618116257669665129*c_1100_1^2 - 935397897749581603027/10618116257669665129*c_1100_1 + 12195589775113659270/1516873751095666447, c_1100_1^19 - 5*c_1100_1^18 - 2*c_1100_1^17 + 47*c_1100_1^16 - 26*c_1100_1^15 - 267*c_1100_1^14 + 336*c_1100_1^13 + 1001*c_1100_1^12 - 2547*c_1100_1^11 - 27*c_1100_1^10 + 6362*c_1100_1^9 - 7550*c_1100_1^8 - 764*c_1100_1^7 + 9083*c_1100_1^6 - 8070*c_1100_1^5 + 1638*c_1100_1^4 + 1982*c_1100_1^3 - 1627*c_1100_1^2 + 483*c_1100_1 - 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB