Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1713896015] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0043 geometric_solution 3.61088249 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.220386011882 0.066597137597 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.853926738810 0.621465520595 1 1 3 3 2310 0132 0132 3201 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 1 0 -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.096041424259 0.068116807789 4 2 4 2 0132 2310 2310 0132 0 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 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.990034244218 3.590241870189 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 1 -1 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.029402616669 0.503171468266 6 6 6 4 1023 3012 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 -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.981659677509 1.003309224703 5 5 4 5 1230 1023 0132 3012 0 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 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.981659677509 1.003309224703 ==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' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 3132863623343/101118853372*c_0101_3^19 - 52079968944383/101118853372*c_0101_3^18 + 88280888005762/25279713343*c_0101_3^17 - 593818795997279/50559426686*c_0101_3^16 + 411867784996708/25279713343*c_0101_3^15 + 1419971598149871/101118853372*c_0101_3^14 - 8033432787898311/101118853372*c_0101_3^13 + 7834859100965601/101118853372*c_0101_3^12 + 6248016643731913/101118853372*c_0101_3^11 - 17276442439599281/101118853372*c_0101_3^10 + 1813496208237288/25279713343*c_0101_3^9 + 9715324024404167/101118853372*c_0101_3^8 - 5607115317268957/50559426686*c_0101_3^7 + 556011501060523/50559426686*c_0101_3^6 + 847622127696183/25279713343*c_0101_3^5 - 1669560941087869/101118853372*c_0101_3^4 + 188982370233579/50559426686*c_0101_3^3 + 5059636578891/25279713343*c_0101_3^2 - 40588071514333/50559426686*c_0101_3 + 25497195705051/101118853372, c_0011_0 - 1, c_0011_3 + 12751286780/75839140029*c_0101_3^19 - 182331621613/75839140029*c_0101_3^18 + 1022774683978/75839140029*c_0101_3^17 - 2593466210896/75839140029*c_0101_3^16 + 488470673219/25279713343*c_0101_3^15 + 2382093962552/25279713343*c_0101_3^14 - 5007527344903/25279713343*c_0101_3^13 + 3383201838836/75839140029*c_0101_3^12 + 20138436768670/75839140029*c_0101_3^11 - 7459842109240/25279713343*c_0101_3^10 - 283226858340/25279713343*c_0101_3^9 + 18030566674457/75839140029*c_0101_3^8 - 3684034386582/25279713343*c_0101_3^7 - 298654308243/25279713343*c_0101_3^6 + 4252833388409/75839140029*c_0101_3^5 - 2194948905679/75839140029*c_0101_3^4 + 130599040810/25279713343*c_0101_3^3 + 13616778766/25279713343*c_0101_3^2 - 66599620606/75839140029*c_0101_3 - 28663289017/75839140029, c_0011_5 - 1163159011/75839140029*c_0101_3^19 + 16532874500/75839140029*c_0101_3^18 - 88693782944/75839140029*c_0101_3^17 + 183380736908/75839140029*c_0101_3^16 + 46961384598/25279713343*c_0101_3^15 - 441963989354/25279713343*c_0101_3^14 + 599016453395/25279713343*c_0101_3^13 + 1292335403597/75839140029*c_0101_3^12 - 5411664898550/75839140029*c_0101_3^11 + 1055700917759/25279713343*c_0101_3^10 + 1460179233385/25279713343*c_0101_3^9 - 6606222496114/75839140029*c_0101_3^8 + 221687972180/25279713343*c_0101_3^7 + 1281863170147/25279713343*c_0101_3^6 - 1996235794267/75839140029*c_0101_3^5 - 634316177425/75839140029*c_0101_3^4 + 186197452536/25279713343*c_0101_3^3 + 22164006643/25279713343*c_0101_3^2 - 3290679076/75839140029*c_0101_3 - 9860769826/75839140029, c_0101_0 + 53820439793/75839140029*c_0101_3^19 - 883137562726/75839140029*c_0101_3^18 + 5895869130880/75839140029*c_0101_3^17 - 19412060733313/75839140029*c_0101_3^16 + 8563467217390/25279713343*c_0101_3^15 + 8643383462252/25279713343*c_0101_3^14 - 43374372277326/25279713343*c_0101_3^13 + 117432320434997/75839140029*c_0101_3^12 + 110160694771909/75839140029*c_0101_3^11 - 89804115119291/25279713343*c_0101_3^10 + 32523459956332/25279713343*c_0101_3^9 + 158508336676034/75839140029*c_0101_3^8 - 55036414473882/25279713343*c_0101_3^7 + 2912690447231/25279713343*c_0101_3^6 + 50440387188272/75839140029*c_0101_3^5 - 22588467330046/75839140029*c_0101_3^4 + 1894602901191/25279713343*c_0101_3^3 + 141611883026/25279713343*c_0101_3^2 - 1147566864766/75839140029*c_0101_3 + 276430824773/75839140029, c_0101_1 - 10830743159/75839140029*c_0101_3^19 + 143442354208/75839140029*c_0101_3^18 - 699180051352/75839140029*c_0101_3^17 + 1204741069060/75839140029*c_0101_3^16 + 493681704208/25279713343*c_0101_3^15 - 2707934542878/25279713343*c_0101_3^14 + 1937700781051/25279713343*c_0101_3^13 + 14532900196540/75839140029*c_0101_3^12 - 23479451117377/75839140029*c_0101_3^11 - 1441934171114/25279713343*c_0101_3^10 + 10035813544936/25279713343*c_0101_3^9 - 14557352338325/75839140029*c_0101_3^8 - 5045399437771/25279713343*c_0101_3^7 + 5163641946406/25279713343*c_0101_3^6 + 38829093139/75839140029*c_0101_3^5 - 4404680477474/75839140029*c_0101_3^4 + 555873573756/25279713343*c_0101_3^3 - 56900885477/25279713343*c_0101_3^2 + 19699034566/75839140029*c_0101_3 + 51216762694/75839140029, c_0101_2 - 10406329642/75839140029*c_0101_3^19 + 163751535905/75839140029*c_0101_3^18 - 1041129702185/75839140029*c_0101_3^17 + 3211792818161/75839140029*c_0101_3^16 - 1223521549954/25279713343*c_0101_3^15 - 1805933381581/25279713343*c_0101_3^14 + 6907417006033/25279713343*c_0101_3^13 - 14925777403810/75839140029*c_0101_3^12 - 20794680328118/75839140029*c_0101_3^11 + 12963532400771/25279713343*c_0101_3^10 - 2771535998617/25279713343*c_0101_3^9 - 25763685009595/75839140029*c_0101_3^8 + 6754620592890/25279713343*c_0101_3^7 + 710187184220/25279713343*c_0101_3^6 - 6625968215713/75839140029*c_0101_3^5 + 1655635853573/75839140029*c_0101_3^4 - 200950925868/25279713343*c_0101_3^3 + 47509484940/25279713343*c_0101_3^2 + 70400245277/75839140029*c_0101_3 - 22027508728/75839140029, c_0101_3^20 - 17*c_0101_3^19 + 119*c_0101_3^18 - 422*c_0101_3^17 + 672*c_0101_3^16 + 243*c_0101_3^15 - 2715*c_0101_3^14 + 3472*c_0101_3^13 + 977*c_0101_3^12 - 6168*c_0101_3^11 + 4416*c_0101_3^10 + 2068*c_0101_3^9 - 4635*c_0101_3^8 + 1752*c_0101_3^7 + 844*c_0101_3^6 - 905*c_0101_3^5 + 336*c_0101_3^4 - 51*c_0101_3^3 - 23*c_0101_3^2 + 16*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB