Magma V2.19-8 Tue Aug 20 2013 16:19:07 on localhost [Seed = 1343343914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3249 geometric_solution 6.37833001 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 0 1 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.126071383089 0.446175224223 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.133505092871 2.260661490335 1 3 0 5 1230 1230 0132 0132 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 -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.561895313915 0.737427393667 1 6 2 5 0132 0132 3012 0321 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 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.164171351875 0.797884821926 6 6 5 1 2310 1302 0132 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 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.360115107306 0.539333603659 6 3 2 4 0213 0321 0132 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 -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.005399392335 1.584074071795 5 3 4 4 0213 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386976411995 1.028923862761 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_5']), '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_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], '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_2, c_0011_5, c_0101_0, c_0101_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1629729049888517/278933109908013*c_1100_0^16 + 14722641207151000/278933109908013*c_1100_0^15 - 14809333128372338/92977703302671*c_1100_0^14 + 18616947752641213/278933109908013*c_1100_0^13 + 48797481857286625/92977703302671*c_1100_0^12 - 13400698583986651/25357555446183*c_1100_0^11 - 327709965924478496/278933109908013*c_1100_0^10 + 326066120857233835/278933109908013*c_1100_0^9 + 587976316757264024/278933109908013*c_1100_0^8 - 259483310570031374/278933109908013*c_1100_0^7 - 687865691677734976/278933109908013*c_1100_0^6 - 16599355199038339/30992567767557*c_1100_0^5 + 106408791618132296/278933109908013*c_1100_0^4 - 64266388859772701/92977703302671*c_1100_0^3 - 318001779286441856/278933109908013*c_1100_0^2 - 6408744604324487/10330855922519*c_1100_0 - 1557498869233103/10330855922519, c_0011_0 - 1, c_0011_1 - 176462096050/607697407207*c_1100_0^16 + 1469024508530/607697407207*c_1100_0^15 - 3614701702672/607697407207*c_1100_0^14 - 2014043500577/607697407207*c_1100_0^13 + 19312261503628/607697407207*c_1100_0^12 - 566813310836/55245218837*c_1100_0^11 - 52300251448582/607697407207*c_1100_0^10 + 18660014012142/607697407207*c_1100_0^9 + 98492877480130/607697407207*c_1100_0^8 - 942441016119/607697407207*c_1100_0^7 - 110367325458303/607697407207*c_1100_0^6 - 50521471317329/607697407207*c_1100_0^5 + 1738062503842/55245218837*c_1100_0^4 - 15924840177281/607697407207*c_1100_0^3 - 51478090021840/607697407207*c_1100_0^2 - 33645125494918/607697407207*c_1100_0 - 8646823753826/607697407207, c_0011_2 + 612900652817/5469276664863*c_1100_0^16 - 6101705251933/5469276664863*c_1100_0^15 + 2475252945074/607697407207*c_1100_0^14 - 27039526285234/5469276664863*c_1100_0^13 - 3518455556076/607697407207*c_1100_0^12 + 7791914837119/497206969533*c_1100_0^11 + 47177545583207/5469276664863*c_1100_0^10 - 167497200918691/5469276664863*c_1100_0^9 - 77842631034650/5469276664863*c_1100_0^8 + 172353100436735/5469276664863*c_1100_0^7 + 123336544067254/5469276664863*c_1100_0^6 - 17372281513969/1823092221621*c_1100_0^5 - 23140568036879/5469276664863*c_1100_0^4 + 23927299420246/1823092221621*c_1100_0^3 + 62594464011395/5469276664863*c_1100_0^2 + 5190672543946/1823092221621*c_1100_0 - 531926283527/607697407207, c_0011_5 + 980731861391/5469276664863*c_1100_0^16 - 9100205619820/5469276664863*c_1100_0^15 + 3214653543657/607697407207*c_1100_0^14 - 17883886589167/5469276664863*c_1100_0^13 - 9517769354624/607697407207*c_1100_0^12 + 10363271366911/497206969533*c_1100_0^11 + 166586946502349/5469276664863*c_1100_0^10 - 242805261668371/5469276664863*c_1100_0^9 - 286762291753430/5469276664863*c_1100_0^8 + 234810655500830/5469276664863*c_1100_0^7 + 340770351780055/5469276664863*c_1100_0^6 + 1118863848842/1823092221621*c_1100_0^5 - 51762145336424/5469276664863*c_1100_0^4 + 41505669387667/1823092221621*c_1100_0^3 + 151935803308166/5469276664863*c_1100_0^2 + 24417120627781/1823092221621*c_1100_0 + 1693322942875/607697407207, c_0101_0 - 520877002/2364581351*c_1100_0^16 + 4717800727/2364581351*c_1100_0^15 - 14348978646/2364581351*c_1100_0^14 + 6672153504/2364581351*c_1100_0^13 + 45216104123/2364581351*c_1100_0^12 - 4228938554/214961941*c_1100_0^11 - 100974616151/2364581351*c_1100_0^10 + 99110069314/2364581351*c_1100_0^9 + 183951739399/2364581351*c_1100_0^8 - 72336510277/2364581351*c_1100_0^7 - 218959781448/2364581351*c_1100_0^6 - 59402331152/2364581351*c_1100_0^5 + 36616633120/2364581351*c_1100_0^4 - 52639248014/2364581351*c_1100_0^3 - 105098519648/2364581351*c_1100_0^2 - 60104447281/2364581351*c_1100_0 - 12289280501/2364581351, c_0101_4 + 769117360456/1823092221621*c_1100_0^16 - 2255725202548/607697407207*c_1100_0^15 + 19248061520186/1823092221621*c_1100_0^14 - 3078699615410/1823092221621*c_1100_0^13 - 73540324445023/1823092221621*c_1100_0^12 + 4944106818365/165735656511*c_1100_0^11 + 59752447250963/607697407207*c_1100_0^10 - 42415635792540/607697407207*c_1100_0^9 - 330572993112803/1823092221621*c_1100_0^8 + 80706460121735/1823092221621*c_1100_0^7 + 379314403284670/1823092221621*c_1100_0^6 + 125012001612532/1823092221621*c_1100_0^5 - 64534883103166/1823092221621*c_1100_0^4 + 7219571840312/165735656511*c_1100_0^3 + 175869554760301/1823092221621*c_1100_0^2 + 107114158447382/1823092221621*c_1100_0 + 8596123032184/607697407207, c_1100_0^17 - 8*c_1100_0^16 + 18*c_1100_0^15 + 16*c_1100_0^14 - 99*c_1100_0^13 - 5*c_1100_0^12 + 289*c_1100_0^11 + 19*c_1100_0^10 - 559*c_1100_0^9 - 236*c_1100_0^8 + 572*c_1100_0^7 + 552*c_1100_0^6 + 50*c_1100_0^5 + 42*c_1100_0^4 + 313*c_1100_0^3 + 321*c_1100_0^2 + 144*c_1100_0 + 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB