Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 3465499336] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s588 geometric_solution 5.06227736 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304321449979 0.188995823079 2 0 3 0 0132 2310 0132 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 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.324298832984 1.283726068479 1 4 5 3 0132 0132 0132 1230 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 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.831212105044 1.548722384896 2 5 4 1 3012 1023 3201 0132 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831212105044 1.548722384896 3 2 4 4 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310467507762 0.411390279733 3 5 5 2 1023 3201 2310 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 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468931002186 0.614678157206 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 13317895778691403866157/2080620074175952524985*c_0101_4^13 - 147264526939901222890741/2080620074175952524985*c_0101_4^12 - 869850438781360790546087/4161240148351905049970*c_0101_4^11 - 133579431190352321378483/594462878335986435710*c_0101_4^10 - 3028715417111373323731211/4161240148351905049970*c_0101_4^9 + 2095249166871729594060487/4161240148351905049970*c_0101_4^8 + 336246096209130289869683/2080620074175952524985*c_0101_4^7 + 13149924684264732757432581/4161240148351905049970*c_0101_4^6 + 644215733770057998223627/297231439167993217855*c_0101_4^5 + 8711303584773448471462913/2080620074175952524985*c_0101_4^4 + 91606743771045680532135/37829455894108227727*c_0101_4^3 - 1033746889560512060650329/2080620074175952524985*c_0101_4^2 + 252772989858138350588304/297231439167993217855*c_0101_4 - 394024166680885716396123/4161240148351905049970, c_0011_0 - 1, c_0011_1 + 455700045068772451/5404207984872603961*c_0101_4^13 + 5003422701476637738/5404207984872603961*c_0101_4^12 + 14474612762996422654/5404207984872603961*c_0101_4^11 + 14687422440961958492/5404207984872603961*c_0101_4^10 + 50194558241815370822/5404207984872603961*c_0101_4^9 - 40140414229237455242/5404207984872603961*c_0101_4^8 - 10258941306618642910/5404207984872603961*c_0101_4^7 - 222542314916158678284/5404207984872603961*c_0101_4^6 - 136841015408374921187/5404207984872603961*c_0101_4^5 - 279914404932179519325/5404207984872603961*c_0101_4^4 - 143510816415256421281/5404207984872603961*c_0101_4^3 + 55266598097684871602/5404207984872603961*c_0101_4^2 - 58186310966551271699/5404207984872603961*c_0101_4 + 6941979924877543091/5404207984872603961, c_0011_3 - 49237068530392382/5404207984872603961*c_0101_4^13 - 567461778678249200/5404207984872603961*c_0101_4^12 - 1858907994872875661/5404207984872603961*c_0101_4^11 - 2431276004150914470/5404207984872603961*c_0101_4^10 - 6173800085133289319/5404207984872603961*c_0101_4^9 + 1812014341694120962/5404207984872603961*c_0101_4^8 + 4141486611603594415/5404207984872603961*c_0101_4^7 + 25780067425229182158/5404207984872603961*c_0101_4^6 + 26802968660836551530/5404207984872603961*c_0101_4^5 + 36203863644461666290/5404207984872603961*c_0101_4^4 + 26427759209117928995/5404207984872603961*c_0101_4^3 - 3402222889961067049/5404207984872603961*c_0101_4^2 + 1839981500393748169/5404207984872603961*c_0101_4 + 1478078642336776718/5404207984872603961, c_0101_0 - 372314412518918802/5404207984872603961*c_0101_4^13 - 4122316972855473635/5404207984872603961*c_0101_4^12 - 12225398471724250798/5404207984872603961*c_0101_4^11 - 13304051278487837303/5404207984872603961*c_0101_4^10 - 42535844595078487763/5404207984872603961*c_0101_4^9 + 29050734147229002325/5404207984872603961*c_0101_4^8 + 9438137019603562773/5404207984872603961*c_0101_4^7 + 185810598119233348938/5404207984872603961*c_0101_4^6 + 126886974838600133500/5404207984872603961*c_0101_4^5 + 246422875337090571808/5404207984872603961*c_0101_4^4 + 140251021097462666086/5404207984872603961*c_0101_4^3 - 27231071789422552383/5404207984872603961*c_0101_4^2 + 45669607666011466883/5404207984872603961*c_0101_4 - 7067811123233336934/5404207984872603961, c_0101_3 + 5611471516004714/5404207984872603961*c_0101_4^13 + 75527832824602365/5404207984872603961*c_0101_4^12 + 337997423930516440/5404207984872603961*c_0101_4^11 + 690294045735808484/5404207984872603961*c_0101_4^10 + 1168791038959838446/5404207984872603961*c_0101_4^9 + 745744409820676667/5404207984872603961*c_0101_4^8 - 1598318084098883481/5404207984872603961*c_0101_4^7 - 5013210461476539383/5404207984872603961*c_0101_4^6 - 8065441093408864468/5404207984872603961*c_0101_4^5 - 9420963856609459665/5404207984872603961*c_0101_4^4 - 3776268916804122117/5404207984872603961*c_0101_4^3 - 877868929165795699/5404207984872603961*c_0101_4^2 + 4331577751289904064/5404207984872603961*c_0101_4 + 1602285420038272769/5404207984872603961, c_0101_4^14 + 11*c_0101_4^13 + 32*c_0101_4^12 + 33*c_0101_4^11 + 111*c_0101_4^10 - 86*c_0101_4^9 - 23*c_0101_4^8 - 491*c_0101_4^7 - 309*c_0101_4^6 - 625*c_0101_4^5 - 332*c_0101_4^4 + 112*c_0101_4^3 - 128*c_0101_4^2 + 20*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.210 seconds, Total memory usage: 32.09MB