Magma V2.19-8 Wed Aug 21 2013 01:03:30 on localhost [Seed = 2117625419] Type ? for help. Type -D to quit. Loading file "L14n20334__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20334 geometric_solution 11.55749209 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 0 0 0 0 0 1 0 -1 -5 0 0 5 -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.646064643651 0.599018486950 0 2 6 5 0132 3012 0132 0132 1 1 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 0 0 0 0 0 0 0 0 5 0 0 -5 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.167681301532 0.771709599522 1 0 4 7 1230 0132 1230 0132 1 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 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 0.451589429736 1.731108563177 8 7 9 0 0132 0132 0132 0132 1 1 1 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.203594698138 0.457504171171 6 5 0 2 2310 2310 0132 3012 1 1 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 0 0 0 0 0 0 0 0 0 1 -1 6 0 -5 -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.387901088464 0.794277680692 9 9 1 4 1302 0213 0132 3201 1 1 1 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 0 0 -5 0 5 0 0 0 0 0 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007404188664 0.802913190360 10 7 4 1 0132 3012 3201 0132 1 1 1 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.092508691150 1.410480034459 6 3 2 11 1230 0132 0132 0132 1 1 1 1 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436365936999 0.447364436063 3 10 12 12 0132 0213 0132 0321 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 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.646064643651 0.599018486950 12 5 5 3 0321 2031 0213 0132 1 1 1 1 0 0 0 0 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 6 0 -6 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607040845698 0.483818816303 6 11 8 11 0132 2031 0213 2103 0 1 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 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.259143568131 0.647781517808 10 12 7 10 1302 3201 0132 2103 1 1 0 1 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 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.467633126758 1.330758172647 9 8 11 8 0321 0321 2310 0132 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 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.167681301532 0.771709599522 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : negation(d['c_0110_11']), 'c_1010_12' : negation(d['c_0110_11']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_11'], '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'], 'c_0101_12' : negation(d['c_0011_5']), 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_3']), '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_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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0101_6']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1001_2']), 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_0110_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0110_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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_9']), 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : negation(d['c_0011_9']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_9']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0011_3']), 's_2_9' : d['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_4, c_0011_5, c_0011_9, c_0101_2, c_0101_6, c_0110_11, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 136952487607769928437547909/1889609205498569942499153760*c_1001_2^8 - 27937798042204405710313999/47240230137464248562478844*c_1001_2^7 - 220102853025914899639058821/118100575343660621406197110*c_1001_2^6 - 1740593159891521978367183857/472402301374642485624788440*c_1001_2^5 - 2581176546314487080405947609/377921841099713988499830752*c_1001_2\ ^4 - 770857798672254551017460303/118100575343660621406197110*c_1001\ _2^3 - 101952589039729102969294663/82156921978198693152137120*c_100\ 1_2^2 + 2187865756642862756754963619/944804602749284971249576880*c_\ 1001_2 + 7452429936138242409927407711/1889609205498569942499153760, c_0011_0 - 1, c_0011_10 + 139338/5832653*c_1001_2^8 + 846309/5832653*c_1001_2^7 + 1295383/5832653*c_1001_2^6 + 678420/5832653*c_1001_2^5 + 1726779/5832653*c_1001_2^4 - 9736529/5832653*c_1001_2^3 - 13686694/5832653*c_1001_2^2 - 3792558/5832653*c_1001_2 + 3978415/5832653, c_0011_11 + 825809/23330612*c_1001_2^8 + 2950497/11665306*c_1001_2^7 + 3575515/5832653*c_1001_2^6 + 10383001/11665306*c_1001_2^5 + 40929741/23330612*c_1001_2^4 + 3063448/5832653*c_1001_2^3 - 40024183/23330612*c_1001_2^2 - 347673/5832653*c_1001_2 + 1827345/23330612, c_0011_12 + 227160/5832653*c_1001_2^8 + 1790365/5832653*c_1001_2^7 + 5063954/5832653*c_1001_2^6 + 9197587/5832653*c_1001_2^5 + 19435294/5832653*c_1001_2^4 + 17999968/5832653*c_1001_2^3 + 4295082/5832653*c_1001_2^2 + 10574360/5832653*c_1001_2 + 1807603/5832653, c_0011_3 + 485183/5832653*c_1001_2^8 + 3603802/5832653*c_1001_2^7 + 9875804/5832653*c_1001_2^6 + 17787446/5832653*c_1001_2^5 + 35163075/5832653*c_1001_2^4 + 25835091/5832653*c_1001_2^3 + 2617448/5832653*c_1001_2^2 + 6216177/5832653*c_1001_2 + 799320/5832653, c_0011_4 - 322944/5832653*c_1001_2^8 - 2690103/5832653*c_1001_2^7 - 8568486/5832653*c_1001_2^6 - 16699901/5832653*c_1001_2^5 - 31821978/5832653*c_1001_2^4 - 34909732/5832653*c_1001_2^3 - 12229040/5832653*c_1001_2^2 - 7243936/5832653*c_1001_2 + 2668809/5832653, c_0011_5 + 58555/5832653*c_1001_2^8 + 525308/5832653*c_1001_2^7 + 1734901/5832653*c_1001_2^6 + 3094807/5832653*c_1001_2^5 + 4697351/5832653*c_1001_2^4 + 5275597/5832653*c_1001_2^3 - 449618/5832653*c_1001_2^2 - 3767299/5832653*c_1001_2 + 881775/5832653, c_0011_9 + 599808/5832653*c_1001_2^8 + 4656529/5832653*c_1001_2^7 + 13271979/5832653*c_1001_2^6 + 23852693/5832653*c_1001_2^5 + 46363075/5832653*c_1001_2^4 + 38400628/5832653*c_1001_2^3 - 242950/5832653*c_1001_2^2 + 7905952/5832653*c_1001_2 + 4010631/5832653, c_0101_2 - 294184/5832653*c_1001_2^8 - 2233370/5832653*c_1001_2^7 - 6049896/5832653*c_1001_2^6 - 9885587/5832653*c_1001_2^5 - 18904877/5832653*c_1001_2^4 - 13497781/5832653*c_1001_2^3 + 4635699/5832653*c_1001_2^2 - 4918149/5832653*c_1001_2 - 2421461/5832653, c_0101_6 - 511986/5832653*c_1001_2^8 - 3712473/5832653*c_1001_2^7 - 9503408/5832653*c_1001_2^6 - 15333526/5832653*c_1001_2^5 - 28654560/5832653*c_1001_2^4 - 10664131/5832653*c_1001_2^3 + 18224726/5832653*c_1001_2^2 + 6460966/5832653*c_1001_2 - 6181443/5832653, c_0110_11 + 1, c_1001_0 - 299765/5832653*c_1001_2^8 - 2033816/5832653*c_1001_2^7 - 4715428/5832653*c_1001_2^6 - 7561917/5832653*c_1001_2^5 - 16155415/5832653*c_1001_2^4 - 4152784/5832653*c_1001_2^3 + 2564235/5832653*c_1001_2^2 - 9259468/5832653*c_1001_2 - 336501/5832653, c_1001_2^9 + 8*c_1001_2^8 + 24*c_1001_2^7 + 44*c_1001_2^6 + 81*c_1001_2^5 + 72*c_1001_2^4 - 3*c_1001_2^3 - 14*c_1001_2^2 + 5*c_1001_2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.600 Total time: 0.810 seconds, Total memory usage: 32.09MB