Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 2917937544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s293 geometric_solution 4.46011284 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 2.112257236810 1.057376201119 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.633209622057 0.149638422661 0 3 4 0 3201 0132 0132 0132 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 1 -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 0 0 0 0.541832700513 0.604386506905 4 2 5 4 2103 0132 0132 2031 0 0 0 0 0 1 -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 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.616531523307 0.703910257606 5 3 3 2 1023 1302 2103 0132 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 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.616531523307 0.703910257606 5 4 5 3 2310 1023 3201 0132 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 0 0 0 0 0 1 -1 -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.765361607962 0.446771105100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, 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 + 4787306748514579092/1501899333901407071*c_0101_3^15 - 26879347908583479930/1501899333901407071*c_0101_3^14 - 58066481442869627703/1501899333901407071*c_0101_3^13 + 392984444898655250638/1501899333901407071*c_0101_3^12 + 256026782269107855149/1501899333901407071*c_0101_3^11 - 1756997765156274947677/1501899333901407071*c_0101_3^10 - 189866737534861462085/1501899333901407071*c_0101_3^9 + 3339688596994199948142/1501899333901407071*c_0101_3^8 + 271000550708006643059/1501899333901407071*c_0101_3^7 - 2050460907003249579329/1501899333901407071*c_0101_3^6 - 302379201551192240047/1501899333901407071*c_0101_3^5 + 1155090958073235216596/1501899333901407071*c_0101_3^4 + 460934661538721430557/1501899333901407071*c_0101_3^3 - 162997265085999620632/1501899333901407071*c_0101_3^2 - 215534429385658216772/1501899333901407071*c_0101_3 - 72953069195282497149/1501899333901407071, c_0011_0 - 1, c_0011_2 + 137251504270571870/1501899333901407071*c_0101_3^15 - 894710092966932518/1501899333901407071*c_0101_3^14 - 905414585464075907/1501899333901407071*c_0101_3^13 + 12390165070388169836/1501899333901407071*c_0101_3^12 - 3432051827400807374/1501899333901407071*c_0101_3^11 - 51546302211131085741/1501899333901407071*c_0101_3^10 + 40988476040243907211/1501899333901407071*c_0101_3^9 + 76679768963218902550/1501899333901407071*c_0101_3^8 - 70944489424701598475/1501899333901407071*c_0101_3^7 - 23505621937887701777/1501899333901407071*c_0101_3^6 + 31155882685295066440/1501899333901407071*c_0101_3^5 + 15716520952560822839/1501899333901407071*c_0101_3^4 - 14880685310590556918/1501899333901407071*c_0101_3^3 + 252600011443513237/1501899333901407071*c_0101_3^2 - 1109205295586305098/1501899333901407071*c_0101_3 - 171022512597152205/1501899333901407071, c_0011_4 - 78783069715031991/1501899333901407071*c_0101_3^15 + 483323942532204788/1501899333901407071*c_0101_3^14 + 694142370887933308/1501899333901407071*c_0101_3^13 - 6772814030722799748/1501899333901407071*c_0101_3^12 - 567733876209405276/1501899333901407071*c_0101_3^11 + 28418590997727610551/1501899333901407071*c_0101_3^10 - 12219309836699208982/1501899333901407071*c_0101_3^9 - 45273900249969184900/1501899333901407071*c_0101_3^8 + 19527947517979186846/1501899333901407071*c_0101_3^7 + 17978780628705848536/1501899333901407071*c_0101_3^6 - 4589352825131617868/1501899333901407071*c_0101_3^5 - 15193891843423583191/1501899333901407071*c_0101_3^4 - 1292227299594493988/1501899333901407071*c_0101_3^3 + 2792903781677921835/1501899333901407071*c_0101_3^2 + 3104990597839021452/1501899333901407071*c_0101_3 - 59907454690923463/1501899333901407071, c_0101_0 + 70110167814387576/1501899333901407071*c_0101_3^15 - 323175363557477437/1501899333901407071*c_0101_3^14 - 1288937585693631224/1501899333901407071*c_0101_3^13 + 5145160245636439059/1501899333901407071*c_0101_3^12 + 10043571030326063122/1501899333901407071*c_0101_3^11 - 25599882095747341121/1501899333901407071*c_0101_3^10 - 30721935906066775361/1501899333901407071*c_0101_3^9 + 63110525572469732480/1501899333901407071*c_0101_3^8 + 53489383215601819541/1501899333901407071*c_0101_3^7 - 61006282650845042819/1501899333901407071*c_0101_3^6 - 31996683523580263331/1501899333901407071*c_0101_3^5 + 40352150493814398918/1501899333901407071*c_0101_3^4 + 19245301334124456642/1501899333901407071*c_0101_3^3 - 11793749187610443664/1501899333901407071*c_0101_3^2 - 4849357951876515010/1501899333901407071*c_0101_3 - 109025640998573273/1501899333901407071, c_0101_1 - 194243918138632235/1501899333901407071*c_0101_3^15 + 1173792733307816384/1501899333901407071*c_0101_3^14 + 1860965402909536808/1501899333901407071*c_0101_3^13 - 16781172809132398341/1501899333901407071*c_0101_3^12 - 3324891690664345681/1501899333901407071*c_0101_3^11 + 73371891649708431876/1501899333901407071*c_0101_3^10 - 22915188965803174301/1501899333901407071*c_0101_3^9 - 129420001945867851154/1501899333901407071*c_0101_3^8 + 42552477312598182980/1501899333901407071*c_0101_3^7 + 74980017974308125475/1501899333901407071*c_0101_3^6 - 17810007012201386436/1501899333901407071*c_0101_3^5 - 50584622884626266240/1501899333901407071*c_0101_3^4 + 2149777805920359006/1501899333901407071*c_0101_3^3 + 10935198662647869546/1501899333901407071*c_0101_3^2 + 4657759377018105638/1501899333901407071*c_0101_3 - 243696484601871797/1501899333901407071, c_0101_3^16 - 6*c_0101_3^15 - 10*c_0101_3^14 + 87*c_0101_3^13 + 22*c_0101_3^12 - 391*c_0101_3^11 + 104*c_0101_3^10 + 728*c_0101_3^9 - 231*c_0101_3^8 - 475*c_0101_3^7 + 145*c_0101_3^6 + 275*c_0101_3^5 - 35*c_0101_3^4 - 69*c_0101_3^3 - 15*c_0101_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB