Magma V2.19-8 Tue Aug 20 2013 16:14:29 on localhost [Seed = 2917937577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s466 geometric_solution 4.81683430 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 1 -1 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 -1 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 0 0 0 1.392314783924 0.517462676124 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 0 1 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 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.525355118263 0.672385745271 1 3 3 4 0132 0321 1302 0132 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 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.761253873910 0.752000491181 2 4 1 2 2031 2310 0132 0321 0 0 0 0 0 1 -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 -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.761253873910 0.752000491181 5 5 2 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 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 0 0 0 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.341503840860 0.448413894776 4 5 4 5 0132 1302 2310 2031 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 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 -1.802791447294 1.563217785409 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : 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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 9207830472697/449287167603*c_0101_5^22 - 23780847711215/149762389201*c_0101_5^21 + 175787197861186/449287167603*c_0101_5^20 + 78730279721156/449287167603*c_0101_5^19 - 1294914755767463/449287167603*c_0101_5^18 + 2427618988923950/449287167603*c_0101_5^17 + 276210528292883/449287167603*c_0101_5^16 - 2693369018193092/149762389201*c_0101_5^15 + 12093757886200955/449287167603*c_0101_5^14 + 176502611911145/449287167603*c_0101_5^13 - 7587172762512055/149762389201*c_0101_5^12 + 27718429584657470/449287167603*c_0101_5^11 - 799338082248520/449287167603*c_0101_5^10 - 30642156628425091/449287167603*c_0101_5^9 + 9950020515622916/149762389201*c_0101_5^8 - 1457783204342168/449287167603*c_0101_5^7 - 6059813229267191/149762389201*c_0101_5^6 + 13298533069969358/449287167603*c_0101_5^5 - 778014538271596/449287167603*c_0101_5^4 - 3449023562318843/449287167603*c_0101_5^3 + 1566671945464523/449287167603*c_0101_5^2 - 94223039695189/449287167603*c_0101_5 - 40936073923858/449287167603, c_0011_0 - 1, c_0011_3 + 120137894247/299524778402*c_0101_5^22 - 1219399011459/299524778402*c_0101_5^21 + 4370881652439/299524778402*c_0101_5^20 - 3306611714053/299524778402*c_0101_5^19 - 21936754931739/299524778402*c_0101_5^18 + 34836707430470/149762389201*c_0101_5^17 - 50544259971407/299524778402*c_0101_5^16 - 146919026446103/299524778402*c_0101_5^15 + 389094286141047/299524778402*c_0101_5^14 - 120305167441712/149762389201*c_0101_5^13 - 451180193606431/299524778402*c_0101_5^12 + 989342496934465/299524778402*c_0101_5^11 - 251869777292096/149762389201*c_0101_5^10 - 338800102394040/149762389201*c_0101_5^9 + 1187129206290603/299524778402*c_0101_5^8 - 470756695917319/299524778402*c_0101_5^7 - 467637210265035/299524778402*c_0101_5^6 + 300955111672504/149762389201*c_0101_5^5 - 164600207615341/299524778402*c_0101_5^4 - 56721334963239/149762389201*c_0101_5^3 + 42819002821908/149762389201*c_0101_5^2 - 5400171401951/149762389201*c_0101_5 - 3233716304475/299524778402, c_0011_4 + 1706228414939/299524778402*c_0101_5^22 - 13566680677915/299524778402*c_0101_5^21 + 35068462114873/299524778402*c_0101_5^20 + 9331476424793/299524778402*c_0101_5^19 - 245707064861609/299524778402*c_0101_5^18 + 247621065057701/149762389201*c_0101_5^17 - 15611079501429/299524778402*c_0101_5^16 - 1542513431755519/299524778402*c_0101_5^15 + 2518513248232851/299524778402*c_0101_5^14 - 136876150642571/149762389201*c_0101_5^13 - 4382006361337217/299524778402*c_0101_5^12 + 5897018807255573/299524778402*c_0101_5^11 - 394087915601616/149762389201*c_0101_5^10 - 2986493774366975/149762389201*c_0101_5^9 + 6516078796838853/299524778402*c_0101_5^8 - 878186260682073/299524778402*c_0101_5^7 - 3620762170989545/299524778402*c_0101_5^6 + 1505817756814766/149762389201*c_0101_5^5 - 362391186447937/299524778402*c_0101_5^4 - 361489958425267/149762389201*c_0101_5^3 + 190212502839265/149762389201*c_0101_5^2 - 15398170813241/149762389201*c_0101_5 - 13290404817035/299524778402, c_0101_0 + 1851656805873/299524778402*c_0101_5^22 - 14568564388835/299524778402*c_0101_5^21 + 36941844233399/299524778402*c_0101_5^20 + 12465839157131/299524778402*c_0101_5^19 - 263957811514167/299524778402*c_0101_5^18 + 258490178842773/149762389201*c_0101_5^17 + 12289703914959/299524778402*c_0101_5^16 - 1651590144120779/299524778402*c_0101_5^15 + 2608392688921225/299524778402*c_0101_5^14 - 83247235790456/149762389201*c_0101_5^13 - 4671582137428553/299524778402*c_0101_5^12 + 6061748627721305/299524778402*c_0101_5^11 - 296015315526953/149762389201*c_0101_5^10 - 3165534564377626/149762389201*c_0101_5^9 + 6645248979772287/299524778402*c_0101_5^8 - 714337347141891/299524778402*c_0101_5^7 - 3806737694407865/299524778402*c_0101_5^6 + 1521787160514971/149762389201*c_0101_5^5 - 312323031225345/299524778402*c_0101_5^4 - 375332129003294/149762389201*c_0101_5^3 + 190095850169256/149762389201*c_0101_5^2 - 14030970095313/149762389201*c_0101_5 - 13446805472127/299524778402, c_0101_1 - 498571645977/299524778402*c_0101_5^22 + 4028488038687/299524778402*c_0101_5^21 - 10680940722667/299524778402*c_0101_5^20 - 1930975917353/299524778402*c_0101_5^19 + 73108934078641/299524778402*c_0101_5^18 - 76147246298148/149762389201*c_0101_5^17 + 13791682549803/299524778402*c_0101_5^16 + 461167404471269/299524778402*c_0101_5^15 - 779636713044727/299524778402*c_0101_5^14 + 59724468386751/149762389201*c_0101_5^13 + 1315939694206757/299524778402*c_0101_5^12 - 1835475050122607/299524778402*c_0101_5^11 + 153826014969044/149762389201*c_0101_5^10 + 900948646193751/149762389201*c_0101_5^9 - 2038602889076665/299524778402*c_0101_5^8 + 326170283282467/299524778402*c_0101_5^7 + 1098140252440829/299524778402*c_0101_5^6 - 473899256689536/149762389201*c_0101_5^5 + 130208272103389/299524778402*c_0101_5^4 + 110472886161624/149762389201*c_0101_5^3 - 60473239437053/149762389201*c_0101_5^2 + 5405174822048/149762389201*c_0101_5 + 4194819458451/299524778402, c_0101_5^23 - 7*c_0101_5^22 + 13*c_0101_5^21 + 25*c_0101_5^20 - 139*c_0101_5^19 + 154*c_0101_5^18 + 267*c_0101_5^17 - 917*c_0101_5^16 + 623*c_0101_5^15 + 1248*c_0101_5^14 - 2747*c_0101_5^13 + 1037*c_0101_5^12 + 2850*c_0101_5^11 - 4008*c_0101_5^10 + 523*c_0101_5^9 + 3169*c_0101_5^8 - 2689*c_0101_5^7 - 238*c_0101_5^6 + 1509*c_0101_5^5 - 658*c_0101_5^4 - 182*c_0101_5^3 + 204*c_0101_5^2 - 27*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB