Magma V2.19-8 Tue Aug 20 2013 18:00:02 on localhost [Seed = 4054861110] Type ? for help. Type -D to quit. Loading file "11_196__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_196 geometric_solution 12.31245798 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 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 -1 1 0 0 0 0 0 -1 1 0 0 -1 -7 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370877644291 0.825269420768 0 4 6 5 0132 0132 0132 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 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 0.782700266680 1.037232489955 0 0 8 7 2031 0132 0132 0132 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 1 -1 0 -1 0 0 1 -8 7 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546947649682 1.008122911908 9 6 0 10 0132 3201 0132 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 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.840739130755 1.546463763650 5 1 10 8 0213 0132 3201 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794111504299 1.068672998189 4 11 1 9 0213 0132 0132 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.281022572970 0.591455895393 9 7 3 1 3120 2310 2310 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 1 -1 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.456698335284 0.565183873093 12 12 2 6 0132 1302 0132 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 -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 0.546947649682 1.008122911908 10 11 4 2 3012 1023 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 -1 0 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 0.456698335284 0.565183873093 3 5 11 6 0132 2310 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.173825944030 0.902250959371 4 12 3 8 2310 1230 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 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.065894300037 0.639850502648 8 5 12 9 1023 0132 2310 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 -1 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.782700266680 1.037232489955 7 11 10 7 0132 3201 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370877644291 0.825269420768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0101_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0101_2'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : d['c_1001_10'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_6']), 'c_1100_8' : negation(d['c_0011_6']), 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), '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_0110_11' : negation(d['c_0101_6']), 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_6, c_0101_7, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 5993901153/5104916168*c_1001_10^7 - 803227943/176031592*c_1001_10^6 - 7159565871/704126368*c_1001_10^5 - 133703799833/10209832336*c_1001_10^4 - 133231850223/20419664672*c_1001_10^3 + 31105797869/2552458084*c_1001_10^2 + 496201592613/20419664672*c_1001_10 + 345311395257/20419664672, c_0011_0 - 1, c_0011_10 - 397512/2000359*c_1001_10^7 - 1633852/2000359*c_1001_10^6 - 3293870/2000359*c_1001_10^5 - 4840811/2000359*c_1001_10^4 - 3427729/2000359*c_1001_10^3 - 1363409/2000359*c_1001_10^2 + 151845/2000359*c_1001_10 - 3321186/2000359, c_0011_11 + 3012/25321*c_1001_10^7 + 15520/25321*c_1001_10^6 + 33403/25321*c_1001_10^5 + 58881/25321*c_1001_10^4 + 54078/25321*c_1001_10^3 + 32624/25321*c_1001_10^2 - 11550/25321*c_1001_10 + 16208/25321, c_0011_12 + 83992/2000359*c_1001_10^7 + 230892/2000359*c_1001_10^6 + 479390/2000359*c_1001_10^5 + 162531/2000359*c_1001_10^4 - 163380/2000359*c_1001_10^3 - 1125484/2000359*c_1001_10^2 + 99196/2000359*c_1001_10 - 1049095/2000359, c_0011_3 - 85220/2000359*c_1001_10^7 + 251580/2000359*c_1001_10^6 + 574845/2000359*c_1001_10^5 + 1124304/2000359*c_1001_10^4 + 718873/2000359*c_1001_10^3 - 70775/2000359*c_1001_10^2 - 1327650/2000359*c_1001_10 + 1284970/2000359, c_0011_6 - 491152/2000359*c_1001_10^7 - 1436284/2000359*c_1001_10^6 - 3022772/2000359*c_1001_10^5 - 3852357/2000359*c_1001_10^4 - 3226529/2000359*c_1001_10^3 - 397103/2000359*c_1001_10^2 - 613592/2000359*c_1001_10 - 1897990/2000359, c_0101_1 - 244784/2000359*c_1001_10^7 - 156192/2000359*c_1001_10^6 - 80188/2000359*c_1001_10^5 + 935092/2000359*c_1001_10^4 + 1563306/2000359*c_1001_10^3 + 1143112/2000359*c_1001_10^2 - 2088255/2000359*c_1001_10 - 755784/2000359, c_0101_10 - 247800/2000359*c_1001_10^7 - 639280/2000359*c_1001_10^6 - 1165886/2000359*c_1001_10^5 - 1403766/2000359*c_1001_10^4 + 145353/2000359*c_1001_10^3 + 1176286/2000359*c_1001_10^2 + 856612/2000359*c_1001_10 - 925789/2000359, c_0101_12 + 169212/2000359*c_1001_10^7 - 20688/2000359*c_1001_10^6 - 95455/2000359*c_1001_10^5 - 961773/2000359*c_1001_10^4 - 882253/2000359*c_1001_10^3 - 1054709/2000359*c_1001_10^2 - 573513/2000359*c_1001_10 - 333706/2000359, c_0101_2 + 159564/2000359*c_1001_10^7 + 407772/2000359*c_1001_10^6 + 655033/2000359*c_1001_10^5 + 189212/2000359*c_1001_10^4 - 844433/2000359*c_1001_10^3 - 1213887/2000359*c_1001_10^2 - 1239754/2000359*c_1001_10 + 2040754/2000359, c_0101_6 + 162376/2000359*c_1001_10^7 + 1049200/2000359*c_1001_10^6 + 2463194/2000359*c_1001_10^5 + 4624918/2000359*c_1001_10^4 + 4953215/2000359*c_1001_10^3 + 2665699/2000359*c_1001_10^2 + 426500/2000359*c_1001_10 + 190942/2000359, c_0101_7 + 83992/2000359*c_1001_10^7 + 230892/2000359*c_1001_10^6 + 479390/2000359*c_1001_10^5 + 162531/2000359*c_1001_10^4 - 163380/2000359*c_1001_10^3 - 1125484/2000359*c_1001_10^2 + 99196/2000359*c_1001_10 + 951264/2000359, c_1001_10^8 + 4*c_1001_10^7 + 39/4*c_1001_10^6 + 61/4*c_1001_10^5 + 63/4*c_1001_10^4 + 29/4*c_1001_10^3 + 3/4*c_1001_10^2 + 5/2*c_1001_10 + 29/4 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_6, c_0101_7, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 7284026087/1974832*c_1001_10^10 + 8728342545/987416*c_1001_10^9 - 4650548047/493708*c_1001_10^8 + 29971881233/493708*c_1001_10^7 - 36482266867/246854*c_1001_10^6 + 93393247349/1974832*c_1001_10^5 + 133795148971/987416*c_1001_10^4 - 5386019919/123427*c_1001_10^3 - 8713372347/123427*c_1001_10^2 + 8102908559/493708*c_1001_10 - 12070918689/987416, c_0011_0 - 1, c_0011_10 - 23362/123427*c_1001_10^10 + 63249/123427*c_1001_10^9 - 61883/123427*c_1001_10^8 + 365386/123427*c_1001_10^7 - 1034773/123427*c_1001_10^6 + 329169/123427*c_1001_10^5 + 1345884/123427*c_1001_10^4 - 527723/123427*c_1001_10^3 - 964593/123427*c_1001_10^2 + 305444/123427*c_1001_10 + 45045/123427, c_0011_11 - 7631/123427*c_1001_10^10 + 18911/123427*c_1001_10^9 - 29940/123427*c_1001_10^8 + 142438/123427*c_1001_10^7 - 336790/123427*c_1001_10^6 + 256217/123427*c_1001_10^5 - 16755/123427*c_1001_10^4 - 82725/123427*c_1001_10^3 + 145078/123427*c_1001_10^2 + 74147/123427*c_1001_10 - 166623/123427, c_0011_12 + 1, c_0011_3 + 7631/123427*c_1001_10^10 - 18911/123427*c_1001_10^9 + 29940/123427*c_1001_10^8 - 142438/123427*c_1001_10^7 + 336790/123427*c_1001_10^6 - 256217/123427*c_1001_10^5 + 16755/123427*c_1001_10^4 + 82725/123427*c_1001_10^3 - 145078/123427*c_1001_10^2 - 74147/123427*c_1001_10 + 166623/123427, c_0011_6 + 17891/123427*c_1001_10^10 - 59347/123427*c_1001_10^9 + 65391/123427*c_1001_10^8 - 326702/123427*c_1001_10^7 + 950642/123427*c_1001_10^6 - 600074/123427*c_1001_10^5 - 718376/123427*c_1001_10^4 + 697945/123427*c_1001_10^3 + 144173/123427*c_1001_10^2 - 314346/123427*c_1001_10 + 156477/123427, c_0101_1 - 23362/123427*c_1001_10^10 + 63249/123427*c_1001_10^9 - 61883/123427*c_1001_10^8 + 365386/123427*c_1001_10^7 - 1034773/123427*c_1001_10^6 + 329169/123427*c_1001_10^5 + 1345884/123427*c_1001_10^4 - 527723/123427*c_1001_10^3 - 964593/123427*c_1001_10^2 + 305444/123427*c_1001_10 + 45045/123427, c_0101_10 - 63275/123427*c_1001_10^10 + 131963/123427*c_1001_10^9 - 145550/123427*c_1001_10^8 + 1022822/123427*c_1001_10^7 - 2245168/123427*c_1001_10^6 + 503978/123427*c_1001_10^5 + 1977849/123427*c_1001_10^4 - 443342/123427*c_1001_10^3 - 1106631/123427*c_1001_10^2 + 335434/123427*c_1001_10 - 53998/123427, c_0101_12 - 21598/123427*c_1001_10^10 + 57163/123427*c_1001_10^9 - 67481/123427*c_1001_10^8 + 358824/123427*c_1001_10^7 - 937462/123427*c_1001_10^6 + 462336/123427*c_1001_10^5 + 882559/123427*c_1001_10^4 - 751087/123427*c_1001_10^3 - 341901/123427*c_1001_10^2 + 367219/123427*c_1001_10 - 55441/123427, c_0101_2 + c_1001_10, c_0101_6 - 21598/123427*c_1001_10^10 + 57163/123427*c_1001_10^9 - 67481/123427*c_1001_10^8 + 358824/123427*c_1001_10^7 - 937462/123427*c_1001_10^6 + 462336/123427*c_1001_10^5 + 882559/123427*c_1001_10^4 - 751087/123427*c_1001_10^3 - 341901/123427*c_1001_10^2 + 367219/123427*c_1001_10 - 55441/123427, c_0101_7 - 23304/123427*c_1001_10^10 + 83760/123427*c_1001_10^9 - 94813/123427*c_1001_10^8 + 430942/123427*c_1001_10^7 - 1358613/123427*c_1001_10^6 + 961178/123427*c_1001_10^5 + 988217/123427*c_1001_10^4 - 793956/123427*c_1001_10^3 - 573838/123427*c_1001_10^2 + 324128/123427*c_1001_10 - 83925/123427, c_1001_10^11 - 3*c_1001_10^10 + 4*c_1001_10^9 - 18*c_1001_10^8 + 50*c_1001_10^7 - 37*c_1001_10^6 - 29*c_1001_10^5 + 34*c_1001_10^4 + 12*c_1001_10^3 - 16*c_1001_10^2 + 6*c_1001_10 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.640 Total time: 2.850 seconds, Total memory usage: 84.12MB