Magma V2.19-8 Tue Aug 20 2013 23:29:49 on localhost [Seed = 2716321783] Type ? for help. Type -D to quit. Loading file "K14n24778__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24778 geometric_solution 7.75158007 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 -14 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316588299070 1.025950694449 0 5 4 2 0132 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038400389662 0.709887519190 5 0 3 1 0132 0132 2103 2103 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 -1 1 0 -14 0 14 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.503767736228 0.436616278245 2 6 7 0 2103 0132 0132 0132 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 0 -14 14 -14 0 14 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.463676666783 0.362522150004 1 8 0 5 2310 0132 0132 1023 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 -13 13 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.574980240649 0.740747213188 2 1 8 4 0132 0132 1302 1023 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 14 0 -1 -13 -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.947906381886 1.721461868045 6 3 6 8 2310 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.491080685019 1.192597535109 7 8 7 3 2310 0213 3201 0132 0 0 0 0 0 0 1 -1 -1 0 0 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 -14 14 14 0 0 -14 0 0 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794286174533 0.909990123952 5 4 7 6 2031 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.338487561774 1.046486535573 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_8' : d['c_0101_2'], 's_2_8' : 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_2_7' : d['1'], 's_0_8' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0011_3'], 'c_1010_8' : d['c_0011_3'], '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_8' : d['1'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0011_7'], 'c_0110_8' : d['c_0101_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_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 12828265990959716547391769/354695101745506420674687811*c_1001_3^10 + 209276747770493543409698513/354695101745506420674687811*c_1001_3^9 + 1064325248808473654223413609/354695101745506420674687811*c_1001_3^8 + 2313792096178674466705138/811659271728847644564503*c_1001_3^7 + 633055740418207214525297674/354695101745506420674687811*c_1001_3^6 + 19761070432804681869986344619/354695101745506420674687811*c_1001_3^\ 5 + 9714021162594668470908521843/354695101745506420674687811*c_1001\ _3^4 + 15288573431554060936780753329/354695101745506420674687811*c_\ 1001_3^3 + 45757861028916627364784680925/35469510174550642067468781\ 1*c_1001_3^2 - 4455191975866034302127610996/35469510174550642067468\ 7811*c_1001_3 + 25251195047746797065106222497/354695101745506420674\ 687811, c_0011_0 - 1, c_0011_3 - 1483266144876120997/12114317488490263351709*c_1001_3^10 - 19036689998600368376/12114317488490263351709*c_1001_3^9 - 42918292251350790793/12114317488490263351709*c_1001_3^8 + 248656261802392718255/12114317488490263351709*c_1001_3^7 + 43909936753377843904/12114317488490263351709*c_1001_3^6 - 2204871755267983734238/12114317488490263351709*c_1001_3^5 + 6340982714225006490769/12114317488490263351709*c_1001_3^4 - 3558591421037343050867/12114317488490263351709*c_1001_3^3 + 3777783033464689849514/12114317488490263351709*c_1001_3^2 + 6846134574386850147682/12114317488490263351709*c_1001_3 - 9681446564869027499735/12114317488490263351709, c_0011_4 + 12605884384306518244/12114317488490263351709*c_1001_3^10 + 195081649613924524983/12114317488490263351709*c_1001_3^9 + 862677529142968296892/12114317488490263351709*c_1001_3^8 - 58803266539061520282/12114317488490263351709*c_1001_3^7 - 1076158212942060353681/12114317488490263351709*c_1001_3^6 + 18429251724618413018161/12114317488490263351709*c_1001_3^5 - 5715867327940483028549/12114317488490263351709*c_1001_3^4 - 9639369137405379507665/12114317488490263351709*c_1001_3^3 + 23155162665849259867719/12114317488490263351709*c_1001_3^2 - 20141123336079501119889/12114317488490263351709*c_1001_3 - 8031270029346629917486/12114317488490263351709, c_0011_7 + 4785519284795241782/12114317488490263351709*c_1001_3^10 + 80647729760255070737/12114317488490263351709*c_1001_3^9 + 431663251411631206278/12114317488490263351709*c_1001_3^8 + 467792963171370730929/12114317488490263351709*c_1001_3^7 - 205943927972597141699/12114317488490263351709*c_1001_3^6 + 6830206129968564254921/12114317488490263351709*c_1001_3^5 + 7570032765491068087563/12114317488490263351709*c_1001_3^4 - 3299859726899086387366/12114317488490263351709*c_1001_3^3 + 8768191561367866761800/12114317488490263351709*c_1001_3^2 + 774861584981113043924/12114317488490263351709*c_1001_3 - 7358753260018568740829/12114317488490263351709, c_0101_0 - 12605884384306518244/12114317488490263351709*c_1001_3^10 - 195081649613924524983/12114317488490263351709*c_1001_3^9 - 862677529142968296892/12114317488490263351709*c_1001_3^8 + 58803266539061520282/12114317488490263351709*c_1001_3^7 + 1076158212942060353681/12114317488490263351709*c_1001_3^6 - 18429251724618413018161/12114317488490263351709*c_1001_3^5 + 5715867327940483028549/12114317488490263351709*c_1001_3^4 + 9639369137405379507665/12114317488490263351709*c_1001_3^3 - 23155162665849259867719/12114317488490263351709*c_1001_3^2 + 20141123336079501119889/12114317488490263351709*c_1001_3 + 8031270029346629917486/12114317488490263351709, c_0101_1 - 4896840244532963803/12114317488490263351709*c_1001_3^10 - 72461659442867611420/12114317488490263351709*c_1001_3^9 - 286042925660701357853/12114317488490263351709*c_1001_3^8 + 209964088483693085326/12114317488490263351709*c_1001_3^7 + 172605489242366268621/12114317488490263351709*c_1001_3^6 - 7807041676038537730091/12114317488490263351709*c_1001_3^5 + 6790797520176007174669/12114317488490263351709*c_1001_3^4 - 1720395471102848621629/12114317488490263351709*c_1001_3^3 - 16202960378689119221902/12114317488490263351709*c_1001_3^2 + 11478463063773267885961/12114317488490263351709*c_1001_3 - 4817264631453362518164/12114317488490263351709, c_0101_2 - 37928471287648083/12114317488490263351709*c_1001_3^10 + 5840187755309925633/12114317488490263351709*c_1001_3^9 + 94254503555468622711/12114317488490263351709*c_1001_3^8 + 396489984811200113703/12114317488490263351709*c_1001_3^7 - 262134299826362233968/12114317488490263351709*c_1001_3^6 - 954474235330525582426/12114317488490263351709*c_1001_3^5 + 8893142377696007582237/12114317488490263351709*c_1001_3^4 - 6569346536214863596641/12114317488490263351709*c_1001_3^3 - 3994546996886817940951/12114317488490263351709*c_1001_3^2 + 11190715017771932965038/12114317488490263351709*c_1001_3 - 13899229009384594737377/12114317488490263351709, c_0101_6 - 626870804624282353/12114317488490263351709*c_1001_3^10 - 12095729646006550699/12114317488490263351709*c_1001_3^9 - 83130356520745991576/12114317488490263351709*c_1001_3^8 - 212071591257517459174/12114317488490263351709*c_1001_3^7 - 194837596430407672458/12114317488490263351709*c_1001_3^6 - 994649740808863479328/12114317488490263351709*c_1001_3^5 - 3532508151910105709980/12114317488490263351709*c_1001_3^4 - 2312668273376576631517/12114317488490263351709*c_1001_3^3 - 183335432717758598164/12114317488490263351709*c_1001_3^2 - 15906904308059511815058/12114317488490263351709*c_1001_3 + 9577928926167368836979/12114317488490263351709, c_1001_3^11 + 15*c_1001_3^10 + 62*c_1001_3^9 - 23*c_1001_3^8 - 21*c_1001_3^7 + 1497*c_1001_3^6 - 1201*c_1001_3^5 + 868*c_1001_3^4 + 1752*c_1001_3^3 - 3040*c_1001_3^2 + 2014*c_1001_3 - 1541 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB