Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 795783957] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0100 geometric_solution 3.63231500 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.738140642872 0.019861550703 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 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.522394790303 0.062200536784 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 0 0 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 -1.913846185013 1.302389015688 2 2 5 4 0132 3201 0132 0132 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 -1 0 1 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.764548400570 0.971859628325 5 6 3 5 1230 0132 0132 3012 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 0 0 -1 1 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 1.199484277015 0.406331372248 6 4 4 3 3201 3012 1230 0132 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 0 -1 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 1.199484277015 0.406331372248 6 4 6 5 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.993281203383 0.504176623657 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 210762726/54286889*c_0101_5^14 - 1698722179/54286889*c_0101_5^13 + 5839896221/54286889*c_0101_5^12 + 28558288791/54286889*c_0101_5^11 - 52513341671/54286889*c_0101_5^10 - 151206142944/54286889*c_0101_5^9 + 223675327657/54286889*c_0101_5^8 + 319194023909/54286889*c_0101_5^7 - 433625572463/54286889*c_0101_5^6 - 297468492219/54286889*c_0101_5^5 + 389328315679/54286889*c_0101_5^4 + 113873089375/54286889*c_0101_5^3 - 150303150291/54286889*c_0101_5^2 - 11495946681/54286889*c_0101_5 + 16852084934/54286889, c_0011_0 - 1, c_0011_4 - 20709374/54286889*c_0101_5^14 - 109814802/54286889*c_0101_5^13 + 889411159/54286889*c_0101_5^12 + 425710200/54286889*c_0101_5^11 - 6854280223/54286889*c_0101_5^10 + 3656054941/54286889*c_0101_5^9 + 15751537290/54286889*c_0101_5^8 - 13374729432/54286889*c_0101_5^7 - 14015824804/54286889*c_0101_5^6 + 14678137864/54286889*c_0101_5^5 + 4353019156/54286889*c_0101_5^4 - 6044167015/54286889*c_0101_5^3 + 96631648/54286889*c_0101_5^2 + 743360150/54286889*c_0101_5 - 128528823/54286889, c_0101_0 - 74241934/54286889*c_0101_5^14 - 424742230/54286889*c_0101_5^13 + 3005250228/54286889*c_0101_5^12 + 2748443607/54286889*c_0101_5^11 - 23217983938/54286889*c_0101_5^10 + 3736118995/54286889*c_0101_5^9 + 56405669665/54286889*c_0101_5^8 - 25106020974/54286889*c_0101_5^7 - 56189962726/54286889*c_0101_5^6 + 29606630944/54286889*c_0101_5^5 + 22665554938/54286889*c_0101_5^4 - 11999938358/54286889*c_0101_5^3 - 2493655395/54286889*c_0101_5^2 + 1294010053/54286889*c_0101_5 - 1232504/889949, c_0101_1 - 7120750/54286889*c_0101_5^14 - 16906977/54286889*c_0101_5^13 + 429096817/54286889*c_0101_5^12 - 672160838/54286889*c_0101_5^11 - 3274271797/54286889*c_0101_5^10 + 7524740273/54286889*c_0101_5^9 + 5535112890/54286889*c_0101_5^8 - 19909249163/54286889*c_0101_5^7 - 1163533750/54286889*c_0101_5^6 + 20759347824/54286889*c_0101_5^5 - 2548237826/54286889*c_0101_5^4 - 8906899063/54286889*c_0101_5^3 + 1153246923/54286889*c_0101_5^2 + 1176381590/54286889*c_0101_5 - 80972656/54286889, c_0101_2 + c_0101_5, c_0101_3 - 32028696/54286889*c_0101_5^14 - 173630627/54286889*c_0101_5^13 + 1358469247/54286889*c_0101_5^12 + 842228915/54286889*c_0101_5^11 - 10613259936/54286889*c_0101_5^10 + 4227392808/54286889*c_0101_5^9 + 25462344050/54286889*c_0101_5^8 - 17709990744/54286889*c_0101_5^7 - 24090938881/54286889*c_0101_5^6 + 20511960787/54286889*c_0101_5^5 + 7988636324/54286889*c_0101_5^4 - 8851150224/54286889*c_0101_5^3 + 85661762/54286889*c_0101_5^2 + 1119271148/54286889*c_0101_5 - 164407814/54286889, c_0101_5^15 + 6*c_0101_5^14 - 39*c_0101_5^13 - 49*c_0101_5^12 + 307*c_0101_5^11 + 42*c_0101_5^10 - 809*c_0101_5^9 + 126*c_0101_5^8 + 937*c_0101_5^7 - 210*c_0101_5^6 - 503*c_0101_5^5 + 103*c_0101_5^4 + 115*c_0101_5^3 - 18*c_0101_5^2 - 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB