Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1848636066] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1605 geometric_solution 5.36653957 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 1 -1 0 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 -1 0 1 -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.979459535645 1.538476349569 0 4 4 5 0132 0132 3201 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 1 0 -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.057799150641 0.602422622466 6 0 6 0 0132 0132 1023 1023 0 0 0 0 0 -1 0 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 1 0 -1 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.526208404160 0.290178673343 3 5 3 0 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375192208365 0.864432173622 1 1 4 4 2310 0132 1230 3012 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 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.159759757877 0.709122314815 3 6 1 6 1023 2310 0132 3201 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 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.979459535645 1.538476349569 2 5 2 5 0132 2310 1023 3201 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 -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.526208404160 0.290178673343 ==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_3']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], '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_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_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_6']})} 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_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 17542488111658/2792659412141*c_0101_6^15 + 29024106571188/2792659412141*c_0101_6^14 - 43944309596641/2792659412141*c_0101_6^13 - 114183986561800/2792659412141*c_0101_6^12 + 45306703276756/2792659412141*c_0101_6^11 + 219139289442193/2792659412141*c_0101_6^10 - 30314015623117/2792659412141*c_0101_6^9 - 305181833089667/2792659412141*c_0101_6^8 - 74572143244597/2792659412141*c_0101_6^7 + 199923830039005/2792659412141*c_0101_6^6 + 98707216060835/2792659412141*c_0101_6^5 - 3525514355408/2792659412141*c_0101_6^4 + 19575889631741/2792659412141*c_0101_6^3 - 4740443295957/2792659412141*c_0101_6^2 - 23420658290537/2792659412141*c_0101_6 - 14329353923793/2792659412141, c_0011_0 - 1, c_0011_3 + 1895208437614/2792659412141*c_0101_6^15 - 12822437103226/2792659412141*c_0101_6^14 + 932799315290/2792659412141*c_0101_6^13 + 41698968806705/2792659412141*c_0101_6^12 - 15190973706177/2792659412141*c_0101_6^11 - 62273969669388/2792659412141*c_0101_6^10 + 22201645750407/2792659412141*c_0101_6^9 + 72293978871435/2792659412141*c_0101_6^8 - 9907485006091/2792659412141*c_0101_6^7 - 48923246938787/2792659412141*c_0101_6^6 - 2891344302676/2792659412141*c_0101_6^5 + 15275844644129/2792659412141*c_0101_6^4 + 3011929789690/2792659412141*c_0101_6^3 - 11497844688890/2792659412141*c_0101_6^2 + 220461338023/2792659412141*c_0101_6 + 436488258378/2792659412141, c_0101_0 - 13845137848471/2792659412141*c_0101_6^15 + 8702588718346/2792659412141*c_0101_6^14 + 38395578564703/2792659412141*c_0101_6^13 - 33199577187634/2792659412141*c_0101_6^12 - 34480462172771/2792659412141*c_0101_6^11 + 37991829892250/2792659412141*c_0101_6^10 + 19375975472831/2792659412141*c_0101_6^9 - 8552432811891/2792659412141*c_0101_6^8 + 17363390496886/2792659412141*c_0101_6^7 - 6231472648239/2792659412141*c_0101_6^6 - 39438730038615/2792659412141*c_0101_6^5 + 3751702950108/2792659412141*c_0101_6^4 + 6960177345716/2792659412141*c_0101_6^3 + 6373976089728/2792659412141*c_0101_6^2 - 3703390180018/2792659412141*c_0101_6 + 485669016049/2792659412141, c_0101_1 - 8293276909182/2792659412141*c_0101_6^15 + 6696579279772/2792659412141*c_0101_6^14 + 20350670533502/2792659412141*c_0101_6^13 - 19582148828476/2792659412141*c_0101_6^12 - 18972899107837/2792659412141*c_0101_6^11 + 19728086964063/2792659412141*c_0101_6^10 + 17166893355408/2792659412141*c_0101_6^9 - 5297114527407/2792659412141*c_0101_6^8 + 2455857530955/2792659412141*c_0101_6^7 - 4233137647177/2792659412141*c_0101_6^6 - 15750139302059/2792659412141*c_0101_6^5 + 2346514797860/2792659412141*c_0101_6^4 + 4363638184679/2792659412141*c_0101_6^3 + 1702465014556/2792659412141*c_0101_6^2 - 6086255726481/2792659412141*c_0101_6 + 220461338023/2792659412141, c_0101_2 + c_0101_6, c_0101_4 - 8145570111733/2792659412141*c_0101_6^15 - 7614640739094/2792659412141*c_0101_6^14 + 45202668460526/2792659412141*c_0101_6^13 + 29535850462238/2792659412141*c_0101_6^12 - 110039098304949/2792659412141*c_0101_6^11 - 51672706137765/2792659412141*c_0101_6^10 + 157869753861970/2792659412141*c_0101_6^9 + 83454448466313/2792659412141*c_0101_6^8 - 136518040195025/2792659412141*c_0101_6^7 - 99545243524200/2792659412141*c_0101_6^6 + 50709264340708/2792659412141*c_0101_6^5 + 52600397412893/2792659412141*c_0101_6^4 + 6026095498569/2792659412141*c_0101_6^3 - 11511256648710/2792659412141*c_0101_6^2 + 1324433714879/2792659412141*c_0101_6 + 978089231247/2792659412141, c_0101_6^16 - 11/19*c_0101_6^15 - 4*c_0101_6^14 + 47/19*c_0101_6^13 + 139/19*c_0101_6^12 - 80/19*c_0101_6^11 - 182/19*c_0101_6^10 + 63/19*c_0101_6^9 + 160/19*c_0101_6^8 - 13/19*c_0101_6^7 - 4*c_0101_6^6 - 12/19*c_0101_6^5 + 25/19*c_0101_6^4 + 3/19*c_0101_6^3 - 6/19*c_0101_6^2 + 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB