Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1562165649] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1601 geometric_solution 5.36478610 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3012 0 0 0 0 0 -1 0 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 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.684368900169 0.477978115574 0 4 0 5 0132 0132 1230 0132 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744918130649 0.390239654724 2 0 2 5 2031 0132 1302 2103 0 0 0 0 0 1 -1 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 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 1.120947228390 0.584484309020 5 5 4 0 0132 2103 3120 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 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.326116762970 0.578548478816 6 1 3 6 0132 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782085250079 0.252107926361 3 3 1 2 0132 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.817286499963 1.003722113938 4 6 6 4 0132 3201 2310 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 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.987955505578 0.382590094201 ==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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 166720465139821/116952886203897*c_1001_0^12 - 1237933822077671/116952886203897*c_1001_0^11 + 2976059298474545/116952886203897*c_1001_0^10 + 3750465247598386/116952886203897*c_1001_0^9 - 14323828893966782/38984295401299*c_1001_0^8 + 6608276721432770/6155415063363*c_1001_0^7 - 63855558253126093/38984295401299*c_1001_0^6 + 135216612325294813/116952886203897*c_1001_0^5 + 38469573778779763/116952886203897*c_1001_0^4 - 154259601955466180/116952886203897*c_1001_0^3 + 103987012013435998/116952886203897*c_1001_0^2 - 4833109227207350/116952886203897*c_1001_0 - 11619179284660249/116952886203897, c_0011_0 - 1, c_0011_3 - 52221594155/2051805021121*c_1001_0^12 + 410612135498/2051805021121*c_1001_0^11 - 1016589659278/2051805021121*c_1001_0^10 - 1308476625723/2051805021121*c_1001_0^9 + 14776638918699/2051805021121*c_1001_0^8 - 41749530624856/2051805021121*c_1001_0^7 + 58483780586902/2051805021121*c_1001_0^6 - 30355179307885/2051805021121*c_1001_0^5 - 27902210441480/2051805021121*c_1001_0^4 + 50156639093826/2051805021121*c_1001_0^3 - 17999300044226/2051805021121*c_1001_0^2 - 6673851379262/2051805021121*c_1001_0 + 1643069730028/2051805021121, c_0101_0 - 16694438571/2051805021121*c_1001_0^12 + 131667460627/2051805021121*c_1001_0^11 - 310234534344/2051805021121*c_1001_0^10 - 529204511372/2051805021121*c_1001_0^9 + 4910105461558/2051805021121*c_1001_0^8 - 12694569968298/2051805021121*c_1001_0^7 + 14967363549646/2051805021121*c_1001_0^6 - 1913193289760/2051805021121*c_1001_0^5 - 15997903617308/2051805021121*c_1001_0^4 + 15252581662419/2051805021121*c_1001_0^3 + 1817250900893/2051805021121*c_1001_0^2 - 6826642056333/2051805021121*c_1001_0 - 666520847367/2051805021121, c_0101_1 + 1973294/229688237*c_1001_0^12 - 17779315/229688237*c_1001_0^11 + 54953703/229688237*c_1001_0^10 + 7729534/229688237*c_1001_0^9 - 602680980/229688237*c_1001_0^8 + 2167633099/229688237*c_1001_0^7 - 3990443605/229688237*c_1001_0^6 + 3837709780/229688237*c_1001_0^5 - 597932041/229688237*c_1001_0^4 - 2956023125/229688237*c_1001_0^3 + 3057424629/229688237*c_1001_0^2 - 865478428/229688237*c_1001_0 - 129222982/229688237, c_0101_4 + 17724017105/2051805021121*c_1001_0^12 - 175846822616/2051805021121*c_1001_0^11 + 546246393230/2051805021121*c_1001_0^10 + 190185322155/2051805021121*c_1001_0^9 - 6314876449668/2051805021121*c_1001_0^8 + 20818989827703/2051805021121*c_1001_0^7 - 34088839348336/2051805021121*c_1001_0^6 + 26079695661910/2051805021121*c_1001_0^5 + 4288998280479/2051805021121*c_1001_0^4 - 26823615135032/2051805021121*c_1001_0^3 + 17814148620945/2051805021121*c_1001_0^2 - 302375763063/2051805021121*c_1001_0 - 2644511848133/2051805021121, c_0101_6 + 72639000128/2051805021121*c_1001_0^12 - 442716411638/2051805021121*c_1001_0^11 + 720064680099/2051805021121*c_1001_0^10 + 2447963938390/2051805021121*c_1001_0^9 - 15049898265125/2051805021121*c_1001_0^8 + 35130690555222/2051805021121*c_1001_0^7 - 42382285950872/2051805021121*c_1001_0^6 + 17490967637764/2051805021121*c_1001_0^5 + 23316209003978/2051805021121*c_1001_0^4 - 36826551747544/2051805021121*c_1001_0^3 + 17822307394434/2051805021121*c_1001_0^2 + 2466845245259/2051805021121*c_1001_0 - 2314478906979/2051805021121, c_1001_0^13 - 8*c_1001_0^12 + 22*c_1001_0^11 + 13*c_1001_0^10 - 272*c_1001_0^9 + 897*c_1001_0^8 - 1555*c_1001_0^7 + 1410*c_1001_0^6 - 169*c_1001_0^5 - 1066*c_1001_0^4 + 1091*c_1001_0^3 - 325*c_1001_0^2 - 57*c_1001_0 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB