Magma V2.19-8 Tue Aug 20 2013 23:53:36 on localhost [Seed = 3170555708] Type ? for help. Type -D to quit. Loading file "L13n6754__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n6754 geometric_solution 9.63908087 oriented_manifold CS_known -0.0000000000000006 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 2 2 1 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 -1 1 -1 0 15 -14 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.416315381729 0.853814313942 0 5 7 6 0132 0132 0132 0132 2 2 0 1 0 0 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 1 0 0 -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.545659457057 0.798191078521 7 0 9 8 0132 0132 0132 0132 2 2 0 1 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 0.176424962008 0.334487049508 9 7 4 0 0132 0132 2103 0132 2 2 0 1 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 -1 0 1 0 0 15 -15 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545659457057 0.798191078521 3 5 0 6 2103 1302 0132 1023 2 2 2 1 0 0 0 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 -1 1 -15 0 14 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.964283556715 0.624373311107 9 1 8 4 1023 0132 0213 2031 2 2 1 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 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.868347206743 1.083255316778 10 7 1 4 0132 0213 0132 1023 2 2 2 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269307678723 0.473123056863 2 3 6 1 0132 0132 0213 0132 2 2 1 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 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.416315381729 0.853814313942 10 5 2 11 1302 0213 0132 0132 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.835384603532 0.691823258066 3 5 10 2 0132 1023 0132 0132 2 2 1 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 0.216894796993 0.712689425511 6 8 11 9 0132 2031 0132 0132 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561948912336 1.343177497136 11 11 8 10 1230 3012 0132 0132 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.148669922812 0.659746616268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1100_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0110_4']), 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_0110_4']), 'c_1100_3' : negation(d['c_0110_4']), 'c_1100_2' : d['c_1100_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_10'], 'c_1100_10' : d['c_1100_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : negation(d['c_0011_11']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0110_4, c_0110_5, c_1001_0, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 4631856583720797/2483457830495488*c_1100_10^7 + 6953255059665921/1241728915247744*c_1100_10^6 - 295984503056511/112884446840704*c_1100_10^5 - 603798831481519015/19867662643963904*c_1100_10^4 - 159844738715143445/9933831321981952*c_1100_10^3 + 3377634352419341123/79470650575855616*c_1100_10^2 + 5824529252188681031/158941301151711232*c_1100_10 + 117475526898271/903075574725632, c_0011_0 - 1, c_0011_10 + 422504012/11453373259*c_1100_10^7 + 733755664/11453373259*c_1100_10^6 - 119250052/11453373259*c_1100_10^5 - 2553147469/22906746518*c_1100_10^4 + 1568377253/11453373259*c_1100_10^3 - 34289797795/91626986072*c_1100_10^2 - 22178501251/183253972144*c_1100_10 + 8674953125/22906746518, c_0011_11 - 223460/19849867*c_1100_10^7 + 106608/19849867*c_1100_10^6 + 875004/19849867*c_1100_10^5 + 1207239/39699734*c_1100_10^4 - 5817547/19849867*c_1100_10^3 - 5834087/158798936*c_1100_10^2 - 11092695/317597872*c_1100_10 - 9808261/39699734, c_0011_4 + 491729992/11453373259*c_1100_10^7 + 414172176/11453373259*c_1100_10^6 - 2114849888/11453373259*c_1100_10^5 - 5175262243/11453373259*c_1100_10^4 + 2109513870/11453373259*c_1100_10^3 + 3142479375/45813493036*c_1100_10^2 + 65103749347/91626986072*c_1100_10 + 6889218324/11453373259, c_0011_8 + 55433008/11453373259*c_1100_10^7 + 578209504/11453373259*c_1100_10^6 + 971404128/11453373259*c_1100_10^5 - 627047226/11453373259*c_1100_10^4 - 1726518024/11453373259*c_1100_10^3 - 41791171/22906746518*c_1100_10^2 + 8265297957/45813493036*c_1100_10 - 2305653689/11453373259, c_0101_0 - 1, c_0101_1 - 1, c_0101_11 - 123236/19849867*c_1100_10^7 + 280512/19849867*c_1100_10^6 + 2910092/19849867*c_1100_10^5 + 3221231/39699734*c_1100_10^4 - 7111849/19849867*c_1100_10^3 - 16682591/158798936*c_1100_10^2 + 76657481/317597872*c_1100_10 - 20150613/39699734, c_0110_4 - 273581500/11453373259*c_1100_10^7 - 496190840/11453373259*c_1100_10^6 + 571722880/11453373259*c_1100_10^5 + 5802309469/22906746518*c_1100_10^4 - 191497923/11453373259*c_1100_10^3 - 3058897033/91626986072*c_1100_10^2 + 9992640811/183253972144*c_1100_10 - 4583564635/22906746518, c_0110_5 - 55433008/11453373259*c_1100_10^7 - 578209504/11453373259*c_1100_10^6 - 971404128/11453373259*c_1100_10^5 + 627047226/11453373259*c_1100_10^4 + 1726518024/11453373259*c_1100_10^3 + 41791171/22906746518*c_1100_10^2 + 37548195079/45813493036*c_1100_10 + 2305653689/11453373259, c_1001_0 + 218148492/11453373259*c_1100_10^7 - 82018664/11453373259*c_1100_10^6 - 1543127008/11453373259*c_1100_10^5 - 4548215017/22906746518*c_1100_10^4 + 1918015947/11453373259*c_1100_10^3 + 3226061717/91626986072*c_1100_10^2 + 140200139505/183253972144*c_1100_10 + 9194872013/22906746518, c_1100_10^8 + 2*c_1100_10^7 - 2*c_1100_10^6 - 83/8*c_1100_10^5 + 3/4*c_1100_10^4 + 95/32*c_1100_10^3 + 195/64*c_1100_10^2 + 75/8*c_1100_10 + 22 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB