Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3482211079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1567 geometric_solution 5.35010153 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.243462048286 0.691488426754 0 0 3 2 2310 0132 0132 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 0 -1 1 1 0 -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.260624482448 0.419637681399 3 4 1 5 1230 0132 0132 0132 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 -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.596522449509 0.850860333985 4 2 5 1 0132 3012 3201 0132 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 -1 0 1 0 0 -1 1 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.596522449509 0.850860333985 3 2 6 6 0132 0132 2310 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 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.374075214686 1.969070791124 3 5 2 5 2310 2310 0132 3201 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 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.142056511081 1.361824149094 6 4 4 6 3201 3201 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 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.544081442854 0.450450412280 ==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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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' : d['c_0011_6'], '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' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : 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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 7158938765967/12255851699*c_0101_3^19 + 13512628100978/12255851699*c_0101_3^18 - 11656176922213/1750835957*c_0101_3^17 - 137632051113624/12255851699*c_0101_3^16 + 385154557164502/12255851699*c_0101_3^15 + 47808972567597/942757823*c_0101_3^14 - 917687870850263/12255851699*c_0101_3^13 - 240797914228594/1750835957*c_0101_3^12 + 914623214598724/12255851699*c_0101_3^11 + 2765835513399305/12255851699*c_0101_3^10 + 519897362543893/12255851699*c_0101_3^9 - 2228065565001454/12255851699*c_0101_3^8 - 2127806975134662/12255851699*c_0101_3^7 + 244213178573002/12255851699*c_0101_3^6 + 1788035149429432/12255851699*c_0101_3^5 + 558181482797317/12255851699*c_0101_3^4 - 515819183974197/12255851699*c_0101_3^3 - 162735117854522/12255851699*c_0101_3^2 + 4712319292035/12255851699*c_0101_3 - 8958753868072/12255851699, c_0011_0 - 1, c_0011_2 + 296283521284/1750835957*c_0101_3^19 + 537915968286/1750835957*c_0101_3^18 - 3412834242102/1750835957*c_0101_3^17 - 5449845402047/1750835957*c_0101_3^16 + 16293251363651/1750835957*c_0101_3^15 + 1888231564953/134679689*c_0101_3^14 - 39523721373235/1750835957*c_0101_3^13 - 66901824406431/1750835957*c_0101_3^12 + 42000578701307/1750835957*c_0101_3^11 + 111294026036712/1750835957*c_0101_3^10 + 14661543391494/1750835957*c_0101_3^9 - 92632805840145/1750835957*c_0101_3^8 - 82397845006702/1750835957*c_0101_3^7 + 14858741275905/1750835957*c_0101_3^6 + 72869243140192/1750835957*c_0101_3^5 + 18863901379460/1750835957*c_0101_3^4 - 21947188517205/1750835957*c_0101_3^3 - 5477495365054/1750835957*c_0101_3^2 + 276194539531/1750835957*c_0101_3 - 362427355669/1750835957, c_0011_5 - 175331993293/1750835957*c_0101_3^19 - 318135289965/1750835957*c_0101_3^18 + 2020660924482/1750835957*c_0101_3^17 + 3224068428234/1750835957*c_0101_3^16 - 9653005803444/1750835957*c_0101_3^15 - 1117445280470/134679689*c_0101_3^14 + 23438125439897/1750835957*c_0101_3^13 + 39610744901463/1750835957*c_0101_3^12 - 24967623915638/1750835957*c_0101_3^11 - 65949069345463/1750835957*c_0101_3^10 - 8554152480892/1750835957*c_0101_3^9 + 54995555781119/1750835957*c_0101_3^8 + 48768644496942/1750835957*c_0101_3^7 - 8938294288525/1750835957*c_0101_3^6 - 43256978714587/1750835957*c_0101_3^5 - 11146641291907/1750835957*c_0101_3^4 + 13065606539737/1750835957*c_0101_3^3 + 3252167245233/1750835957*c_0101_3^2 - 167404122621/1750835957*c_0101_3 + 215397114130/1750835957, c_0011_6 + 187919248484/1750835957*c_0101_3^19 + 340399223499/1750835957*c_0101_3^18 - 2166870282332/1750835957*c_0101_3^17 - 3449537463345/1750835957*c_0101_3^16 + 10356899873758/1750835957*c_0101_3^15 + 1195735124519/134679689*c_0101_3^14 - 25166341956714/1750835957*c_0101_3^13 - 42405068239597/1750835957*c_0101_3^12 + 26872724296226/1750835957*c_0101_3^11 + 70660540297687/1750835957*c_0101_3^10 + 9012596930547/1750835957*c_0101_3^9 - 59024603425673/1750835957*c_0101_3^8 - 52194972633926/1750835957*c_0101_3^7 + 9713546033086/1750835957*c_0101_3^6 + 46403122697064/1750835957*c_0101_3^5 + 11888390426665/1750835957*c_0101_3^4 - 14035089217130/1750835957*c_0101_3^3 - 3481888982017/1750835957*c_0101_3^2 + 178979365498/1750835957*c_0101_3 - 231163100762/1750835957, c_0101_0 + 241547504386/1750835957*c_0101_3^19 + 437576222392/1750835957*c_0101_3^18 - 2784604248727/1750835957*c_0101_3^17 - 4433386923601/1750835957*c_0101_3^16 + 13305492398935/1750835957*c_0101_3^15 + 1536424808481/134679689*c_0101_3^14 - 32316925017595/1750835957*c_0101_3^13 - 54473989308815/1750835957*c_0101_3^12 + 34472453275081/1750835957*c_0101_3^11 + 90735862489144/1750835957*c_0101_3^10 + 11646332139925/1750835957*c_0101_3^9 - 75725756297453/1750835957*c_0101_3^8 - 67052410600063/1750835957*c_0101_3^7 + 12390641167709/1750835957*c_0101_3^6 + 59527152259682/1750835957*c_0101_3^5 + 15273313659226/1750835957*c_0101_3^4 - 17975316779804/1750835957*c_0101_3^3 - 4458475688398/1750835957*c_0101_3^2 + 226596425872/1750835957*c_0101_3 - 297847401718/1750835957, c_0101_1 + 10987745027/134679689*c_0101_3^19 + 19986152194/134679689*c_0101_3^18 - 126461690576/134679689*c_0101_3^17 - 202460460704/134679689*c_0101_3^16 + 603190759089/134679689*c_0101_3^15 + 911619392555/134679689*c_0101_3^14 - 1461255118582/134679689*c_0101_3^13 - 2482815826062/134679689*c_0101_3^12 + 1546958332129/134679689*c_0101_3^11 + 4124809227980/134679689*c_0101_3^10 + 556777884181/134679689*c_0101_3^9 - 3423417969795/134679689*c_0101_3^8 - 3058697439639/134679689*c_0101_3^7 + 538017584488/134679689*c_0101_3^6 + 2694020097027/134679689*c_0101_3^5 + 702708908972/134679689*c_0101_3^4 - 809414363859/134679689*c_0101_3^3 - 202511852168/134679689*c_0101_3^2 + 10513244668/134679689*c_0101_3 - 13369778769/134679689, c_0101_3^20 + c_0101_3^19 - 13*c_0101_3^18 - 9*c_0101_3^17 + 70*c_0101_3^16 + 38*c_0101_3^15 - 201*c_0101_3^14 - 117*c_0101_3^13 + 326*c_0101_3^12 + 260*c_0101_3^11 - 257*c_0101_3^10 - 353*c_0101_3^9 - 23*c_0101_3^8 + 277*c_0101_3^7 + 205*c_0101_3^6 - 137*c_0101_3^5 - 126*c_0101_3^4 + 42*c_0101_3^3 + 16*c_0101_3^2 - 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB