Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 678016252] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1224 geometric_solution 5.12050694 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.373715126653 1.193449480171 0 3 2 4 0132 0132 0132 0132 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.019473653758 0.879988013799 3 0 4 1 3201 0132 3201 0132 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 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.019473653758 0.879988013799 5 1 5 2 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774918227326 1.086252449783 2 4 1 4 2310 2310 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.025135139683 1.135822887721 3 3 6 6 0132 3201 3201 0132 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 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.353405898082 0.183880461756 5 6 5 6 2310 2310 0132 3201 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 0 0 0 0 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.538981599603 0.376421152205 ==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' : 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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 55687907677242267/27185640011259220*c_0101_3^16 - 236423778786161269/27185640011259220*c_0101_3^15 - 167598577771052601/5437128002251844*c_0101_3^14 + 599149372767202382/6796410002814805*c_0101_3^13 + 1695066361309684463/13592820005629610*c_0101_3^12 - 3838964445019884979/13592820005629610*c_0101_3^11 - 805823492872613882/6796410002814805*c_0101_3^10 + 13509778531201679151/27185640011259220*c_0101_3^9 - 3618601250307701463/27185640011259220*c_0101_3^8 - 15289879074248141503/27185640011259220*c_0101_3^7 + 6836088490659667387/27185640011259220*c_0101_3^6 + 470643993758762272/1359282000562961*c_0101_3^5 - 266959662072617613/6796410002814805*c_0101_3^4 - 860678608133796617/13592820005629610*c_0101_3^3 - 1806812053628521711/27185640011259220*c_0101_3^2 - 222282620093162391/27185640011259220*c_0101_3 - 157962815755160169/27185640011259220, c_0011_0 - 1, c_0011_4 + 3144885620007149/27185640011259220*c_0101_3^16 - 13413088389247193/27185640011259220*c_0101_3^15 - 9159021489477307/5437128002251844*c_0101_3^14 + 65528971202281143/13592820005629610*c_0101_3^13 + 42446868550944418/6796410002814805*c_0101_3^12 - 97089743076125814/6796410002814805*c_0101_3^11 - 50811959561269333/13592820005629610*c_0101_3^10 + 625875917470062307/27185640011259220*c_0101_3^9 - 268277182600552961/27185640011259220*c_0101_3^8 - 611705505845907271/27185640011259220*c_0101_3^7 + 330190941167173849/27185640011259220*c_0101_3^6 + 26652720483318009/2718564001125922*c_0101_3^5 + 21361535580357153/13592820005629610*c_0101_3^4 + 4484815622138183/6796410002814805*c_0101_3^3 - 105809281923212747/27185640011259220*c_0101_3^2 - 13560768610730217/27185640011259220*c_0101_3 - 35298654534080333/27185640011259220, c_0011_6 - 1193100257172497/27185640011259220*c_0101_3^16 + 5999565212335799/27185640011259220*c_0101_3^15 + 2826619380843887/5437128002251844*c_0101_3^14 - 16366131914784442/6796410002814805*c_0101_3^13 - 18366789548667603/13592820005629610*c_0101_3^12 + 109564835545378179/13592820005629610*c_0101_3^11 - 8626506153278393/6796410002814805*c_0101_3^10 - 333582026096473001/27185640011259220*c_0101_3^9 + 264789079111988193/27185640011259220*c_0101_3^8 + 290845147855483493/27185640011259220*c_0101_3^7 - 353280633866608077/27185640011259220*c_0101_3^6 - 7261374710545291/1359282000562961*c_0101_3^5 + 35929627883594108/6796410002814805*c_0101_3^4 + 21663879514371547/13592820005629610*c_0101_3^3 - 17741358972039359/27185640011259220*c_0101_3^2 - 13762564679894819/27185640011259220*c_0101_3 + 20350662242833659/27185640011259220, c_0101_0 - 2680538442688821/13592820005629610*c_0101_3^16 + 6166176684337966/6796410002814805*c_0101_3^15 + 7107078038912731/2718564001125922*c_0101_3^14 - 126669917558055959/13592820005629610*c_0101_3^13 - 110646667195626073/13592820005629610*c_0101_3^12 + 401004236015736479/13592820005629610*c_0101_3^11 - 20727631110161671/13592820005629610*c_0101_3^10 - 319643943164559459/6796410002814805*c_0101_3^9 + 442544495078615579/13592820005629610*c_0101_3^8 + 279774917648556507/6796410002814805*c_0101_3^7 - 578240064828957381/13592820005629610*c_0101_3^6 - 39492284587006491/2718564001125922*c_0101_3^5 + 197199271481851271/13592820005629610*c_0101_3^4 - 4785505695116153/13592820005629610*c_0101_3^3 + 22725877680285204/6796410002814805*c_0101_3^2 - 18693994809244167/13592820005629610*c_0101_3 + 4251400569584041/6796410002814805, c_0101_1 - 6834977768425561/27185640011259220*c_0101_3^16 + 26146810816529747/27185640011259220*c_0101_3^15 + 23071841901428955/5437128002251844*c_0101_3^14 - 63107759016094361/6796410002814805*c_0101_3^13 - 271956485724463519/13592820005629610*c_0101_3^12 + 391731876556866057/13592820005629610*c_0101_3^11 + 201734439793838651/6796410002814805*c_0101_3^10 - 1545036111435162553/27185640011259220*c_0101_3^9 - 265232248412217391/27185640011259220*c_0101_3^8 + 2151242943197443029/27185640011259220*c_0101_3^7 - 78243651639496801/27185640011259220*c_0101_3^6 - 80204078274424287/1359282000562961*c_0101_3^5 - 77316740163279821/6796410002814805*c_0101_3^4 + 174383922293571631/13592820005629610*c_0101_3^3 + 309891891997339973/27185640011259220*c_0101_3^2 + 91464014260326593/27185640011259220*c_0101_3 + 27247301930658547/27185640011259220, c_0101_2 + 7028427266946639/27185640011259220*c_0101_3^16 - 27533539567880763/27185640011259220*c_0101_3^15 - 22913398892782609/5437128002251844*c_0101_3^14 + 132032889616650463/13592820005629610*c_0101_3^13 + 127989383209432838/6796410002814805*c_0101_3^12 - 199858055801961444/6796410002814805*c_0101_3^11 - 336059451936754153/13592820005629610*c_0101_3^10 + 1511569186199606797/27185640011259220*c_0101_3^9 + 92536941272333349/27185640011259220*c_0101_3^8 - 1962321350616113061/27185640011259220*c_0101_3^7 + 180012908733001799/27185640011259220*c_0101_3^6 + 137838353795982781/2718564001125922*c_0101_3^5 + 137701996309646223/13592820005629610*c_0101_3^4 - 77380633679174887/6796410002814805*c_0101_3^3 - 295214178671589397/27185640011259220*c_0101_3^2 - 57448575596400807/27185640011259220*c_0101_3 - 27365886594976863/27185640011259220, c_0101_3^17 - 4*c_0101_3^16 - 16*c_0101_3^15 + 39*c_0101_3^14 + 70*c_0101_3^13 - 120*c_0101_3^12 - 86*c_0101_3^11 + 221*c_0101_3^10 - 10*c_0101_3^9 - 276*c_0101_3^8 + 54*c_0101_3^7 + 183*c_0101_3^6 + 24*c_0101_3^5 - 30*c_0101_3^4 - 39*c_0101_3^3 - 12*c_0101_3^2 - 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB