Magma V2.19-8 Wed Aug 21 2013 01:03:05 on localhost [Seed = 2530250382] Type ? for help. Type -D to quit. Loading file "L14n17454__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n17454 geometric_solution 11.03618138 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 3120 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 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.661625429397 1.042586164479 0 4 6 5 0132 0132 0132 0132 0 1 1 1 0 -1 2 -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 -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.744774172084 0.242940790661 7 0 0 4 0132 0132 3120 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.377663540605 1.364502839472 8 9 0 10 0132 0132 0132 0132 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 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.041288864133 1.622811182622 2 1 9 5 3012 0132 1230 2310 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 -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.633583051636 0.362916598819 4 9 1 6 3201 1230 0132 3201 0 1 0 1 0 0 1 -1 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 0 0 0 0.470038763345 0.187028657347 11 5 8 1 0132 2310 3120 0132 0 1 1 0 0 0 2 -2 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487486467408 0.822248834576 2 12 12 10 0132 0132 1302 2103 0 1 1 1 0 -2 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 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.442115566656 0.943505080472 3 12 6 11 0132 1230 3120 0132 0 1 1 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 3 -2 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.024811010362 0.731195160390 10 3 5 4 1302 0132 3012 3012 1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138188716327 0.427275787057 11 9 3 7 1302 2031 0132 2103 1 1 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 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.433658105943 0.512589017846 6 10 8 12 0132 2031 0132 0213 0 1 0 1 0 0 0 0 -1 0 1 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 -3 0 2 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 1.047949792401 0.768130094692 7 7 8 11 2031 0132 3012 0213 0 0 1 1 0 2 -2 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 1 0 0 0 0 0 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.592770937235 0.869054877529 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_3']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_11']), '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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_4']), 'c_1100_8' : negation(d['c_0101_6']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_0101_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : negation(d['c_0101_4']), 'c_1010_8' : d['c_0101_12'], '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_10'], '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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_0101_6'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : negation(d['c_0101_6']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_5'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_4, c_0101_6, c_0110_5, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 2092826937736267/5563012229495*c_1001_4^12 + 24559132525344423/5563012229495*c_1001_4^11 + 22553818798867752/1112602445899*c_1001_4^10 + 170862504385106637/5563012229495*c_1001_4^9 + 301290187544564126/5563012229495*c_1001_4^8 + 138150515474039622/5563012229495*c_1001_4^7 + 3732402059712868/794716032785*c_1001_4^6 - 368483012891738352/5563012229495*c_1001_4^5 - 454033473995265722/5563012229495*c_1001_4^4 - 106339322040341240/1112602445899*c_1001_4^3 - 310858105791709496/5563012229495*c_1001_4^2 - 2707020374002872/91196921795*c_1001_4 - 29535916206210616/5563012229495, c_0011_0 - 1, c_0011_10 - 406713782/2605626337*c_1001_4^12 - 18632839767/10422505348*c_1001_4^11 - 20794753117/2605626337*c_1001_4^10 - 118287009441/10422505348*c_1001_4^9 - 60021790845/2605626337*c_1001_4^8 - 21685507708/2605626337*c_1001_4^7 - 57167281555/10422505348*c_1001_4^6 + 290508176359/10422505348*c_1001_4^5 + 162064517267/5211252674*c_1001_4^4 + 208766658905/5211252674*c_1001_4^3 + 243788080055/10422505348*c_1001_4^2 + 67358341797/5211252674*c_1001_4 + 12400884059/5211252674, c_0011_11 - 384006978/2605626337*c_1001_4^12 - 15753364551/10422505348*c_1001_4^11 - 14021229155/2605626337*c_1001_4^10 - 4952827097/10422505348*c_1001_4^9 - 14955677339/2605626337*c_1001_4^8 + 29588193914/2605626337*c_1001_4^7 + 15576872521/10422505348*c_1001_4^6 + 135172523179/10422505348*c_1001_4^5 - 16835801171/5211252674*c_1001_4^4 + 10347203227/5211252674*c_1001_4^3 - 45169575077/10422505348*c_1001_4^2 + 2539600601/5211252674*c_1001_4 + 2172736903/5211252674, c_0011_3 - 138367587/5211252674*c_1001_4^12 - 2543783995/10422505348*c_1001_4^11 - 1539977516/2605626337*c_1001_4^10 + 20126289127/10422505348*c_1001_4^9 + 16566952751/5211252674*c_1001_4^8 + 38418307115/5211252674*c_1001_4^7 + 66663953951/10422505348*c_1001_4^6 + 1015689613/10422505348*c_1001_4^5 - 14116525857/2605626337*c_1001_4^4 - 33948741523/2605626337*c_1001_4^3 - 114005147029/10422505348*c_1001_4^2 - 19915787021/2605626337*c_1001_4 - 12109541875/5211252674, c_0011_5 + 1052115265/10422505348*c_1001_4^12 + 12835834597/10422505348*c_1001_4^11 + 59326839987/10422505348*c_1001_4^10 + 76870914595/10422505348*c_1001_4^9 + 9887135759/2605626337*c_1001_4^8 - 23548293039/10422505348*c_1001_4^7 - 46547889810/2605626337*c_1001_4^6 - 148674794751/10422505348*c_1001_4^5 - 33988323867/2605626337*c_1001_4^4 + 37509657917/10422505348*c_1001_4^3 + 64543931817/10422505348*c_1001_4^2 + 20941288142/2605626337*c_1001_4 + 9328828235/5211252674, c_0101_0 - 7866509035/10422505348*c_1001_4^12 - 89767947489/10422505348*c_1001_4^11 - 390030489229/10422505348*c_1001_4^10 - 463320225263/10422505348*c_1001_4^9 - 192516361168/2605626337*c_1001_4^8 - 110655583391/10422505348*c_1001_4^7 + 103827987099/5211252674*c_1001_4^6 + 1135866341731/10422505348*c_1001_4^5 + 277722826044/2605626337*c_1001_4^4 + 1097812658733/10422505348*c_1001_4^3 + 530198640963/10422505348*c_1001_4^2 + 61331578073/2605626337*c_1001_4 + 23653752401/5211252674, c_0101_1 + 10740507749/10422505348*c_1001_4^12 + 122555611865/10422505348*c_1001_4^11 + 538194358755/10422505348*c_1001_4^10 + 697143171295/10422505348*c_1001_4^9 + 331139222042/2605626337*c_1001_4^8 + 417510578329/10422505348*c_1001_4^7 + 25986845293/2605626337*c_1001_4^6 - 1655288231151/10422505348*c_1001_4^5 - 458700056796/2605626337*c_1001_4^4 - 2217216018919/10422505348*c_1001_4^3 - 1264312437003/10422505348*c_1001_4^2 - 178373178460/2605626337*c_1001_4 - 73205583937/5211252674, c_0101_12 - 2547520071/10422505348*c_1001_4^12 - 29931351559/10422505348*c_1001_4^11 - 136949260147/10422505348*c_1001_4^10 - 201511812817/10422505348*c_1001_4^9 - 166834723861/5211252674*c_1001_4^8 - 133159873771/10422505348*c_1001_4^7 + 9373315419/2605626337*c_1001_4^6 + 450386901415/10422505348*c_1001_4^5 + 266958776053/5211252674*c_1001_4^4 + 536126531865/10422505348*c_1001_4^3 + 283075483133/10422505348*c_1001_4^2 + 58080007247/5211252674*c_1001_4 + 3969068355/5211252674, c_0101_2 - 834340182/2605626337*c_1001_4^12 - 9850814237/2605626337*c_1001_4^11 - 45489625843/2605626337*c_1001_4^10 - 69403882598/2605626337*c_1001_4^9 - 116587726326/2605626337*c_1001_4^8 - 53642072787/2605626337*c_1001_4^7 + 3321426352/2605626337*c_1001_4^6 + 149042605042/2605626337*c_1001_4^5 + 185979305735/2605626337*c_1001_4^4 + 200038620739/2605626337*c_1001_4^3 + 110116618158/2605626337*c_1001_4^2 + 50784570485/2605626337*c_1001_4 + 7539002196/2605626337, c_0101_4 - 1789022833/5211252674*c_1001_4^12 - 45524691169/10422505348*c_1001_4^11 - 116268901055/5211252674*c_1001_4^10 - 458904140543/10422505348*c_1001_4^9 - 168944830562/2605626337*c_1001_4^8 - 237533023661/5211252674*c_1001_4^7 + 30981653049/10422505348*c_1001_4^6 + 817192286313/10422505348*c_1001_4^5 + 614225686877/5211252674*c_1001_4^4 + 305552496646/2605626337*c_1001_4^3 + 763198703725/10422505348*c_1001_4^2 + 159825986513/5211252674*c_1001_4 + 25061846305/5211252674, c_0101_6 - 789840657/10422505348*c_1001_4^12 - 9471905389/10422505348*c_1001_4^11 - 45009243225/10422505348*c_1001_4^10 - 76103717575/10422505348*c_1001_4^9 - 66340728791/5211252674*c_1001_4^8 - 81408417377/10422505348*c_1001_4^7 - 6051889067/2605626337*c_1001_4^6 + 145783518753/10422505348*c_1001_4^5 + 104999835417/5211252674*c_1001_4^4 + 264027951091/10422505348*c_1001_4^3 + 157390989499/10422505348*c_1001_4^2 + 48700386397/5211252674*c_1001_4 + 5897683363/5211252674, c_0110_5 + 1, c_1001_4^13 + 12*c_1001_4^12 + 57*c_1001_4^11 + 96*c_1001_4^10 + 166*c_1001_4^9 + 105*c_1001_4^8 + 31*c_1001_4^7 - 172*c_1001_4^6 - 264*c_1001_4^5 - 313*c_1001_4^4 - 218*c_1001_4^3 - 120*c_1001_4^2 - 36*c_1001_4 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.460 seconds, Total memory usage: 32.09MB