Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 4206585399] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1616 geometric_solution 5.37380124 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 0 0 0 0 1 -1 0 0 1 -1 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.520859451385 0.207552923445 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 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 1.004466975313 0.867283297755 4 1 5 3 0132 0132 0132 1230 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 -1 1 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 1.111274022477 0.930556907656 2 5 1 4 3012 1023 0132 1023 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 0 0 0 0 0 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.111274022477 0.930556907656 2 4 4 3 0132 3201 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.019548854714 0.694018630610 3 6 6 2 1023 0132 3201 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 1 -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.731145279018 0.297019686763 5 5 6 6 2310 0132 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 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.408460983743 0.583794719127 ==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' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(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_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1093880690246064551898/199370958434722315423*c_0101_6^16 - 7075334047638898831711/199370958434722315423*c_0101_6^15 + 14246814825036910291676/199370958434722315423*c_0101_6^14 - 15403873598582371089879/199370958434722315423*c_0101_6^13 + 1185610985571435910530/28481565490674616489*c_0101_6^12 + 46437760308682847380810/199370958434722315423*c_0101_6^11 - 105932014083517227172526/199370958434722315423*c_0101_6^10 + 165376416176588963380259/199370958434722315423*c_0101_6^9 - 307127266471879825772532/199370958434722315423*c_0101_6^8 + 224433708989541776530915/199370958434722315423*c_0101_6^7 - 162951980614600264562724/199370958434722315423*c_0101_6^6 + 186051883750149859109426/199370958434722315423*c_0101_6^5 + 57705662217206207760274/199370958434722315423*c_0101_6^4 + 6607134765519581448969/199370958434722315423*c_0101_6^3 + 42137594203516768670562/199370958434722315423*c_0101_6^2 + 17722372932304292354391/199370958434722315423*c_0101_6 + 30172382827634329569825/199370958434722315423, c_0011_0 - 1, c_0011_3 - 7242284745323540/168529973317601281*c_0101_6^16 + 48286897791534869/168529973317601281*c_0101_6^15 - 107552379613631786/168529973317601281*c_0101_6^14 + 138446674270259179/168529973317601281*c_0101_6^13 - 86456622907884509/168529973317601281*c_0101_6^12 - 294041596247686482/168529973317601281*c_0101_6^11 + 781514947874136892/168529973317601281*c_0101_6^10 - 1384179831886050478/168529973317601281*c_0101_6^9 + 2316923114103524671/168529973317601281*c_0101_6^8 - 2117627444978428815/168529973317601281*c_0101_6^7 + 1706482880608668876/168529973317601281*c_0101_6^6 - 1186299615585659842/168529973317601281*c_0101_6^5 + 130808361325428934/168529973317601281*c_0101_6^4 + 48452978257189383/168529973317601281*c_0101_6^3 - 440259633555397523/168529973317601281*c_0101_6^2 - 103133755509818668/168529973317601281*c_0101_6 - 131233427213291399/168529973317601281, c_0101_0 - 7910687516274174/168529973317601281*c_0101_6^16 + 50015933422619421/168529973317601281*c_0101_6^15 - 94725722989119349/168529973317601281*c_0101_6^14 + 87158372389053960/168529973317601281*c_0101_6^13 - 11748119972647365/168529973317601281*c_0101_6^12 - 389420038241195074/168529973317601281*c_0101_6^11 + 751702955964424532/168529973317601281*c_0101_6^10 - 1034034339286835098/168529973317601281*c_0101_6^9 + 1797052111289876676/168529973317601281*c_0101_6^8 - 928910921683052537/168529973317601281*c_0101_6^7 + 323172661096539324/168529973317601281*c_0101_6^6 - 457083231715182014/168529973317601281*c_0101_6^5 - 1002362900006736979/168529973317601281*c_0101_6^4 + 180640117011518301/168529973317601281*c_0101_6^3 - 384871027873614206/168529973317601281*c_0101_6^2 - 118124813429989802/168529973317601281*c_0101_6 - 96950570644666841/168529973317601281, c_0101_1 + 4191014391617107/168529973317601281*c_0101_6^16 - 24474109612368545/168529973317601281*c_0101_6^15 + 41074715756886706/168529973317601281*c_0101_6^14 - 42080009174566007/168529973317601281*c_0101_6^13 + 11333060249204036/168529973317601281*c_0101_6^12 + 195893354170895035/168529973317601281*c_0101_6^11 - 337266202843424172/168529973317601281*c_0101_6^10 + 549588435779308038/168529973317601281*c_0101_6^9 - 895010127298807138/168529973317601281*c_0101_6^8 + 301344434451359746/168529973317601281*c_0101_6^7 - 235972323658573177/168529973317601281*c_0101_6^6 + 53723939904613504/168529973317601281*c_0101_6^5 + 785847172437304246/168529973317601281*c_0101_6^4 - 205898548295002818/168529973317601281*c_0101_6^3 + 207191928308694896/168529973317601281*c_0101_6^2 + 70609930240133662/168529973317601281*c_0101_6 - 44845964148593104/168529973317601281, c_0101_2 - 14774955908641180/168529973317601281*c_0101_6^16 + 93482282463753165/168529973317601281*c_0101_6^15 - 177817843083859731/168529973317601281*c_0101_6^14 + 174784395951023026/168529973317601281*c_0101_6^13 - 77798860995612156/168529973317601281*c_0101_6^12 - 635666395917197153/168529973317601281*c_0101_6^11 + 1337267394788153166/168529973317601281*c_0101_6^10 - 1986632542442546444/168529973317601281*c_0101_6^9 + 3788328486216354806/168529973317601281*c_0101_6^8 - 2455949189615485736/168529973317601281*c_0101_6^7 + 1583922098447678215/168529973317601281*c_0101_6^6 - 2326055682810987613/168529973317601281*c_0101_6^5 - 1006442455098457744/168529973317601281*c_0101_6^4 + 85530703239114216/168529973317601281*c_0101_6^3 - 59913179628433471/168529973317601281*c_0101_6^2 - 291500378524590908/168529973317601281*c_0101_6 - 302541717030532408/168529973317601281, c_0101_5 + 238263868681549/168529973317601281*c_0101_6^16 + 4577956556091149/168529973317601281*c_0101_6^15 - 29966308114282017/168529973317601281*c_0101_6^14 + 43677123900706680/168529973317601281*c_0101_6^13 - 42634087909701872/168529973317601281*c_0101_6^12 + 6578933668478081/168529973317601281*c_0101_6^11 + 216835622116167662/168529973317601281*c_0101_6^10 - 276049402775687514/168529973317601281*c_0101_6^9 + 566164248582915020/168529973317601281*c_0101_6^8 - 947173250753755291/168529973317601281*c_0101_6^7 + 472086204053134413/168529973317601281*c_0101_6^6 - 665516411967832028/168529973317601281*c_0101_6^5 + 329050258239262495/168529973317601281*c_0101_6^4 - 148004623573825461/168529973317601281*c_0101_6^3 - 84415305773915570/168529973317601281*c_0101_6^2 + 69375665337247822/168529973317601281*c_0101_6 + 32746754696126553/168529973317601281, c_0101_6^17 - 6*c_0101_6^16 + 10*c_0101_6^15 - 8*c_0101_6^14 + c_0101_6^13 + 46*c_0101_6^12 - 77*c_0101_6^11 + 106*c_0101_6^10 - 210*c_0101_6^9 + 74*c_0101_6^8 - 53*c_0101_6^7 + 100*c_0101_6^6 + 132*c_0101_6^5 + 30*c_0101_6^4 + 41*c_0101_6^3 + 34*c_0101_6^2 + 35*c_0101_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB