Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 1680210196] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2929 geometric_solution 6.12739517 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2103 0132 0 0 0 0 0 -1 1 0 -1 0 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.515045726063 1.563689229679 0 4 6 5 0132 0132 0132 0132 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 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.138546941228 0.797669256063 0 0 3 6 2103 0132 1302 2031 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680402973917 0.329858313136 2 5 0 5 2031 2031 0132 0213 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 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.032485732320 0.813491029072 6 1 4 4 0132 0132 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 -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.313384502000 0.467568770842 3 6 1 3 1302 3201 0132 0213 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 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.245326765842 1.366854595673 4 2 5 1 0132 1302 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 1 0 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.138546941228 0.797669256063 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : d['1'], 's_1_0' : negation(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' : negation(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_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0110_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0110_3']})} 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_1, c_0101_6, c_0110_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 309946141/1915444232*c_0110_3^19 + 8971992135/1915444232*c_0110_3^18 + 19833286951/957722116*c_0110_3^17 + 11909823691/1915444232*c_0110_3^16 - 271223673797/1915444232*c_0110_3^15 - 67904025311/239430529*c_0110_3^14 + 26063672554/239430529*c_0110_3^13 + 887372491277/957722116*c_0110_3^12 + 31306017489/41640092*c_0110_3^11 - 8870518530/10410023*c_0110_3^10 - 3207540508455/1915444232*c_0110_3^9 - 85570173184/239430529*c_0110_3^8 + 2010046882989/1915444232*c_0110_3^7 + 1477490257995/1915444232*c_0110_3^6 - 229825564929/1915444232*c_0110_3^5 - 564458231975/1915444232*c_0110_3^4 - 21606480903/1915444232*c_0110_3^3 + 14909491191/239430529*c_0110_3^2 - 850053351/73670932*c_0110_3 - 8821966287/1915444232, c_0011_0 - 1, c_0011_3 - 15538852/31230069*c_0110_3^19 - 61370833/31230069*c_0110_3^18 + 37920076/31230069*c_0110_3^17 + 503258786/31230069*c_0110_3^16 + 183199051/10410023*c_0110_3^15 - 1121539316/31230069*c_0110_3^14 - 2704883573/31230069*c_0110_3^13 - 156749603/31230069*c_0110_3^12 + 1480448345/10410023*c_0110_3^11 + 3657768379/31230069*c_0110_3^10 - 170493289/2402313*c_0110_3^9 - 4738405615/31230069*c_0110_3^8 - 1298286032/31230069*c_0110_3^7 + 2203611937/31230069*c_0110_3^6 + 1776399532/31230069*c_0110_3^5 - 136664921/31230069*c_0110_3^4 - 201621512/10410023*c_0110_3^3 - 204192749/31230069*c_0110_3^2 + 105892817/31230069*c_0110_3 + 20397335/31230069, c_0011_5 - 20216182/31230069*c_0110_3^19 - 104946610/31230069*c_0110_3^18 - 67104122/31230069*c_0110_3^17 + 629948291/31230069*c_0110_3^16 + 497315792/10410023*c_0110_3^15 - 13796030/31230069*c_0110_3^14 - 4180045199/31230069*c_0110_3^13 - 4916015003/31230069*c_0110_3^12 + 642012882/10410023*c_0110_3^11 + 8668361413/31230069*c_0110_3^10 + 5796505820/31230069*c_0110_3^9 - 2903792296/31230069*c_0110_3^8 - 6515011193/31230069*c_0110_3^7 - 2759341763/31230069*c_0110_3^6 + 1486522738/31230069*c_0110_3^5 + 1808885509/31230069*c_0110_3^4 + 9952964/800771*c_0110_3^3 - 323469215/31230069*c_0110_3^2 - 189152788/31230069*c_0110_3 + 6632120/31230069, c_0101_1 - 16323427/31230069*c_0110_3^19 - 85321207/31230069*c_0110_3^18 - 59474450/31230069*c_0110_3^17 + 501029261/31230069*c_0110_3^16 + 413370933/10410023*c_0110_3^15 + 97098409/31230069*c_0110_3^14 - 3384985328/31230069*c_0110_3^13 - 4346750840/31230069*c_0110_3^12 + 397706694/10410023*c_0110_3^11 + 7431328870/31230069*c_0110_3^10 + 5602938248/31230069*c_0110_3^9 - 2183361061/31230069*c_0110_3^8 - 6033147065/31230069*c_0110_3^7 - 2861214125/31230069*c_0110_3^6 + 1250491861/31230069*c_0110_3^5 + 1798171393/31230069*c_0110_3^4 + 150554563/10410023*c_0110_3^3 - 305710220/31230069*c_0110_3^2 - 13300516/2402313*c_0110_3 - 4858483/31230069, c_0101_6 - 4380098/31230069*c_0110_3^19 - 19002167/31230069*c_0110_3^18 + 351968/31230069*c_0110_3^17 + 128712685/31230069*c_0110_3^16 + 69091018/10410023*c_0110_3^15 - 135101323/31230069*c_0110_3^14 - 677358727/31230069*c_0110_3^13 - 488885341/31230069*c_0110_3^12 + 170294758/10410023*c_0110_3^11 + 1093567235/31230069*c_0110_3^10 + 544137748/31230069*c_0110_3^9 - 423260222/31230069*c_0110_3^8 - 757928056/31230069*c_0110_3^7 - 342223132/31230069*c_0110_3^6 + 108321134/31230069*c_0110_3^5 + 248480399/31230069*c_0110_3^4 + 56535848/10410023*c_0110_3^3 - 24396160/31230069*c_0110_3^2 - 45287198/31230069*c_0110_3 - 3582302/2402313, c_0110_2 - 15538852/31230069*c_0110_3^19 - 61370833/31230069*c_0110_3^18 + 37920076/31230069*c_0110_3^17 + 503258786/31230069*c_0110_3^16 + 183199051/10410023*c_0110_3^15 - 1121539316/31230069*c_0110_3^14 - 2704883573/31230069*c_0110_3^13 - 156749603/31230069*c_0110_3^12 + 1480448345/10410023*c_0110_3^11 + 3657768379/31230069*c_0110_3^10 - 170493289/2402313*c_0110_3^9 - 4738405615/31230069*c_0110_3^8 - 1298286032/31230069*c_0110_3^7 + 2203611937/31230069*c_0110_3^6 + 1776399532/31230069*c_0110_3^5 - 136664921/31230069*c_0110_3^4 - 201621512/10410023*c_0110_3^3 - 204192749/31230069*c_0110_3^2 + 105892817/31230069*c_0110_3 + 20397335/31230069, c_0110_3^20 + 6*c_0110_3^19 + 7*c_0110_3^18 - 31*c_0110_3^17 - 100*c_0110_3^16 - 43*c_0110_3^15 + 240*c_0110_3^14 + 402*c_0110_3^13 + 4*c_0110_3^12 - 598*c_0110_3^11 - 571*c_0110_3^10 + 87*c_0110_3^9 + 529*c_0110_3^8 + 330*c_0110_3^7 - 72*c_0110_3^6 - 186*c_0110_3^5 - 68*c_0110_3^4 + 23*c_0110_3^3 + 26*c_0110_3^2 + 3*c_0110_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB