Magma V2.19-8 Tue Aug 20 2013 16:14:33 on localhost [Seed = 2160139405] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s531 geometric_solution 4.94095073 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 0 0 1 -1 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.470645783812 0.466974743184 0 3 2 4 0132 0132 1230 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 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 0 0 0 0 0.929311106934 1.062337511705 3 0 4 1 2310 0132 0132 3012 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 -1 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.929311106934 1.062337511705 3 1 2 3 3201 0132 3201 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.280278727329 0.823740593920 5 5 1 2 0132 2310 0132 0132 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 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.429811969890 1.086667596876 4 5 5 4 0132 3201 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.765010920350 0.520092288076 ==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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, 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 + 7174439919/51373114*c_0101_3^19 - 437644170/25686557*c_0101_3^18 - 142476573459/25686557*c_0101_3^17 - 74111689941/25686557*c_0101_3^16 + 541656012506/25686557*c_0101_3^15 + 589599431935/51373114*c_0101_3^14 - 1037577057129/25686557*c_0101_3^13 - 589310623281/25686557*c_0101_3^12 + 2542214611277/51373114*c_0101_3^11 + 1562197037859/51373114*c_0101_3^10 - 2149364769425/51373114*c_0101_3^9 - 742436160298/25686557*c_0101_3^8 + 634100005907/25686557*c_0101_3^7 + 485469648788/25686557*c_0101_3^6 - 250981005107/25686557*c_0101_3^5 - 404540552867/51373114*c_0101_3^4 + 9330733425/3951778*c_0101_3^3 + 315091331/172393*c_0101_3^2 - 12675079805/51373114*c_0101_3 - 4461267425/25686557, c_0011_0 - 1, c_0011_4 - 7007736951/25686557*c_0101_3^19 + 44092702116/25686557*c_0101_3^18 + 33343523742/25686557*c_0101_3^17 - 204477832469/25686557*c_0101_3^16 - 75397267860/25686557*c_0101_3^15 + 454143287142/25686557*c_0101_3^14 + 114553690883/25686557*c_0101_3^13 - 640026884199/25686557*c_0101_3^12 - 139028030927/25686557*c_0101_3^11 + 634830748858/25686557*c_0101_3^10 + 141571551621/25686557*c_0101_3^9 - 463921190495/25686557*c_0101_3^8 - 105668216514/25686557*c_0101_3^7 + 247315823662/25686557*c_0101_3^6 + 50327688220/25686557*c_0101_3^5 - 90645272856/25686557*c_0101_3^4 - 999306218/1975889*c_0101_3^3 + 132747657/172393*c_0101_3^2 + 1312193996/25686557*c_0101_3 - 1813340370/25686557, c_0101_0 - 2943254250/25686557*c_0101_3^19 + 17748129324/25686557*c_0101_3^18 + 18250124989/25686557*c_0101_3^17 - 78565740892/25686557*c_0101_3^16 - 50363646460/25686557*c_0101_3^15 + 165893342405/25686557*c_0101_3^14 + 87329903378/25686557*c_0101_3^13 - 220707907981/25686557*c_0101_3^12 - 109520518873/25686557*c_0101_3^11 + 203816310088/25686557*c_0101_3^10 + 104257151036/25686557*c_0101_3^9 - 135507036748/25686557*c_0101_3^8 - 70859866681/25686557*c_0101_3^7 + 63612626788/25686557*c_0101_3^6 + 31136773988/25686557*c_0101_3^5 - 19660125956/25686557*c_0101_3^4 - 585026608/1975889*c_0101_3^3 + 22295825/172393*c_0101_3^2 + 739894680/25686557*c_0101_3 - 181302232/25686557, c_0101_1 + 847688877/25686557*c_0101_3^19 - 5569348227/25686557*c_0101_3^18 - 2934833843/25686557*c_0101_3^17 + 28026788262/25686557*c_0101_3^16 + 5303070109/25686557*c_0101_3^15 - 65566921818/25686557*c_0101_3^14 - 7757570757/25686557*c_0101_3^13 + 95529569842/25686557*c_0101_3^12 + 11270373716/25686557*c_0101_3^11 - 97016754779/25686557*c_0101_3^10 - 14860328929/25686557*c_0101_3^9 + 71903176819/25686557*c_0101_3^8 + 13565151485/25686557*c_0101_3^7 - 38244019492/25686557*c_0101_3^6 - 7381369509/25686557*c_0101_3^5 + 13499415281/25686557*c_0101_3^4 + 159334478/1975889*c_0101_3^3 - 18207308/172393*c_0101_3^2 - 217275181/25686557*c_0101_3 + 203940722/25686557, c_0101_2 + 9*c_0101_3^19 - 51*c_0101_3^18 - 77*c_0101_3^17 + 229*c_0101_3^16 + 250*c_0101_3^15 - 495*c_0101_3^14 - 478*c_0101_3^13 + 675*c_0101_3^12 + 632*c_0101_3^11 - 635*c_0101_3^10 - 617*c_0101_3^9 + 424*c_0101_3^8 + 441*c_0101_3^7 - 199*c_0101_3^6 - 220*c_0101_3^5 + 63*c_0101_3^4 + 71*c_0101_3^3 - 12*c_0101_3^2 - 12*c_0101_3 + 1, c_0101_3^20 - 17/3*c_0101_3^19 - 77/9*c_0101_3^18 + 229/9*c_0101_3^17 + 250/9*c_0101_3^16 - 55*c_0101_3^15 - 478/9*c_0101_3^14 + 75*c_0101_3^13 + 632/9*c_0101_3^12 - 635/9*c_0101_3^11 - 617/9*c_0101_3^10 + 424/9*c_0101_3^9 + 49*c_0101_3^8 - 199/9*c_0101_3^7 - 220/9*c_0101_3^6 + 7*c_0101_3^5 + 71/9*c_0101_3^4 - 4/3*c_0101_3^3 - 13/9*c_0101_3^2 + 1/9*c_0101_3 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB