Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 627358008] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s680 geometric_solution 5.17839397 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 -1 1 0 -1 0 0 1 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 1 0 -1 1 0 0 -1 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.802560753291 1.181139152480 0 3 4 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 -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 -1 0 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.678020728020 0.815454870926 1 4 3 0 3012 3201 0132 0132 0 0 0 0 0 1 0 -1 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 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.678020728020 0.815454870926 5 1 5 2 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859721971826 0.376033878012 4 4 2 1 1230 3012 2310 0132 0 0 0 0 0 -1 1 0 0 0 -1 1 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 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.862244524954 1.297636297256 3 3 5 5 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556826716122 0.203955477274 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 973807887458290957233/95275168492376917375*c_0101_4^20 + 2790797915659526396883/19055033698475383475*c_0101_4^19 + 86081961685974157286059/95275168492376917375*c_0101_4^18 + 289058268689698929988108/95275168492376917375*c_0101_4^17 + 504158814458332029443623/95275168492376917375*c_0101_4^16 + 15728833784191554452159/19055033698475383475*c_0101_4^15 - 1807214952781697949312589/95275168492376917375*c_0101_4^14 - 4485456832423836732745058/95275168492376917375*c_0101_4^13 - 195018178025779043619739/3811006739695076695*c_0101_4^12 - 386171606197155180616288/95275168492376917375*c_0101_4^11 + 6453755581449396424721178/95275168492376917375*c_0101_4^10 + 8951932965029736334006189/95275168492376917375*c_0101_4^9 + 4026798085731629329526544/95275168492376917375*c_0101_4^8 - 3257470223113889607347071/95275168492376917375*c_0101_4^7 - 5754220252171987583260124/95275168492376917375*c_0101_4^6 - 2798114515156028522019186/95275168492376917375*c_0101_4^5 + 20289445963443460900213/3073392532012158625*c_0101_4^4 + 266229901365508550465448/19055033698475383475*c_0101_4^3 + 1212161006896719900908/237593936389967375*c_0101_4^2 - 27348465775410490560242/95275168492376917375*c_0101_4 - 7414790156581455242329/19055033698475383475, c_0011_0 - 1, c_0011_2 - 2837209757078333/19828338916207475*c_0101_4^20 - 7762269518321763/3965667783241495*c_0101_4^19 - 226267692050547784/19828338916207475*c_0101_4^18 - 704934493727144808/19828338916207475*c_0101_4^17 - 1069089122591476023/19828338916207475*c_0101_4^16 + 57174149332940066/3965667783241495*c_0101_4^15 + 4832740780604361489/19828338916207475*c_0101_4^14 + 10115115764109055033/19828338916207475*c_0101_4^13 + 361751881224157163/793133556648299*c_0101_4^12 - 2264505486692112637/19828338916207475*c_0101_4^11 - 15856554423832616978/19828338916207475*c_0101_4^10 - 17703537843923304589/19828338916207475*c_0101_4^9 - 4901468854284760344/19828338916207475*c_0101_4^8 + 9238296865529330396/19828338916207475*c_0101_4^7 + 11541426819838357299/19828338916207475*c_0101_4^6 + 4124754176447920511/19828338916207475*c_0101_4^5 - 2108475557763503128/19828338916207475*c_0101_4^4 - 513090353909288718/3965667783241495*c_0101_4^3 - 1893681855328708/49447229217475*c_0101_4^2 + 63577048812247617/19828338916207475*c_0101_4 + 14219720561140739/3965667783241495, c_0011_4 - 1329576749813308/19828338916207475*c_0101_4^20 - 3726067527658673/3965667783241495*c_0101_4^19 - 111571911969574459/19828338916207475*c_0101_4^18 - 358273063830019883/19828338916207475*c_0101_4^17 - 566675990725859648/19828338916207475*c_0101_4^16 + 21332584013991331/3965667783241495*c_0101_4^15 + 2515174838913692239/19828338916207475*c_0101_4^14 + 5408616309354561333/19828338916207475*c_0101_4^13 + 193396575969957095/793133556648299*c_0101_4^12 - 1528578786364325362/19828338916207475*c_0101_4^11 - 9222882760975704728/19828338916207475*c_0101_4^10 - 10093283279450454414/19828338916207475*c_0101_4^9 - 2393407381166045994/19828338916207475*c_0101_4^8 + 5959826966251548621/19828338916207475*c_0101_4^7 + 7059271463377293774/19828338916207475*c_0101_4^6 + 2293945315528589086/19828338916207475*c_0101_4^5 - 1544876850725506928/19828338916207475*c_0101_4^4 - 335464544512240643/3965667783241495*c_0101_4^3 - 1115324184316533/49447229217475*c_0101_4^2 + 81284314125075192/19828338916207475*c_0101_4 + 8196574182378264/3965667783241495, c_0101_2 - 86804355372926/793133556648299*c_0101_4^20 - 1300576720356705/793133556648299*c_0101_4^19 - 8448469581805090/793133556648299*c_0101_4^18 - 30262572294249032/793133556648299*c_0101_4^17 - 58784227683255303/793133556648299*c_0101_4^16 - 27359257838184323/793133556648299*c_0101_4^15 + 168828197695270519/793133556648299*c_0101_4^14 + 497025095901298381/793133556648299*c_0101_4^13 + 630235019499404500/793133556648299*c_0101_4^12 + 198716899047082518/793133556648299*c_0101_4^11 - 638363075697269881/793133556648299*c_0101_4^10 - 1116397861858243001/793133556648299*c_0101_4^9 - 688124557637852933/793133556648299*c_0101_4^8 + 229367022794424520/793133556648299*c_0101_4^7 + 717460865047315460/793133556648299*c_0101_4^6 + 468189058870934349/793133556648299*c_0101_4^5 - 779889285484750/793133556648299*c_0101_4^4 - 176453279573787107/793133556648299*c_0101_4^3 - 228346330497529/1977889168699*c_0101_4^2 - 4126187529729451/793133556648299*c_0101_4 + 6840639256990406/793133556648299, c_0101_3 - 12492513611933/9889445843495*c_0101_4^20 - 36208029434688/1977889168699*c_0101_4^19 - 1132190354980754/9889445843495*c_0101_4^18 - 3870278348211983/9889445843495*c_0101_4^17 - 6963552467620098/9889445843495*c_0101_4^16 - 341612893865071/1977889168699*c_0101_4^15 + 23602320050604134/9889445843495*c_0101_4^14 + 61286144727082878/9889445843495*c_0101_4^13 + 13908846434479154/1977889168699*c_0101_4^12 + 9849674635278753/9889445843495*c_0101_4^11 - 86953240329383168/9889445843495*c_0101_4^10 - 127469588567689954/9889445843495*c_0101_4^9 - 62432287172905009/9889445843495*c_0101_4^8 + 42093070392647061/9889445843495*c_0101_4^7 + 82627335165004474/9889445843495*c_0101_4^6 + 43138240273013781/9889445843495*c_0101_4^5 - 7327618392657348/9889445843495*c_0101_4^4 - 3897925046150862/1977889168699*c_0101_4^3 - 7657332793202678/9889445843495*c_0101_4^2 + 251255548924622/9889445843495*c_0101_4 + 114348249942081/1977889168699, c_0101_4^21 + 15*c_0101_4^20 + 98*c_0101_4^19 + 356*c_0101_4^18 + 716*c_0101_4^17 + 425*c_0101_4^16 - 1808*c_0101_4^15 - 5856*c_0101_4^14 - 8085*c_0101_4^13 - 3711*c_0101_4^12 + 6431*c_0101_4^11 + 13693*c_0101_4^10 + 10298*c_0101_4^9 - 632*c_0101_4^8 - 8223*c_0101_4^7 - 6872*c_0101_4^6 - 1279*c_0101_4^5 + 1815*c_0101_4^4 + 1426*c_0101_4^3 + 311*c_0101_4^2 - 55*c_0101_4 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB