Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3718005014] 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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : 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 - 1340622275485060595993/9270140591638738713*c_0101_6^14 + 166945341882314880851/9270140591638738713*c_0101_6^13 - 41558378966599287263065/9270140591638738713*c_0101_6^12 + 40013773329370900110137/9270140591638738713*c_0101_6^11 - 322036190605234926755387/9270140591638738713*c_0101_6^10 + 575239074621954668909461/9270140591638738713*c_0101_6^9 + 204816441045810232819096/9270140591638738713*c_0101_6^8 - 534774679664746422758872/3090046863879579571*c_0101_6^7 + 221612994829044493866112/9270140591638738713*c_0101_6^6 + 330709506487220670147584/3090046863879579571*c_0101_6^5 - 253482891402771179819759/9270140591638738713*c_0101_6^4 - 119171580292716810374266/9270140591638738713*c_0101_6^3 + 59314172407746182618953/9270140591638738713*c_0101_6^2 - 3026819585575949410227/3090046863879579571*c_0101_6 - 5449033354509426974900/9270140591638738713, c_0011_0 - 1, c_0011_1 + 414608136286293889/3090046863879579571*c_0101_6^14 - 11387594404135915/3090046863879579571*c_0101_6^13 + 12937878127080707628/3090046863879579571*c_0101_6^12 - 11079667628262583470/3090046863879579571*c_0101_6^11 + 101202207957962366617/3090046863879579571*c_0101_6^10 - 169059631553415403637/3090046863879579571*c_0101_6^9 - 60188877928219714786/3090046863879579571*c_0101_6^8 + 466368232703886373504/3090046863879579571*c_0101_6^7 - 57306075430556218225/3090046863879579571*c_0101_6^6 - 209312052417586818415/3090046863879579571*c_0101_6^5 + 78165488990371219732/3090046863879579571*c_0101_6^4 - 7187281715733009862/3090046863879579571*c_0101_6^3 - 6383557507997277417/3090046863879579571*c_0101_6^2 - 70989045513876726/3090046863879579571*c_0101_6 - 992486584916349506/3090046863879579571, c_0011_4 - 156658607569150464/3090046863879579571*c_0011_5*c_0101_6^14 - 7470842349017265/3090046863879579571*c_0011_5*c_0101_6^13 - 4838312752119159749/3090046863879579571*c_0011_5*c_0101_6^12 + 3813510365610684649/3090046863879579571*c_0011_5*c_0101_6^11 - 36337014988247108856/3090046863879579571*c_0011_5*c_0101_6^10 + 59538521858900924980/3090046863879579571*c_0011_5*c_0101_6^9 + 40785221142009032869/3090046863879579571*c_0011_5*c_0101_6^8 - 196760138728846500765/3090046863879579571*c_0011_5*c_0101_6^7 + 10775291888773833444/3090046863879579571*c_0011_5*c_0101_6^6 + 11248186322522562147/280913351261779961*c_0011_5*c_0101_6^5 - 33228709255158609506/3090046863879579571*c_0011_5*c_0101_6^4 - 1864503996744181158/3090046863879579571*c_0011_5*c_0101_6^3 + 16078672809348102329/3090046863879579571*c_0011_5*c_0101_6^2 - 467774185471876757/280913351261779961*c_0011_5*c_0101_6 - 1936671173275370691/3090046863879579571*c_0011_5, c_0011_5^2 - 367046139825530079/3090046863879579571*c_0101_6^14 - 95948609237068821/3090046863879579571*c_0101_6^13 - 11370451006594614978/3090046863879579571*c_0101_6^12 + 6577929649999925006/3090046863879579571*c_0101_6^11 - 84218875539462462895/3090046863879579571*c_0101_6^10 + 124138457655177112415/3090046863879579571*c_0101_6^9 + 115090881796626571664/3090046863879579571*c_0101_6^8 - 411616967334231031374/3090046863879579571*c_0101_6^7 - 104436283636578128535/3090046863879579571*c_0101_6^6 + 264270692765328309406/3090046863879579571*c_0101_6^5 + 56375931838107921113/3090046863879579571*c_0101_6^4 - 23398601235640033230/3090046863879579571*c_0101_6^3 - 16976679662742288050/3090046863879579571*c_0101_6^2 - 5624226028112547831/3090046863879579571*c_0101_6 - 866276360344579234/3090046863879579571, c_0101_0 + 442828317069117145/3090046863879579571*c_0101_6^14 - 157015793128698052/3090046863879579571*c_0101_6^13 + 13752445079218768158/3090046863879579571*c_0101_6^12 - 16470152438125826362/3090046863879579571*c_0101_6^11 + 109831183046605254832/3090046863879579571*c_0101_6^10 - 217801568885804224598/3090046863879579571*c_0101_6^9 - 17480204972824719479/3090046863879579571*c_0101_6^8 + 515511284106013552737/3090046863879579571*c_0101_6^7 - 149503797336520779134/3090046863879579571*c_0101_6^6 - 304555388774656810491/3090046863879579571*c_0101_6^5 + 70173820606430602970/3090046863879579571*c_0101_6^4 + 41438431148888840271/3090046863879579571*c_0101_6^3 - 3129891033836856624/3090046863879579571*c_0101_6^2 - 3223651889581429324/3090046863879579571*c_0101_6 + 1852127898577020210/3090046863879579571, c_0101_1 + 253279394867537800/3090046863879579571*c_0101_6^14 + 7834202379043315/280913351261779961*c_0101_6^13 + 7883852749111133667/3090046863879579571*c_0101_6^12 - 3840513139970806740/3090046863879579571*c_0101_6^11 + 58768492594989609632/3090046863879579571*c_0101_6^10 - 79402115069101734137/3090046863879579571*c_0101_6^9 - 80433020877717946920/3090046863879579571*c_0101_6^8 + 284955482078938053938/3090046863879579571*c_0101_6^7 + 55341814558756833277/3090046863879579571*c_0101_6^6 - 145269820062329839037/3090046863879579571*c_0101_6^5 + 17151024031552934287/3090046863879579571*c_0101_6^4 + 1544536391672543999/3090046863879579571*c_0101_6^3 - 8461299530654364490/3090046863879579571*c_0101_6^2 - 1281864085689549716/3090046863879579571*c_0101_6 + 87101389221578826/280913351261779961, c_0101_6^15 + 31*c_0101_6^13 - 26*c_0101_6^12 + 237*c_0101_6^11 - 400*c_0101_6^10 - 202*c_0101_6^9 + 1168*c_0101_6^8 - 14*c_0101_6^7 - 740*c_0101_6^6 + 82*c_0101_6^5 + 102*c_0101_6^4 - 24*c_0101_6^3 + c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB