Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3549581076] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0252 geometric_solution 4.28772866 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.597063907834 0.026036179496 0 2 0 2 0132 0132 1023 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 -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.554154925215 0.097927665688 3 1 4 1 0132 0132 0132 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 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.227568574878 1.071710463309 2 4 5 4 0132 3201 0132 1230 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 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.765586458671 1.545293260165 3 5 3 2 3012 1023 2310 0132 0 0 0 0 0 -1 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 0 0 1 -1 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.765586458671 1.545293260165 4 6 6 3 1023 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730688869523 0.290903953625 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 1 -1 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 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.401702712689 0.585400592965 ==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_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 99182576861562656/544813024917185*c_0101_6^14 - 304472685545297279/4358504199337480*c_0101_6^13 + 1249584931844659183/2179252099668740*c_0101_6^12 + 10147440094701531849/4358504199337480*c_0101_6^11 - 2497377543027162219/108962604983437*c_0101_6^10 - 48134515513895766727/4358504199337480*c_0101_6^9 + 394311993243308332553/4358504199337480*c_0101_6^8 + 13237906059962500089/2179252099668740*c_0101_6^7 - 149418837111464393217/2179252099668740*c_0101_6^6 + 6216300849405025099/4358504199337480*c_0101_6^5 - 977273587528449597/2179252099668740*c_0101_6^4 - 179098211132702184989/4358504199337480*c_0101_6^3 - 27400497256582037129/871700839867496*c_0101_6^2 - 7795419963195872199/871700839867496*c_0101_6 - 4189626696511879527/4358504199337480, c_0011_0 - 1, c_0011_4 + 524174333122749/108962604983437*c_0101_6^14 - 199405124735102/108962604983437*c_0101_6^13 + 1647911360102323/108962604983437*c_0101_6^12 + 6712238553763767/108962604983437*c_0101_6^11 - 65980712659849392/108962604983437*c_0101_6^10 - 32038636055477497/108962604983437*c_0101_6^9 + 260709952983772608/108962604983437*c_0101_6^8 + 18194132849585415/108962604983437*c_0101_6^7 - 198446915063274113/108962604983437*c_0101_6^6 + 4412402965052802/108962604983437*c_0101_6^5 - 1178150091292478/108962604983437*c_0101_6^4 - 118476706800080168/108962604983437*c_0101_6^3 - 90619068292493336/108962604983437*c_0101_6^2 - 25817422972603354/108962604983437*c_0101_6 - 2731994729896463/108962604983437, c_0101_0 - 559611069153528/108962604983437*c_0101_6^14 + 139479634340093/108962604983437*c_0101_6^13 - 1709610822717864/108962604983437*c_0101_6^12 - 7409599909315479/108962604983437*c_0101_6^11 + 69571662461434936/108962604983437*c_0101_6^10 + 43709577191313341/108962604983437*c_0101_6^9 - 276648540797933520/108962604983437*c_0101_6^8 - 56696037398719687/108962604983437*c_0101_6^7 + 220408724956979193/108962604983437*c_0101_6^6 + 21526718738527350/108962604983437*c_0101_6^5 - 7674315074643450/108962604983437*c_0101_6^4 + 128828414898025385/108962604983437*c_0101_6^3 + 113024854602811629/108962604983437*c_0101_6^2 + 35208335924359954/108962604983437*c_0101_6 + 3947936703839481/108962604983437, c_0101_1 - 222346062635705/108962604983437*c_0101_6^14 + 6751540665417/108962604983437*c_0101_6^13 - 647274090911169/108962604983437*c_0101_6^12 - 3103959129922896/108962604983437*c_0101_6^11 + 27060595023261511/108962604983437*c_0101_6^10 + 23661408851483581/108962604983437*c_0101_6^9 - 108671542257166948/108962604983437*c_0101_6^8 - 47343415956150602/108962604983437*c_0101_6^7 + 92918837785191338/108962604983437*c_0101_6^6 + 26462654637324369/108962604983437*c_0101_6^5 - 9321688742919651/108962604983437*c_0101_6^4 + 52778945673949285/108962604983437*c_0101_6^3 + 55883741789510927/108962604983437*c_0101_6^2 + 18997403694780655/108962604983437*c_0101_6 + 2204636219185072/108962604983437, c_0101_3 - 121055209684970/108962604983437*c_0101_6^14 + 37717120843091/108962604983437*c_0101_6^13 - 370819691412056/108962604983437*c_0101_6^12 - 1583526049148547/108962604983437*c_0101_6^11 + 15157540771407741/108962604983437*c_0101_6^10 + 8513964110867749/108962604983437*c_0101_6^9 - 60573055628320836/108962604983437*c_0101_6^8 - 8122309912299329/108962604983437*c_0101_6^7 + 48592091528928585/108962604983437*c_0101_6^6 + 146093942938322/108962604983437*c_0101_6^5 - 667629589886735/108962604983437*c_0101_6^4 + 28097919711350720/108962604983437*c_0101_6^3 + 22106235431386434/108962604983437*c_0101_6^2 + 6516367592550024/108962604983437*c_0101_6 + 640377776412780/108962604983437, c_0101_4 - 496980051629096/108962604983437*c_0101_6^14 + 216209796832853/108962604983437*c_0101_6^13 - 1585951127718873/108962604983437*c_0101_6^12 - 6266203682412705/108962604983437*c_0101_6^11 + 62856700977364652/108962604983437*c_0101_6^10 + 26817298960805780/108962604983437*c_0101_6^9 - 247102748701153515/108962604983437*c_0101_6^8 - 3919588652471768/108962604983437*c_0101_6^7 + 182628030374889796/108962604983437*c_0101_6^6 - 11308508621302214/108962604983437*c_0101_6^5 + 4585049790106245/108962604983437*c_0101_6^4 + 110499468461641856/108962604983437*c_0101_6^3 + 80766283859210484/108962604983437*c_0101_6^2 + 22117828555431772/108962604983437*c_0101_6 + 2232956602069029/108962604983437, c_0101_6^15 + 3*c_0101_6^13 + 14*c_0101_6^12 - 121*c_0101_6^11 - 109*c_0101_6^10 + 474*c_0101_6^9 + 224*c_0101_6^8 - 365*c_0101_6^7 - 136*c_0101_6^6 + c_0101_6^5 - 227*c_0101_6^4 - 259*c_0101_6^3 - 115*c_0101_6^2 - 24*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB