Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 795783948] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s356 geometric_solution 4.57296202 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 1.513326524398 0.347750736197 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.993952899314 0.413866891972 3 1 1 4 0132 0132 1023 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 0 0 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.613302958495 0.242229803552 2 4 5 4 0132 0321 0132 3201 0 0 0 0 0 0 0 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 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.548803236405 1.243058996440 5 3 2 3 1023 2310 0132 0321 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 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548803236405 1.243058996440 5 4 5 3 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.066047301917 0.858450030688 ==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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 47293236270242342755072430/18327325214304107288176057*c_0101_3^14 + 931162588419551188375897049/18327325214304107288176057*c_0101_3^13 + 7512096626716600125750797435/18327325214304107288176057*c_0101_3^12 + 26904182478898084039673440133/18327325214304107288176057*c_0101_3\ ^11 + 37424233489168591892415954475/18327325214304107288176057*c_01\ 01_3^10 - 19340572345028907535492108614/18327325214304107288176057*\ c_0101_3^9 - 6597218985004511016381582932/2618189316329158184025151\ *c_0101_3^8 - 1579227759408660834716814234/261818931632915818402515\ 1*c_0101_3^7 - 23178414407322402200347413594/1832732521430410728817\ 6057*c_0101_3^6 + 232175203490759669621587284/261818931632915818402\ 5151*c_0101_3^5 + 21892222056471182210233680102/1832732521430410728\ 8176057*c_0101_3^4 + 7857342705896714582226164201/18327325214304107\ 288176057*c_0101_3^3 + 4789761467170995451928180815/183273252143041\ 07288176057*c_0101_3^2 - 3824687474423485690997988563/1832732521430\ 4107288176057*c_0101_3 - 1335312117251544142569583902/1832732521430\ 4107288176057, c_0011_0 - 1, c_0011_1 - 189531908444133168887810/2618189316329158184025151*c_0101_3^\ 14 - 3733335871910738907244789/2618189316329158184025151*c_0101_3^1\ 3 - 30146933858774139300579056/2618189316329158184025151*c_0101_3^1\ 2 - 108254020082604554563432411/2618189316329158184025151*c_0101_3^\ 11 - 152169702566236194774286815/2618189316329158184025151*c_0101_3\ ^10 + 72730786062812382038477531/2618189316329158184025151*c_0101_3\ ^9 + 184151482398542607170881462/2618189316329158184025151*c_0101_3\ ^8 + 54675924782180604699618607/2618189316329158184025151*c_0101_3^\ 7 + 91007120601644619830988621/2618189316329158184025151*c_0101_3^6 - 6173763744958333499914318/2618189316329158184025151*c_0101_3^5 - 82324680494734264820667009/2618189316329158184025151*c_0101_3^4 - 39114953150680584264933934/2618189316329158184025151*c_0101_3^3 - 16076081535456639142786668/2618189316329158184025151*c_0101_3^2 + 14892625377991627769848349/2618189316329158184025151*c_0101_3 + 5522395340932730149569549/2618189316329158184025151, c_0011_4 + 87196532565026846124233/2618189316329158184025151*c_0101_3^1\ 4 + 1726798360176190251625161/2618189316329158184025151*c_0101_3^13 + 14039567365059076086341640/2618189316329158184025151*c_0101_3^12 + 51046479766712381919682379/2618189316329158184025151*c_0101_3^11 + 73512858376225697467365593/2618189316329158184025151*c_0101_3^10 - 32101302296015931967061814/2618189316329158184025151*c_0101_3^9 - 96486126342941788371841836/2618189316329158184025151*c_0101_3^8 - 32517633763291212412069321/2618189316329158184025151*c_0101_3^7 - 46878043041833326275421168/2618189316329158184025151*c_0101_3^6 - 3772567650875394998250462/2618189316329158184025151*c_0101_3^5 + 47331102891637637955021587/2618189316329158184025151*c_0101_3^4 + 22737628914252784067314434/2618189316329158184025151*c_0101_3^3 + 10733258336631171273836826/2618189316329158184025151*c_0101_3^2 - 4879822908112499000973419/2618189316329158184025151*c_0101_3 - 3571535612689032938782506/2618189316329158184025151, c_0101_0 - 56673342305431427135653/2618189316329158184025151*c_0101_3^1\ 4 - 1078244330401682096033459/2618189316329158184025151*c_0101_3^13 - 8267511290557655183612923/2618189316329158184025151*c_0101_3^12 - 26372517923282363555530523/2618189316329158184025151*c_0101_3^11 - 24176071419731941112868096/2618189316329158184025151*c_0101_3^10 + 51398927158440797666057515/2618189316329158184025151*c_0101_3^9 + 42598258189951495469399677/2618189316329158184025151*c_0101_3^8 - 7476751257554443475905042/2618189316329158184025151*c_0101_3^7 + 29567046910684303265748136/2618189316329158184025151*c_0101_3^6 - 28202715396098923499411609/2618189316329158184025151*c_0101_3^5 - 29540462492535884197772498/2618189316329158184025151*c_0101_3^4 + 1874134082534181897683242/2618189316329158184025151*c_0101_3^3 - 4990018021468833050448937/2618189316329158184025151*c_0101_3^2 + 7617950098856511478292509/2618189316329158184025151*c_0101_3 + 678996077038507992331702/2618189316329158184025151, c_0101_2 + 79047654026082128802692/2618189316329158184025151*c_0101_3^1\ 4 + 1594698347464181686514640/2618189316329158184025151*c_0101_3^13 + 13317799622021544313422421/2618189316329158184025151*c_0101_3^12 + 51216018129269014558840332/2618189316329158184025151*c_0101_3^11 + 85844219430777601259844054/2618189316329158184025151*c_0101_3^10 + 4901786132213929714262653/2618189316329158184025151*c_0101_3^9 - 76518606697258125856068751/2618189316329158184025151*c_0101_3^8 - 40678132675178852184468533/2618189316329158184025151*c_0101_3^7 - 50831053400536350276388748/2618189316329158184025151*c_0101_3^6 - 27689139276439031681458350/2618189316329158184025151*c_0101_3^5 + 26563450584842533421901761/2618189316329158184025151*c_0101_3^4 + 21608636437580612200136035/2618189316329158184025151*c_0101_3^3 + 11827531154569950874998265/2618189316329158184025151*c_0101_3^2 - 298855529265586029634587/2618189316329158184025151*c_0101_3 - 2279833246409723998017740/2618189316329158184025151, c_0101_3^15 + 20*c_0101_3^14 + 165*c_0101_3^13 + 619*c_0101_3^12 + 974*c_0101_3^11 - 143*c_0101_3^10 - 1078*c_0101_3^9 - 553*c_0101_3^8 - 583*c_0101_3^7 - 133*c_0101_3^6 + 444*c_0101_3^5 + 316*c_0101_3^4 + 158*c_0101_3^3 - 39*c_0101_3^2 - 48*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB