Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 206409773] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s334 geometric_solution 4.52527718 oriented_manifold CS_known 0.0000000000000000 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.581610908605 0.182481799111 2 0 2 0 0132 2310 1023 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.853113184553 0.308627221300 1 3 1 4 0132 0132 1023 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 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 1.358442536421 0.579356432620 4 2 5 4 3120 0132 0132 2310 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 1 -1 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.302822892069 0.728632409564 3 5 2 3 3201 1023 0132 3120 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 1 0 -1 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.302822892069 0.728632409564 4 5 5 3 1023 3201 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 -1 0 1 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.486378958938 1.170292874459 ==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_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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : 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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1297282416930694196/1201364327558047327*c_0101_5^14 + 2015690250238857577/1201364327558047327*c_0101_5^13 + 25895588603771707904/1201364327558047327*c_0101_5^12 - 21564833039342588866/1201364327558047327*c_0101_5^11 - 40757224220441214290/1201364327558047327*c_0101_5^10 + 392208906602872709496/1201364327558047327*c_0101_5^9 + 728798024905267328946/1201364327558047327*c_0101_5^8 - 500268247361141202289/1201364327558047327*c_0101_5^7 - 563309989944314757163/1201364327558047327*c_0101_5^6 + 426973048352828805725/1201364327558047327*c_0101_5^5 - 1024600224833438605802/1201364327558047327*c_0101_5^4 + 40493124843772079771/1201364327558047327*c_0101_5^3 + 386588991698548361868/1201364327558047327*c_0101_5^2 + 35677031632729049718/1201364327558047327*c_0101_5 + 111469614756936493583/1201364327558047327, c_0011_0 - 1, c_0011_1 - 10771886270442409/1201364327558047327*c_0101_5^14 + 19250528089032570/1201364327558047327*c_0101_5^13 + 193019784366495222/1201364327558047327*c_0101_5^12 - 151020228115355373/1201364327558047327*c_0101_5^11 - 205743014954999114/1201364327558047327*c_0101_5^10 + 3041211380908594489/1201364327558047327*c_0101_5^9 + 5664854411196162684/1201364327558047327*c_0101_5^8 - 1976467106259464566/1201364327558047327*c_0101_5^7 - 1819262825974454701/1201364327558047327*c_0101_5^6 + 2014851698337377898/1201364327558047327*c_0101_5^5 - 8382776182796556647/1201364327558047327*c_0101_5^4 + 1566575756261588227/1201364327558047327*c_0101_5^3 + 342584391918480913/1201364327558047327*c_0101_5^2 + 42061078824697188/1201364327558047327*c_0101_5 + 561564920580621020/1201364327558047327, c_0011_4 + 38217206949308443/1201364327558047327*c_0101_5^14 - 210922431180984361/1201364327558047327*c_0101_5^13 + 42286210355695290/1201364327558047327*c_0101_5^12 + 651634860770456563/1201364327558047327*c_0101_5^11 - 1517214806530380574/1201364327558047327*c_0101_5^10 - 5912868296820861131/1201364327558047327*c_0101_5^9 + 3595205766531280225/1201364327558047327*c_0101_5^8 + 4368024564806375100/1201364327558047327*c_0101_5^7 - 4855166109140876268/1201364327558047327*c_0101_5^6 + 11049197810347173709/1201364327558047327*c_0101_5^5 - 3338652443498907848/1201364327558047327*c_0101_5^4 - 1010630019640099007/1201364327558047327*c_0101_5^3 + 188526586351449012/1201364327558047327*c_0101_5^2 - 1271505075244590779/1201364327558047327*c_0101_5 - 190383592380834061/1201364327558047327, c_0101_0 + 49825784421676722/1201364327558047327*c_0101_5^14 - 381441903606836521/1201364327558047327*c_0101_5^13 + 584161274664077848/1201364327558047327*c_0101_5^12 + 1074465759909640929/1201364327558047327*c_0101_5^11 - 3982626798830286538/1201364327558047327*c_0101_5^10 - 4421182145655408920/1201364327558047327*c_0101_5^9 + 24008583891764501837/1201364327558047327*c_0101_5^8 + 3859598620006138908/1201364327558047327*c_0101_5^7 - 27354347586034440620/1201364327558047327*c_0101_5^6 + 26713469488432166930/1201364327558047327*c_0101_5^5 - 18281762568490896532/1201364327558047327*c_0101_5^4 - 11430310901319603221/1201364327558047327*c_0101_5^3 + 8292704798881821256/1201364327558047327*c_0101_5^2 + 1180762773750130047/1201364327558047327*c_0101_5 + 335009310570873458/1201364327558047327, c_0101_1 + 77692544072378230/1201364327558047327*c_0101_5^14 - 380298103562120089/1201364327558047327*c_0101_5^13 - 182188590017826394/1201364327558047327*c_0101_5^12 + 1407024327690313460/1201364327558047327*c_0101_5^11 - 2357995250220252400/1201364327558047327*c_0101_5^10 - 14119776166981782075/1201364327558047327*c_0101_5^9 + 125057517586757086/1201364327558047327*c_0101_5^8 + 13181243301269510287/1201364327558047327*c_0101_5^7 - 9592651438373807281/1201364327558047327*c_0101_5^6 + 10855672673470997064/1201364327558047327*c_0101_5^5 + 7881412797700447951/1201364327558047327*c_0101_5^4 - 6462935439839817551/1201364327558047327*c_0101_5^3 - 1262840907445783218/1201364327558047327*c_0101_5^2 - 206491968975603568/1201364327558047327*c_0101_5 + 490613618339788787/1201364327558047327, c_0101_5^15 - 5*c_0101_5^14 - 2*c_0101_5^13 + 19*c_0101_5^12 - 31*c_0101_5^11 - 181*c_0101_5^10 + 23*c_0101_5^9 + 205*c_0101_5^8 - 107*c_0101_5^7 + 136*c_0101_5^6 + 88*c_0101_5^5 - 101*c_0101_5^4 - 38*c_0101_5^3 - 7*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB