Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 981181977] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s355 geometric_solution 4.56564342 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1.485229480927 0.415681760913 0 2 3 0 3201 0132 0132 0132 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 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.900126666039 0.387385104653 3 1 3 4 2103 0132 1302 0132 0 0 0 0 0 1 -1 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 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.677131580030 0.661452738207 2 4 2 1 2031 1023 2103 0132 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 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.677131580030 0.661452738207 3 5 2 5 1023 0132 0132 1023 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 -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.670539691131 0.731629828886 5 4 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529878338059 0.147046658595 ==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_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_0110_5'], 'c_1001_4' : d['c_0110_4'], 'c_1001_1' : d['c_0110_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], '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_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 180822090382226/242881607832157*c_0110_5^14 + 871879826041236/242881607832157*c_0110_5^13 - 3751263664572121/242881607832157*c_0110_5^12 - 11828340972257651/242881607832157*c_0110_5^11 - 1206401889120626/34697372547451*c_0110_5^10 + 12678402414252441/242881607832157*c_0110_5^9 + 3786079053815303/34697372547451*c_0110_5^8 - 998497811927720/242881607832157*c_0110_5^7 - 3533341732020462/34697372547451*c_0110_5^6 - 2146197010223793/242881607832157*c_0110_5^5 + 20743683665635869/242881607832157*c_0110_5^4 + 6923008976387303/242881607832157*c_0110_5^3 - 8157635000853521/242881607832157*c_0110_5^2 - 5112357171085229/242881607832157*c_0110_5 - 182544076896425/242881607832157, c_0011_0 - 1, c_0011_1 - 7048603130384/34697372547451*c_0110_5^14 - 26082030325621/34697372547451*c_0110_5^13 + 180113559695492/34697372547451*c_0110_5^12 + 276698648286295/34697372547451*c_0110_5^11 - 97014081738244/34697372547451*c_0110_5^10 - 575977640092575/34697372547451*c_0110_5^9 - 365588109701630/34697372547451*c_0110_5^8 + 809250866941567/34697372547451*c_0110_5^7 + 350589675691583/34697372547451*c_0110_5^6 - 742975388673988/34697372547451*c_0110_5^5 - 198825182686371/34697372547451*c_0110_5^4 + 373844888731423/34697372547451*c_0110_5^3 + 131310037408510/34697372547451*c_0110_5^2 - 82110954600930/34697372547451*c_0110_5 - 12433184382747/34697372547451, c_0011_3 - 17908453236419/34697372547451*c_0110_5^14 - 58756183865593/34697372547451*c_0110_5^13 + 483142878995069/34697372547451*c_0110_5^12 + 503980295885676/34697372547451*c_0110_5^11 - 479229607969664/34697372547451*c_0110_5^10 - 1304728935707412/34697372547451*c_0110_5^9 - 381747356855760/34697372547451*c_0110_5^8 + 2278173862321017/34697372547451*c_0110_5^7 + 12499740485103/34697372547451*c_0110_5^6 - 1996376592889869/34697372547451*c_0110_5^5 + 201419768849555/34697372547451*c_0110_5^4 + 882446714687502/34697372547451*c_0110_5^3 - 30555868280419/34697372547451*c_0110_5^2 - 108738249848617/34697372547451*c_0110_5 - 23375776402759/34697372547451, c_0101_0 - 5807101577915/34697372547451*c_0110_5^14 - 20187362737869/34697372547451*c_0110_5^13 + 147868236042196/34697372547451*c_0110_5^12 + 177321797897343/34697372547451*c_0110_5^11 + 12630247047214/34697372547451*c_0110_5^10 - 310654150121755/34697372547451*c_0110_5^9 - 321574751087715/34697372547451*c_0110_5^8 + 355219224961294/34697372547451*c_0110_5^7 - 8700173274962/34697372547451*c_0110_5^6 - 76923778798760/34697372547451*c_0110_5^5 - 69870796860651/34697372547451*c_0110_5^4 - 151882378505919/34697372547451*c_0110_5^3 + 101298184256538/34697372547451*c_0110_5^2 + 110203236890122/34697372547451*c_0110_5 - 12004724926357/34697372547451, c_0110_4 + 5480925456307/34697372547451*c_0110_5^14 + 11756117301461/34697372547451*c_0110_5^13 - 172830575712788/34697372547451*c_0110_5^12 - 3467320164854/34697372547451*c_0110_5^11 + 434027689096139/34697372547451*c_0110_5^10 + 412918054326870/34697372547451*c_0110_5^9 - 328788190912862/34697372547451*c_0110_5^8 - 1115731557351031/34697372547451*c_0110_5^7 + 530470311682812/34697372547451*c_0110_5^6 + 978984035992957/34697372547451*c_0110_5^5 - 614415521468157/34697372547451*c_0110_5^4 - 476170817496441/34697372547451*c_0110_5^3 + 219478741970382/34697372547451*c_0110_5^2 + 103734935244585/34697372547451*c_0110_5 + 2006517406935/34697372547451, c_0110_5^15 + 3*c_0110_5^14 - 28*c_0110_5^13 - 21*c_0110_5^12 + 37*c_0110_5^11 + 71*c_0110_5^10 + c_0110_5^9 - 141*c_0110_5^8 + 27*c_0110_5^7 + 121*c_0110_5^6 - 34*c_0110_5^5 - 59*c_0110_5^4 + 13*c_0110_5^3 + 10*c_0110_5^2 + c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.200 seconds, Total memory usage: 32.09MB