Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 1107550058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2520 geometric_solution 5.83875463 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 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 -2 1 1 0 -1 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.401896674364 0.346516849294 0 0 2 3 0132 2103 2310 2103 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 0 -1 1 -1 0 1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210785010406 1.090432383709 4 1 4 0 0132 3201 3120 0132 0 0 0 0 0 0 -1 1 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 -1 -1 2 0 0 -1 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.653678652618 1.071748642056 5 4 0 1 0132 1302 0132 2103 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 1 -1 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.272998436920 0.844838778387 2 5 2 3 0132 1302 3120 2031 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 1 -1 -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.653678652618 1.071748642056 3 6 6 4 0132 0132 1023 2031 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 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.068941358328 0.652932286347 6 5 5 6 3012 0132 1023 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.134041765257 0.667817495081 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_3'], '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_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_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' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0101_2']})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 696757695352003348055222/43170604173434251085355*c_0101_6^13 - 67892898337562212094984/14390201391144750361785*c_0101_6^12 - 2584890754440269429016322/6167229167633464440765*c_0101_6^11 + 67134592282448998775216344/43170604173434251085355*c_0101_6^10 - 167083367145080122887755618/43170604173434251085355*c_0101_6^9 + 49520861363957843868861532/8634120834686850217071*c_0101_6^8 - 10152478235353638899561045/2878040278228950072357*c_0101_6^7 - 88411061956049136256762942/43170604173434251085355*c_0101_6^6 - 128133629909120530614960277/43170604173434251085355*c_0101_6^5 - 2657307391683883495263177/4796733797048250120595*c_0101_6^4 + 24864366465384394451106251/8634120834686850217071*c_0101_6^3 + 106000794056088981786440939/43170604173434251085355*c_0101_6^2 + 11239203981930792385462627/14390201391144750361785*c_0101_6 + 4615097511187511290894286/43170604173434251085355, c_0011_0 - 1, c_0011_2 + 995174997503913879/7213133529395864843*c_0101_6^13 - 377335463662418709/7213133529395864843*c_0101_6^12 + 25900186584893853415/7213133529395864843*c_0101_6^11 - 113269971516290993749/7213133529395864843*c_0101_6^10 + 309639400364434007290/7213133529395864843*c_0101_6^9 - 540800244809006231389/7213133529395864843*c_0101_6^8 + 527800223464359244542/7213133529395864843*c_0101_6^7 - 144547850182609988440/7213133529395864843*c_0101_6^6 + 218858281899746153188/7213133529395864843*c_0101_6^5 - 127524595069619684466/7213133529395864843*c_0101_6^4 - 128117279846093534267/7213133529395864843*c_0101_6^3 - 37496377840313001271/7213133529395864843*c_0101_6^2 + 11108596148896170142/7213133529395864843*c_0101_6 + 5883301410298023820/7213133529395864843, c_0011_3 + 563237859980927291/7213133529395864843*c_0101_6^13 - 215066892962700988/7213133529395864843*c_0101_6^12 + 14665647602371776671/7213133529395864843*c_0101_6^11 - 64170373358380920257/7213133529395864843*c_0101_6^10 + 175587041469583683436/7213133529395864843*c_0101_6^9 - 307861216551082359060/7213133529395864843*c_0101_6^8 + 303796771523739878184/7213133529395864843*c_0101_6^7 - 93090539204419096495/7213133529395864843*c_0101_6^6 + 139880712398736204122/7213133529395864843*c_0101_6^5 - 87309229131873157240/7213133529395864843*c_0101_6^4 - 63866208683185191424/7213133529395864843*c_0101_6^3 - 24304001400341503944/7213133529395864843*c_0101_6^2 - 1846996554536667860/7213133529395864843*c_0101_6 + 2786011266505389826/7213133529395864843, c_0101_0 - 635731588851607144/7213133529395864843*c_0101_6^13 + 327130134455631370/7213133529395864843*c_0101_6^12 - 16550361546732964552/7213133529395864843*c_0101_6^11 + 74640048877371158999/7213133529395864843*c_0101_6^10 - 206819511021821195640/7213133529395864843*c_0101_6^9 + 370437588759596427358/7213133529395864843*c_0101_6^8 - 379113089805730789740/7213133529395864843*c_0101_6^7 + 130475280183257269404/7213133529395864843*c_0101_6^6 - 141791178893349606570/7213133529395864843*c_0101_6^5 + 82441369928557359916/7213133529395864843*c_0101_6^4 + 107774163862800973394/7213133529395864843*c_0101_6^3 + 15587923044977413175/7213133529395864843*c_0101_6^2 - 10787158866121680628/7213133529395864843*c_0101_6 - 5302670078140040221/7213133529395864843, c_0101_1 - 732556973992790777/7213133529395864843*c_0101_6^13 + 339178934274905534/7213133529395864843*c_0101_6^12 - 19055422732129897090/7213133529395864843*c_0101_6^11 + 84918481594742143789/7213133529395864843*c_0101_6^10 - 234020958355436250127/7213133529395864843*c_0101_6^9 + 412184687168151361656/7213133529395864843*c_0101_6^8 - 405890332791209105876/7213133529395864843*c_0101_6^7 + 104192620989686326794/7213133529395864843*c_0101_6^6 - 121052130962913756793/7213133529395864843*c_0101_6^5 + 66596122312147221491/7213133529395864843*c_0101_6^4 + 110531158714648061336/7213133529395864843*c_0101_6^3 + 4295300583586063547/7213133529395864843*c_0101_6^2 - 10891631621621367629/7213133529395864843*c_0101_6 - 5581175851024017552/7213133529395864843, c_0101_2 + 143018000383168457/7213133529395864843*c_0101_6^13 - 204468145520416812/7213133529395864843*c_0101_6^12 + 3849785311015562281/7213133529395864843*c_0101_6^11 - 20175402030504886548/7213133529395864843*c_0101_6^10 + 63436220470876256693/7213133529395864843*c_0101_6^9 - 131476484325321911870/7213133529395864843*c_0101_6^8 + 175331755455668022569/7213133529395864843*c_0101_6^7 - 127873973736579109150/7213133529395864843*c_0101_6^6 + 73683313754492512343/7213133529395864843*c_0101_6^5 - 48689408269678146870/7213133529395864843*c_0101_6^4 + 22035718088124020495/7213133529395864843*c_0101_6^3 + 3680150259087657023/7213133529395864843*c_0101_6^2 + 1926070679071520997/7213133529395864843*c_0101_6 - 2654264179720606084/7213133529395864843, c_0101_6^14 + 26*c_0101_6^12 - 104*c_0101_6^11 + 271*c_0101_6^10 - 439*c_0101_6^9 + 360*c_0101_6^8 - 4*c_0101_6^7 + 215*c_0101_6^6 - 42*c_0101_6^5 - 164*c_0101_6^4 - 112*c_0101_6^3 - 21*c_0101_6^2 + 5*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB