Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 2833855587] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1641 geometric_solution 5.38389309 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.521455716753 0.097205242631 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625236806816 0.248272229623 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 0 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.914970764287 1.870722000738 4 2 6 5 3201 0132 0132 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 1 -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.014944756741 0.979964949653 5 6 2 3 3201 1023 0132 2310 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.014944756741 0.979964949653 5 5 3 4 1302 2031 0132 2310 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 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.482232728692 0.502125740011 4 6 6 3 1023 1230 3012 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 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 1.005046507916 1.035997203767 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : 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' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], '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_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 9515357413866125303725455550533/105755514803112872921885842285*c_01\ 01_6^14 - 100601865939980756798454110419/10575551480311287292188584\ 2285*c_0101_6^13 - 637574684597361185410024371373099/10575551480311\ 2872921885842285*c_0101_6^12 - 2257942798375865147400400084768367/1\ 05755514803112872921885842285*c_0101_6^11 - 3389012713445502040675749264301241/105755514803112872921885842285*c\ _0101_6^10 + 486588511618561430080822782988481/10575551480311287292\ 1885842285*c_0101_6^9 + 9267872729967738197036573814211128/10575551\ 4803112872921885842285*c_0101_6^8 - 62873398283132985306816622535504/3021586137231796369196738351*c_010\ 1_6^7 - 17833761359355067543726995778040736/10575551480311287292188\ 5842285*c_0101_6^6 + 36804719231389422513810623233373688/1057555148\ 03112872921885842285*c_0101_6^5 - 186100665292681587048952706350881\ 11/105755514803112872921885842285*c_0101_6^4 - 6227105703837922857729924395559978/105755514803112872921885842285*c\ _0101_6^3 + 8662236593080739891539913447533701/10575551480311287292\ 1885842285*c_0101_6^2 - 98595427469361270027028576208867/3021586137\ 231796369196738351*c_0101_6 + 617376060044697889953937836783336/105\ 755514803112872921885842285, c_0011_0 - 1, c_0011_1 - 37531136200407998614224577/3021586137231796369196738351*c_01\ 01_6^14 - 45836565397025870349504713/3021586137231796369196738351*c\ _0101_6^13 + 2474013043772434636524810448/3021586137231796369196738\ 351*c_0101_6^12 + 11974269254535288048615909132/3021586137231796369\ 196738351*c_0101_6^11 + 27082065225862598315267737961/3021586137231\ 796369196738351*c_0101_6^10 + 26330575875246465122019106475/3021586\ 137231796369196738351*c_0101_6^9 - 15801757212190440319810437318/3021586137231796369196738351*c_0101_6\ ^8 - 22358779355830607200602447532/3021586137231796369196738351*c_0\ 101_6^7 + 49462053829315970835405475923/302158613723179636919673835\ 1*c_0101_6^6 - 73324855085720331097901856449/3021586137231796369196\ 738351*c_0101_6^5 - 37327698491597040819934965986/30215861372317963\ 69196738351*c_0101_6^4 + 7755052783330876671082894752/3021586137231\ 796369196738351*c_0101_6^3 - 4951380571757345758267115155/302158613\ 7231796369196738351*c_0101_6^2 - 615401405141910854688109358/302158\ 6137231796369196738351*c_0101_6 + 1258184127836102230614201324/3021\ 586137231796369196738351, c_0011_4 - 166765549810485348433543162/3021586137231796369196738351*c_0\ 011_5*c_0101_6^14 - 98109340181721564128410117/30215861372317963691\ 96738351*c_0011_5*c_0101_6^13 + 11107530055276755982985095177/30215\ 86137231796369196738351*c_0011_5*c_0101_6^12 + 46226911831600355407209738493/3021586137231796369196738351*c_0011_5\ *c_0101_6^11 + 87605867492302668699106301322/3021586137231796369196\ 738351*c_0011_5*c_0101_6^10 + 45643682625752327165062643090/3021586\ 137231796369196738351*c_0011_5*c_0101_6^9 - 133017883390524197635421604121/3021586137231796369196738351*c_0011_\ 5*c_0101_6^8 - 42971213321228134815154578957/3021586137231796369196\ 738351*c_0011_5*c_0101_6^7 + 278197798951516406389453844166/3021586\ 137231796369196738351*c_0011_5*c_0101_6^6 - 474427864153519499311784488255/3021586137231796369196738351*c_0011_\ 5*c_0101_6^5 + 59338875655129623137178690164/3021586137231796369196\ 738351*c_0011_5*c_0101_6^4 + 110739446126083782561015521826/3021586\ 137231796369196738351*c_0011_5*c_0101_6^3 - 67871719620263618672994161111/3021586137231796369196738351*c_0011_5\ *c_0101_6^2 + 28219919632393136011569297761/30215861372317963691967\ 38351*c_0011_5*c_0101_6 - 2596433606455917878931970023/302158613723\ 1796369196738351*c_0011_5, c_0011_5^2 - 93332000838749345788247377/3021586137231796369196738351*c_\ 0101_6^14 - 66415466466006580271598243/3021586137231796369196738351\ *c_0101_6^13 + 6210925652501865696013345924/30215861372317963691967\ 38351*c_0101_6^12 + 26635537936179252672892048772/30215861372317963\ 69196738351*c_0101_6^11 + 52132235356508909972757533263/30215861372\ 31796369196738351*c_0101_6^10 + 31442423726987397724556566011/30215\ 86137231796369196738351*c_0101_6^9 - 71001259611854839385462240980/3021586137231796369196738351*c_0101_6\ ^8 - 31506573354660885149808611742/3021586137231796369196738351*c_0\ 101_6^7 + 155348612515287560409587714129/30215861372317963691967383\ 51*c_0101_6^6 - 248569951244428312061365338226/30215861372317963691\ 96738351*c_0101_6^5 - 5586862298475057840068232259/3021586137231796\ 369196738351*c_0101_6^4 + 72080976233631457174139685380/30215861372\ 31796369196738351*c_0101_6^3 - 36757941971004342287424077732/302158\ 6137231796369196738351*c_0101_6^2 + 8127373194935167589942237001/3021586137231796369196738351*c_0101_6 - 119237646042765727454628220/3021586137231796369196738351, c_0101_0 - 64771238974288493859637033/3021586137231796369196738351*c_01\ 01_6^14 + 10973751078546114573684954/3021586137231796369196738351*c\ _0101_6^13 + 4353629361247137221807457104/3021586137231796369196738\ 351*c_0101_6^12 + 14691778097917165076088409328/3021586137231796369\ 196738351*c_0101_6^11 + 19714817780782711322991274270/3021586137231\ 796369196738351*c_0101_6^10 - 11002254433933601919696894658/3021586\ 137231796369196738351*c_0101_6^9 - 70774902354139735873856304611/3021586137231796369196738351*c_0101_6\ ^8 + 19051717742170779167589822323/3021586137231796369196738351*c_0\ 101_6^7 + 127906897915064378276496499006/30215861372317963691967383\ 51*c_0101_6^6 - 265227475396485360535652810017/30215861372317963691\ 96738351*c_0101_6^5 + 143866385977337488299025147154/30215861372317\ 96369196738351*c_0101_6^4 + 55416986333966812511769135031/302158613\ 7231796369196738351*c_0101_6^3 - 64875326474817373860827365450/3021\ 586137231796369196738351*c_0101_6^2 + 25964273209499908033660238028/3021586137231796369196738351*c_0101_6 - 1904101275547658993393723362/3021586137231796369196738351, c_0101_1 - 381752290532407029225081752/3021586137231796369196738351*c_0\ 101_6^14 - 215966374855288698624700613/3021586137231796369196738351\ *c_0101_6^13 + 25457417839005320740188606273/3021586137231796369196\ 738351*c_0101_6^12 + 105257500401425079235820565156/302158613723179\ 6369196738351*c_0101_6^11 + 196448207549424476766081595916/30215861\ 37231796369196738351*c_0101_6^10 + 93146285029095511022267806215/3021586137231796369196738351*c_0101_6\ ^9 - 318772764101863609508131093256/3021586137231796369196738351*c_\ 0101_6^8 - 94708738352249664479178769614/30215861372317963691967383\ 51*c_0101_6^7 + 663825068828144529184252386857/30215861372317963691\ 96738351*c_0101_6^6 - 1095164499749941551603371548913/3021586137231\ 796369196738351*c_0101_6^5 + 110978307447665731485286185671/3021586\ 137231796369196738351*c_0101_6^4 + 325436628446953763912008602253/3021586137231796369196738351*c_0101_\ 6^3 - 169991004949256208216583321550/3021586137231796369196738351*c\ _0101_6^2 + 42516040124365271608002304134/3021586137231796369196738\ 351*c_0101_6 + 1892854737473028361544010282/30215861372317963691967\ 38351, c_0101_6^15 - 67*c_0101_6^13 - 238*c_0101_6^12 - 359*c_0101_6^11 + 46*c_0101_6^10 + 972*c_0101_6^9 - 222*c_0101_6^8 - 1872*c_0101_6^7 + 3850*c_0101_6^6 - 1924*c_0101_6^5 - 662*c_0101_6^4 + 904*c_0101_6^3 - 359*c_0101_6^2 + 62*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB