Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 3002281582] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1774 geometric_solution 5.45607726 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.699184522286 0.255024502512 0 2 2 0 3201 0132 1023 0132 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 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.254858003309 0.776678434018 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -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.259660820908 0.280005137094 2 5 6 4 0132 0132 0132 0321 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 1 -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.820362324790 1.280031090304 6 3 2 5 0132 0321 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820362324790 1.280031090304 4 3 5 5 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151981267555 0.778087368120 4 6 6 3 0132 3201 2310 0132 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 1 0 -1 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.618564314159 0.542560491190 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0110_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 519562731747809707/419026334258097745*c_0110_5^17 - 6326909382893285606/1257079002774293235*c_0110_5^16 - 12077567594320841831/1257079002774293235*c_0110_5^15 + 45161840234914017266/1257079002774293235*c_0110_5^14 + 6965505950428301146/251415800554858647*c_0110_5^13 - 15867961801840401297/419026334258097745*c_0110_5^12 + 18450919013933969383/419026334258097745*c_0110_5^11 - 371489575804358044/1257079002774293235*c_0110_5^10 - 47503987863978096609/419026334258097745*c_0110_5^9 - 4210752562128553492/419026334258097745*c_0110_5^8 + 33954988348379055784/419026334258097745*c_0110_5^7 + 1514773121865532487/30660463482299835*c_0110_5^6 - 19834845314432037348/419026334258097745*c_0110_5^5 - 16969481833866384922/419026334258097745*c_0110_5^4 - 3417843759944307292/1257079002774293235*c_0110_5^3 + 2271092628543305593/419026334258097745*c_0110_5^2 - 23758629192972610198/1257079002774293235*c_0110_5 + 13124448439961495852/1257079002774293235, c_0011_0 - 1, c_0011_1 - 64419048551702/634354416875169*c_0110_5^17 + 42611135821367/70483824097241*c_0110_5^16 + 19387630819645/634354416875169*c_0110_5^15 - 967905341202715/211451472291723*c_0110_5^14 + 2166089192771344/634354416875169*c_0110_5^13 + 554090510532244/70483824097241*c_0110_5^12 - 6632680840991059/634354416875169*c_0110_5^11 + 5447009964794386/634354416875169*c_0110_5^10 + 708468478337063/70483824097241*c_0110_5^9 - 4245970262474218/211451472291723*c_0110_5^8 - 2238668581843847/634354416875169*c_0110_5^7 + 3259050612250133/634354416875169*c_0110_5^6 + 2262951632550619/211451472291723*c_0110_5^5 - 694495089387118/634354416875169*c_0110_5^4 - 5875556889372515/634354416875169*c_0110_5^3 + 2012497029114506/634354416875169*c_0110_5^2 - 327196966481980/211451472291723*c_0110_5 - 632226143712083/634354416875169, c_0011_4 + 279266697934292/634354416875169*c_0110_5^17 - 366750639907804/211451472291723*c_0110_5^16 - 2338483530909385/634354416875169*c_0110_5^15 + 2697986422916519/211451472291723*c_0110_5^14 + 7004836858701119/634354416875169*c_0110_5^13 - 1022986746945978/70483824097241*c_0110_5^12 + 11145679595676994/634354416875169*c_0110_5^11 + 1320611622675740/634354416875169*c_0110_5^10 - 3187191807824075/70483824097241*c_0110_5^9 + 496708107673528/211451472291723*c_0110_5^8 + 15199828479758765/634354416875169*c_0110_5^7 + 10836789664656919/634354416875169*c_0110_5^6 - 2391421715102866/211451472291723*c_0110_5^5 - 12397927103140013/634354416875169*c_0110_5^4 + 2472103800048053/634354416875169*c_0110_5^3 - 2580624106536446/634354416875169*c_0110_5^2 - 398696388984565/211451472291723*c_0110_5 + 343755674994014/634354416875169, c_0101_0 - 170101334696654/634354416875169*c_0110_5^17 + 246007795940149/211451472291723*c_0110_5^16 + 1137606998892652/634354416875169*c_0110_5^15 - 1807347905648789/211451472291723*c_0110_5^14 - 2158828029337982/634354416875169*c_0110_5^13 + 763190125415823/70483824097241*c_0110_5^12 - 9523333529869018/634354416875169*c_0110_5^11 + 2041894644350617/634354416875169*c_0110_5^10 + 1906204958535882/70483824097241*c_0110_5^9 - 2711438207024884/211451472291723*c_0110_5^8 - 7368473934973847/634354416875169*c_0110_5^7 - 2497664059024999/634354416875169*c_0110_5^6 + 2318285879500768/211451472291723*c_0110_5^5 + 4960771275052295/634354416875169*c_0110_5^4 - 4895633320842836/634354416875169*c_0110_5^3 + 2818049422712282/634354416875169*c_0110_5^2 + 15000484323364/211451472291723*c_0110_5 - 114348112858259/634354416875169, c_0101_3 - 132829993388941/634354416875169*c_0110_5^17 + 57238628620707/70483824097241*c_0110_5^16 + 1192299761753345/634354416875169*c_0110_5^15 - 1312770848878139/211451472291723*c_0110_5^14 - 4086277279572589/634354416875169*c_0110_5^13 + 584495276764398/70483824097241*c_0110_5^12 - 2955980064843932/634354416875169*c_0110_5^11 - 1362436203377128/634354416875169*c_0110_5^10 + 1590000425568155/70483824097241*c_0110_5^9 + 247265038785007/211451472291723*c_0110_5^8 - 11116791822821083/634354416875169*c_0110_5^7 - 9015558881380760/634354416875169*c_0110_5^6 + 1560794488370630/211451472291723*c_0110_5^5 + 10874832419968192/634354416875169*c_0110_5^4 - 107154668657044/634354416875169*c_0110_5^3 - 1676246382826676/634354416875169*c_0110_5^2 - 311333614880528/211451472291723*c_0110_5 - 828237881923555/634354416875169, c_0101_5 + 120633496816726/634354416875169*c_0110_5^17 - 155253516036685/211451472291723*c_0110_5^16 - 1020176060672054/634354416875169*c_0110_5^15 + 365758283013462/70483824097241*c_0110_5^14 + 3165075069012157/634354416875169*c_0110_5^13 - 327831925389662/70483824097241*c_0110_5^12 + 4682665237650626/634354416875169*c_0110_5^11 + 462286875922795/634354416875169*c_0110_5^10 - 1232495134743308/70483824097241*c_0110_5^9 - 467981136739270/211451472291723*c_0110_5^8 + 5041702466549137/634354416875169*c_0110_5^7 + 5569702767033890/634354416875169*c_0110_5^6 - 843495645266033/211451472291723*c_0110_5^5 - 4363245914885005/634354416875169*c_0110_5^4 + 323766725388001/634354416875169*c_0110_5^3 - 1675458767633683/634354416875169*c_0110_5^2 - 72460319811122/70483824097241*c_0110_5 - 324911513807072/634354416875169, c_0110_5^18 - 4*c_0110_5^17 - 8*c_0110_5^16 + 29*c_0110_5^15 + 22*c_0110_5^14 - 31*c_0110_5^13 + 47*c_0110_5^12 - c_0110_5^11 - 100*c_0110_5^10 + 15*c_0110_5^9 + 40*c_0110_5^8 + 31*c_0110_5^7 - 20*c_0110_5^6 - 34*c_0110_5^5 + 11*c_0110_5^4 - 20*c_0110_5^3 - 5*c_0110_5^2 + c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB