Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2968595602] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s372 geometric_solution 4.59142936 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508522360879 0.136732080427 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657581131003 0.356368133316 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 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 1.790307456827 1.479910037438 5 2 4 4 0132 0132 3012 2310 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 0 0 0 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.333889967337 1.110860041788 3 3 2 5 3201 1230 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333889967337 1.110860041788 3 4 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.217064855156 0.414197850014 ==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' : d['1'], 's_3_0' : d['1'], '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_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_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_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : 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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 16/3*c_0101_3^2 - 5/3*c_0101_3 - 47/3, c_0011_0 - 1, c_0011_1 - c_0101_3^2 + 1, c_0011_4 - 1, c_0101_0 + c_0101_3, c_0101_1 - c_0101_3 - 1, c_0101_3^3 - 3*c_0101_3 - 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 5679563059079239204/124866748179942213*c_0101_3^15 + 30822708992461609312/124866748179942213*c_0101_3^14 - 14258828509413920035/41622249393314071*c_0101_3^13 - 172570998561433600298/124866748179942213*c_0101_3^12 + 613134305264833373140/124866748179942213*c_0101_3^11 + 525351610986322454623/124866748179942213*c_0101_3^10 - 2291745234071299841528/124866748179942213*c_0101_3^9 - 186688553501083743719/41622249393314071*c_0101_3^8 + 3185232968631635508580/124866748179942213*c_0101_3^7 + 2646186254640763589/124866748179942213*c_0101_3^6 - 540258753730747893178/41622249393314071*c_0101_3^5 - 357256298271380118233/124866748179942213*c_0101_3^4 + 319195497643429908624/41622249393314071*c_0101_3^3 - 175576001477392512379/124866748179942213*c_0101_3^2 - 143864960885654897810/124866748179942213*c_0101_3 + 44017853738246626469/124866748179942213, c_0011_0 - 1, c_0011_1 + 19730151433738729/41622249393314071*c_0101_3^15 + 126079703579922281/41622249393314071*c_0101_3^14 - 28612604467038613/41622249393314071*c_0101_3^13 - 635474716475098415/41622249393314071*c_0101_3^12 + 1525531018921796514/41622249393314071*c_0101_3^11 + 3339172800902445400/41622249393314071*c_0101_3^10 - 4886113113054181163/41622249393314071*c_0101_3^9 - 6826410255511006496/41622249393314071*c_0101_3^8 + 4989868343134447700/41622249393314071*c_0101_3^7 + 5085916331509049870/41622249393314071*c_0101_3^6 - 1398865429854111908/41622249393314071*c_0101_3^5 - 2722119956676123189/41622249393314071*c_0101_3^4 + 1086690569021017760/41622249393314071*c_0101_3^3 + 532094919243461473/41622249393314071*c_0101_3^2 - 246029788791506906/41622249393314071*c_0101_3 - 39926140469883894/41622249393314071, c_0011_4 - 18709894251484158/41622249393314071*c_0101_3^15 - 120543304044725902/41622249393314071*c_0101_3^14 + 21294303197493484/41622249393314071*c_0101_3^13 + 606693591892815794/41622249393314071*c_0101_3^12 - 1416887445320912516/41622249393314071*c_0101_3^11 - 3258089100361486211/41622249393314071*c_0101_3^10 + 4499766621193927248/41622249393314071*c_0101_3^9 + 6773060430014868126/41622249393314071*c_0101_3^8 - 4513597844991508001/41622249393314071*c_0101_3^7 - 5242589254471191844/41622249393314071*c_0101_3^6 + 1035588831586306512/41622249393314071*c_0101_3^5 + 2740417152462678709/41622249393314071*c_0101_3^4 - 610196491348866024/41622249393314071*c_0101_3^3 - 503657040802460646/41622249393314071*c_0101_3^2 + 113873567175243239/41622249393314071*c_0101_3 + 38159365155556231/41622249393314071, c_0101_0 - 33144492927398255/41622249393314071*c_0101_3^15 - 215715555108586446/41622249393314071*c_0101_3^14 + 26543773683983503/41622249393314071*c_0101_3^13 + 1095862923756177616/41622249393314071*c_0101_3^12 - 2440163911073127697/41622249393314071*c_0101_3^11 - 6029397875765428148/41622249393314071*c_0101_3^10 + 7795049803283686895/41622249393314071*c_0101_3^9 + 13052881431548435513/41622249393314071*c_0101_3^8 - 7835532649382873791/41622249393314071*c_0101_3^7 - 10952959366182140854/41622249393314071*c_0101_3^6 + 1845165637854374878/41622249393314071*c_0101_3^5 + 5918135673679591336/41622249393314071*c_0101_3^4 - 945100817362638045/41622249393314071*c_0101_3^3 - 1449022120914227378/41622249393314071*c_0101_3^2 + 242027806230155546/41622249393314071*c_0101_3 + 122077896369880149/41622249393314071, c_0101_1 - 6291841982716254/41622249393314071*c_0101_3^15 - 40448893490444199/41622249393314071*c_0101_3^14 + 6924774337437681/41622249393314071*c_0101_3^13 + 199197383154129821/41622249393314071*c_0101_3^12 - 475701111635383452/41622249393314071*c_0101_3^11 - 1064232099584009448/41622249393314071*c_0101_3^10 + 1455437119440179205/41622249393314071*c_0101_3^9 + 2156073990410668141/41622249393314071*c_0101_3^8 - 1300777425337617317/41622249393314071*c_0101_3^7 - 1569152380471703794/41622249393314071*c_0101_3^6 + 111195527788892826/41622249393314071*c_0101_3^5 + 814017933399040539/41622249393314071*c_0101_3^4 - 235766156114910534/41622249393314071*c_0101_3^3 - 121922984227566508/41622249393314071*c_0101_3^2 + 54765648422853955/41622249393314071*c_0101_3 + 27784816935307666/41622249393314071, c_0101_3^16 + 6*c_0101_3^15 - 4*c_0101_3^14 - 32*c_0101_3^13 + 90*c_0101_3^12 + 141*c_0101_3^11 - 318*c_0101_3^10 - 259*c_0101_3^9 + 403*c_0101_3^8 + 181*c_0101_3^7 - 185*c_0101_3^6 - 128*c_0101_3^5 + 107*c_0101_3^4 + 14*c_0101_3^3 - 22*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB