Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2850567529] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0389 geometric_solution 4.45640031 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.378619353618 0.123444769029 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.984054444039 0.378311778977 1 1 3 3 2310 0132 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 1 0 -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.293195183132 0.238161579135 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953920520243 0.767321822356 3 6 5 5 0132 0132 3012 1230 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 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235061940200 1.141300759274 4 4 6 3 3012 1230 0132 0132 0 0 0 0 0 0 1 -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 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 1.235061940200 1.141300759274 6 4 6 5 2031 0132 1302 0132 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 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.405222762435 0.604599340453 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 60650177185582296879822/5507071472662279562489*c_0101_5^21 + 5439926797191782556468659/16521214417986838687467*c_0101_5^19 + 20197880917718981923920349/5507071472662279562489*c_0101_5^17 + 35478574863353277098728805/5507071472662279562489*c_0101_5^15 - 740245780404630527257655345/16521214417986838687467*c_0101_5^13 + 1505547642031616649618291457/16521214417986838687467*c_0101_5^11 - 1745936156130191465864608630/16521214417986838687467*c_0101_5^9 + 46708407229787491014245890/869537600946675720393*c_0101_5^7 - 43563741778440460549789896/5507071472662279562489*c_0101_5^5 - 7972942045128520989642415/16521214417986838687467*c_0101_5^3 - 131784629844534611068070/16521214417986838687467*c_0101_5, c_0011_0 - 1, c_0011_3 + 82902810195776793465/5507071472662279562489*c_0101_5^20 - 2472300829656848855125/5507071472662279562489*c_0101_5^18 - 27799705182251111454827/5507071472662279562489*c_0101_5^16 - 50523353382112550918960/5507071472662279562489*c_0101_5^14 + 334333497056574048476489/5507071472662279562489*c_0101_5^12 - 659769283874381835460823/5507071472662279562489*c_0101_5^10 + 730351054680798978748441/5507071472662279562489*c_0101_5^8 - 16757059847648513083322/289845866982225240131*c_0101_5^6 + 3283609198021929391911/5507071472662279562489*c_0101_5^4 + 16744719830344827561311/5507071472662279562489*c_0101_5^2 + 3283321826343472717907/5507071472662279562489, c_0011_5 - 137391642667950357217/5507071472662279562489*c_0101_5^20 + 4113851127600385334842/5507071472662279562489*c_0101_5^18 + 45582758716516388265434/5507071472662279562489*c_0101_5^16 + 77982309262933585774139/5507071472662279562489*c_0101_5^14 - 566714715770013058333564/5507071472662279562489*c_0101_5^12 + 1152080689789850716994509/5507071472662279562489*c_0101_5^10 - 1327439833642700291427410/5507071472662279562489*c_0101_5^8 + 34842953958960825245709/289845866982225240131*c_0101_5^6 - 72496621899771110485181/5507071472662279562489*c_0101_5^4 - 6511649878664591038137/5507071472662279562489*c_0101_5^2 - 3292465251138921842906/5507071472662279562489, c_0101_0 + 474515760019603341943/5507071472662279562489*c_0101_5^21 - 14123207904903988351840/5507071472662279562489*c_0101_5^19 - 159874299655617758190688/5507071472662279562489*c_0101_5^17 - 300508739448981987786904/5507071472662279562489*c_0101_5^15 + 1873490428392935766073389/5507071472662279562489*c_0101_5^13 - 3708051136619410505935497/5507071472662279562489*c_0101_5^11 + 4241644637191239753990889/5507071472662279562489*c_0101_5^9 - 110215877598211440030158/289845866982225240131*c_0101_5^7 + 432772602099793509660158/5507071472662279562489*c_0101_5^5 - 67902792776211241352665/5507071472662279562489*c_0101_5^3 + 4292554890799933869539/5507071472662279562489*c_0101_5, c_0101_1 + 488633827373945405435/5507071472662279562489*c_0101_5^20 - 14508799175483747500090/5507071472662279562489*c_0101_5^18 - 165690775359344581911687/5507071472662279562489*c_0101_5^16 - 320232113438483283500122/5507071472662279562489*c_0101_5^14 + 1917451309365011150355615/5507071472662279562489*c_0101_5^12 - 3661444950823283903867780/5507071472662279562489*c_0101_5^10 + 3982262801690317796715928/5507071472662279562489*c_0101_5^8 - 86073045187958384640707/289845866982225240131*c_0101_5^6 + 74333537350186421190009/5507071472662279562489*c_0101_5^4 + 37307536852648816063280/5507071472662279562489*c_0101_5^2 + 2486300284435814290646/5507071472662279562489, c_0101_2 - 252937273893033024752/5507071472662279562489*c_0101_5^21 + 7608336871983747954250/5507071472662279562489*c_0101_5^19 + 82874686044606999433661/5507071472662279562489*c_0101_5^17 + 132097941333898518397491/5507071472662279562489*c_0101_5^15 - 1062348845522710115253920/5507071472662279562489*c_0101_5^13 + 2265274649104665236631809/5507071472662279562489*c_0101_5^11 - 2745526248947501439375985/5507071472662279562489*c_0101_5^9 + 82831274021690071505874/289845866982225240131*c_0101_5^7 - 310020461541192201554827/5507071472662279562489*c_0101_5^5 + 10445874388276777094225/5507071472662279562489*c_0101_5^3 - 2935905207340028051930/5507071472662279562489*c_0101_5, c_0101_5^22 - 30*c_0101_5^20 - 330*c_0101_5^18 - 550*c_0101_5^16 + 4139*c_0101_5^14 - 8669*c_0101_5^12 + 10316*c_0101_5^10 - 5622*c_0101_5^8 + 964*c_0101_5^6 + 68*c_0101_5^4 - 3*c_0101_5^2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB