Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 2429619708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3120 geometric_solution 6.27612955 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.182753286128 1.633938311824 0 1 1 5 0132 1230 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759044013447 0.727303170929 5 0 4 6 3201 0132 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.348434013281 0.299247161698 3 3 5 0 1302 2031 3201 0132 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 1 0 -1 -1 0 1 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.152755263588 0.413142090045 2 6 0 6 2031 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.436897988487 0.805591328959 3 6 1 2 2310 0321 0132 2310 0 0 0 0 0 1 -1 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 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.182753286128 1.633938311824 4 4 2 5 3012 2103 0132 0321 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 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.582884369874 0.833892588830 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_1'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_0011_6'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_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_0011_3'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 31745047206/777115093*c_0101_6^11 - 169151379615/777115093*c_0101_6^10 - 288177567489/777115093*c_0101_6^9 - 442908139051/777115093*c_0101_6^8 - 135154150457/777115093*c_0101_6^7 + 193438604812/777115093*c_0101_6^6 + 238038689138/777115093*c_0101_6^5 + 156589398620/777115093*c_0101_6^4 - 456701253347/777115093*c_0101_6^3 - 131435614613/777115093*c_0101_6^2 + 195213859409/777115093*c_0101_6 - 49445922550/777115093, c_0011_0 - 1, c_0011_3 - 2485858/10945283*c_0101_6^11 - 19437857/10945283*c_0101_6^10 - 55441291/10945283*c_0101_6^9 - 90453312/10945283*c_0101_6^8 - 96030418/10945283*c_0101_6^7 - 8927712/10945283*c_0101_6^6 + 53364420/10945283*c_0101_6^5 + 68964374/10945283*c_0101_6^4 - 3222246/10945283*c_0101_6^3 - 83914165/10945283*c_0101_6^2 - 5965215/10945283*c_0101_6 + 13508512/10945283, c_0011_5 + 7771568/10945283*c_0101_6^11 + 40071390/10945283*c_0101_6^10 + 64921367/10945283*c_0101_6^9 + 103300579/10945283*c_0101_6^8 + 21779064/10945283*c_0101_6^7 - 51852292/10945283*c_0101_6^6 - 87621941/10945283*c_0101_6^5 - 61789896/10945283*c_0101_6^4 + 88473493/10945283*c_0101_6^3 + 38118129/10945283*c_0101_6^2 - 20363317/10945283*c_0101_6 - 3237674/10945283, c_0011_6 + c_0101_6, c_0101_0 - 5149488/10945283*c_0101_6^11 - 31846360/10945283*c_0101_6^10 - 72000862/10945283*c_0101_6^9 - 121420791/10945283*c_0101_6^8 - 99436969/10945283*c_0101_6^7 - 10994853/10945283*c_0101_6^6 + 51458056/10945283*c_0101_6^5 + 57337175/10945283*c_0101_6^4 - 53526354/10945283*c_0101_6^3 - 85185129/10945283*c_0101_6^2 + 2042835/10945283*c_0101_6 + 12985284/10945283, c_0101_1 + 2287050/10945283*c_0101_6^11 + 11998807/10945283*c_0101_6^10 + 22194654/10945283*c_0101_6^9 + 41850642/10945283*c_0101_6^8 + 24791753/10945283*c_0101_6^7 + 18212232/10945283*c_0101_6^6 - 14200229/10945283*c_0101_6^5 - 10919484/10945283*c_0101_6^4 + 12864366/10945283*c_0101_6^3 + 9552778/10945283*c_0101_6^2 + 25661188/10945283*c_0101_6 + 325980/10945283, c_0101_6^12 + 11/2*c_0101_6^11 + 10*c_0101_6^10 + 31/2*c_0101_6^9 + 13/2*c_0101_6^8 - 11/2*c_0101_6^7 - 9*c_0101_6^6 - 6*c_0101_6^5 + 27/2*c_0101_6^4 + 7*c_0101_6^3 - 11/2*c_0101_6^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB