Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 627358202] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1475 geometric_solution 5.29030205 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 -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.515147689747 0.318799154893 0 3 0 3 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.403633766961 0.868638776012 4 0 5 0 0132 2310 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081218543293 0.549839621118 1 1 4 5 3201 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 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.262911198133 1.779876709288 2 4 4 3 0132 1230 3012 3012 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 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 1.027998438061 0.789150473537 6 6 3 2 0132 3201 1230 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 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.554569147459 1.097735532762 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.768028973985 0.472470362841 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_2' : 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' : 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' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_2']), 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 4705012844286872823/809432951009059666*c_0101_5^16 + 8448691464055319033/1618865902018119332*c_0101_5^15 - 61740596464827673773/809432951009059666*c_0101_5^14 - 3200460143652031001/809432951009059666*c_0101_5^13 + 97582467103750916290/404716475504529833*c_0101_5^12 + 458190394101376611739/1618865902018119332*c_0101_5^11 - 271247072016459666453/404716475504529833*c_0101_5^10 - 308983697271470827035/404716475504529833*c_0101_5^9 + 452703211670226163808/404716475504529833*c_0101_5^8 - 230871009912975362317/1618865902018119332*c_0101_5^7 + 338190477871261981139/1618865902018119332*c_0101_5^6 + 1276820104150984869479/1618865902018119332*c_0101_5^5 - 2017659812126537485017/1618865902018119332*c_0101_5^4 + 645861844120296404991/1618865902018119332*c_0101_5^3 - 182375446530917887704/404716475504529833*c_0101_5^2 + 84081810403634944695/1618865902018119332*c_0101_5 - 36028316004657990587/1618865902018119332, c_0011_0 - 1, c_0011_2 + 6724883989680930/404716475504529833*c_0101_5^16 + 16706743819524771/404716475504529833*c_0101_5^15 - 81353904730372321/404716475504529833*c_0101_5^14 - 151967157519654812/404716475504529833*c_0101_5^13 + 298897645082359114/404716475504529833*c_0101_5^12 + 833099808439088090/404716475504529833*c_0101_5^11 - 321280939746491190/404716475504529833*c_0101_5^10 - 2442825443792716335/404716475504529833*c_0101_5^9 - 145835034463564719/404716475504529833*c_0101_5^8 + 2641570312673649202/404716475504529833*c_0101_5^7 + 378824885379164330/404716475504529833*c_0101_5^6 + 692276361522773428/404716475504529833*c_0101_5^5 - 332983601451080125/404716475504529833*c_0101_5^4 - 1930363273108354955/404716475504529833*c_0101_5^3 - 156123657221306771/404716475504529833*c_0101_5^2 - 372914447182279177/404716475504529833*c_0101_5 + 280434968646689416/404716475504529833, c_0011_5 - 10478139664261483/404716475504529833*c_0101_5^16 - 16503678673789823/404716475504529833*c_0101_5^15 + 130430001819546178/404716475504529833*c_0101_5^14 + 95355921195376759/404716475504529833*c_0101_5^13 - 428623973631889136/404716475504529833*c_0101_5^12 - 757011947360500426/404716475504529833*c_0101_5^11 + 872576534011168321/404716475504529833*c_0101_5^10 + 2021870424309482783/404716475504529833*c_0101_5^9 - 1249892065406907792/404716475504529833*c_0101_5^8 - 734361748332301488/404716475504529833*c_0101_5^7 + 201981667202545788/404716475504529833*c_0101_5^6 - 2404732903645544910/404716475504529833*c_0101_5^5 + 1162270271487541152/404716475504529833*c_0101_5^4 + 1458176956327533835/404716475504529833*c_0101_5^3 + 154180726841706120/404716475504529833*c_0101_5^2 + 784708629938894402/404716475504529833*c_0101_5 - 11840235812565891/404716475504529833, c_0101_0 + 124281506857840417/404716475504529833*c_0101_5^16 + 117556622868159487/404716475504529833*c_0101_5^15 - 1632366332971450192/404716475504529833*c_0101_5^14 - 167209108985308513/404716475504529833*c_0101_5^13 + 5247508938691111909/404716475504529833*c_0101_5^12 + 6288022218383182987/404716475504529833*c_0101_5^11 - 14379784055943693543/404716475504529833*c_0101_5^10 - 17326693034066848024/404716475504529833*c_0101_5^9 + 24192089143914789310/404716475504529833*c_0101_5^8 - 848417020399158617/404716475504529833*c_0101_5^7 + 2453971468497807895/404716475504529833*c_0101_5^6 + 16647741554144972799/404716475504529833*c_0101_5^5 - 25672859239948697245/404716475504529833*c_0101_5^4 + 6795621958058781809/404716475504529833*c_0101_5^3 - 7763594261803197571/404716475504529833*c_0101_5^2 + 653249684652668439/404716475504529833*c_0101_5 - 124211580249082491/404716475504529833, c_0101_1 + 1, c_0101_2 + 18550631087663032/404716475504529833*c_0101_5^16 + 43962905914702158/404716475504529833*c_0101_5^15 - 220835876824510824/404716475504529833*c_0101_5^14 - 380467355857590956/404716475504529833*c_0101_5^13 + 768043538373751320/404716475504529833*c_0101_5^12 + 2140955471409385325/404716475504529833*c_0101_5^11 - 865451018082920095/404716475504529833*c_0101_5^10 - 6033617043644518959/404716475504529833*c_0101_5^9 - 234326902968206636/404716475504529833*c_0101_5^8 + 5992285458081749010/404716475504529833*c_0101_5^7 + 921480102037506124/404716475504529833*c_0101_5^6 + 1972885496194485296/404716475504529833*c_0101_5^5 - 762762199136071158/404716475504529833*c_0101_5^4 - 4532320138809082704/404716475504529833*c_0101_5^3 - 268652163121413173/404716475504529833*c_0101_5^2 - 947922947851951809/404716475504529833*c_0101_5 + 67757178117647561/404716475504529833, c_0101_5^17 + c_0101_5^16 - 13*c_0101_5^15 - 2*c_0101_5^14 + 41*c_0101_5^13 + 53*c_0101_5^12 - 109*c_0101_5^11 - 142*c_0101_5^10 + 175*c_0101_5^9 - 8*c_0101_5^8 + 41*c_0101_5^7 + 137*c_0101_5^6 - 201*c_0101_5^5 + 52*c_0101_5^4 - 78*c_0101_5^3 + 4*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB