Magma V2.19-8 Tue Aug 20 2013 23:43:49 on localhost [Seed = 88301588] Type ? for help. Type -D to quit. Loading file "K13n1588__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1588 geometric_solution 10.95896093 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 3201 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 -1 1 0 0 0 0 0 -1 0 1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927778478301 0.779599592326 0 4 6 5 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0.855639270363 0.442443224216 7 0 4 8 0132 0132 1302 0132 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 -1 -5 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507596531448 0.366627989038 9 0 10 0 0132 2310 0132 0132 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 -1 0 1 0 0 0 0 -5 0 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.014407028670 0.874008281455 2 1 8 10 2031 0132 2103 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.642394378021 0.541079257442 9 6 1 11 2103 3201 0132 0132 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 -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.354254379678 0.985234202849 8 9 5 1 1302 0321 2310 0132 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 -6 0 0 6 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.065186931979 1.599129909192 2 11 8 11 0132 0132 2031 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 1 0 -1 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.416336048837 0.651108472319 4 6 2 7 2103 2031 0132 1302 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436875979223 0.737642253136 3 10 5 6 0132 3201 2103 0321 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 -1 1 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978354157188 0.789145549807 11 4 9 3 3120 2310 2310 0132 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 -5 0 5 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192676634076 0.837305020110 7 7 5 10 3012 0132 0132 3120 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 -1 0 1 1 0 -6 5 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.763352713945 0.851560934038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0110_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_5']), '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_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_0101_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : d['c_0101_4'], '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'], '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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_0011_6']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_10'], '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_0101_4'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0110_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 28997786386131/5841994071515*c_1001_1^14 - 45624545314953/5841994071515*c_1001_1^13 + 10145082693820/1168398814303*c_1001_1^12 + 62333552313/8784953491*c_1001_1^11 - 366663700701019/5841994071515*c_1001_1^10 - 50851299851342/1168398814303*c_1001_1^9 + 454498741297507/5841994071515*c_1001_1^8 + 803333443570886/5841994071515*c_1001_1^7 + 511178693203978/5841994071515*c_1001_1^6 - 66743726892184/5841994071515*c_1001_1^5 - 600242817569264/5841994071515*c_1001_1^4 - 66427400305003/834570581645*c_1001_1^3 - 66579943570059/1168398814303*c_1001_1^2 - 77457717722716/5841994071515*c_1001_1 - 82064247058398/5841994071515, c_0011_0 - 1, c_0011_10 - 26745857/144015631*c_1001_1^14 - 34135692/144015631*c_1001_1^13 + 56910423/144015631*c_1001_1^12 + 23076497/144015631*c_1001_1^11 - 348545006/144015631*c_1001_1^10 - 157031083/144015631*c_1001_1^9 + 467935046/144015631*c_1001_1^8 + 646627946/144015631*c_1001_1^7 + 168750068/144015631*c_1001_1^6 - 321371676/144015631*c_1001_1^5 - 365238295/144015631*c_1001_1^4 - 251508594/144015631*c_1001_1^3 - 125489482/144015631*c_1001_1^2 + 137996721/144015631*c_1001_1 - 92322030/144015631, c_0011_3 + 21632570/144015631*c_1001_1^14 + 38409911/144015631*c_1001_1^13 - 34707891/144015631*c_1001_1^12 - 60981516/144015631*c_1001_1^11 + 254007842/144015631*c_1001_1^10 + 290762159/144015631*c_1001_1^9 - 351085348/144015631*c_1001_1^8 - 942194475/144015631*c_1001_1^7 - 481257343/144015631*c_1001_1^6 + 390127725/144015631*c_1001_1^5 + 665394433/144015631*c_1001_1^4 + 479474675/144015631*c_1001_1^3 + 232491522/144015631*c_1001_1^2 - 216553618/144015631*c_1001_1 + 26357374/144015631, c_0011_5 - 35895677/144015631*c_1001_1^14 - 66376028/144015631*c_1001_1^13 + 56371740/144015631*c_1001_1^12 + 77932014/144015631*c_1001_1^11 - 461205657/144015631*c_1001_1^10 - 423456199/144015631*c_1001_1^9 + 612556017/144015631*c_1001_1^8 + 1130438158/144015631*c_1001_1^7 + 762481491/144015631*c_1001_1^6 + 175126321/144015631*c_1001_1^5 - 779000509/144015631*c_1001_1^4 - 922770877/144015631*c_1001_1^3 - 556808359/144015631*c_1001_1^2 - 164459467/144015631*c_1001_1 - 84343505/144015631, c_0011_6 - 47989944/144015631*c_1001_1^14 - 69492089/144015631*c_1001_1^13 + 99475176/144015631*c_1001_1^12 + 78988373/144015631*c_1001_1^11 - 631277846/144015631*c_1001_1^10 - 405757553/144015631*c_1001_1^9 + 931778621/144015631*c_1001_1^8 + 1460902469/144015631*c_1001_1^7 + 329784088/144015631*c_1001_1^6 - 660526076/144015631*c_1001_1^5 - 776056814/144015631*c_1001_1^4 - 446657218/144015631*c_1001_1^3 - 253806953/144015631*c_1001_1^2 + 94170517/144015631*c_1001_1 - 204324857/144015631, c_0011_8 - 103571466/144015631*c_1001_1^14 - 138974029/144015631*c_1001_1^13 + 234288833/144015631*c_1001_1^12 + 108817564/144015631*c_1001_1^11 - 1401357179/144015631*c_1001_1^10 - 595385903/144015631*c_1001_1^9 + 2037741981/144015631*c_1001_1^8 + 2364124322/144015631*c_1001_1^7 + 768800731/144015631*c_1001_1^6 - 862386936/144015631*c_1001_1^5 - 1877426805/144015631*c_1001_1^4 - 795359170/144015631*c_1001_1^3 - 414201353/144015631*c_1001_1^2 + 18284640/144015631*c_1001_1 - 132656404/144015631, c_0101_0 - 64168827/144015631*c_1001_1^14 - 49733208/144015631*c_1001_1^13 + 211137220/144015631*c_1001_1^12 + 6745428/144015631*c_1001_1^11 - 941981316/144015631*c_1001_1^10 + 118826657/144015631*c_1001_1^9 + 1702377896/144015631*c_1001_1^8 + 830855911/144015631*c_1001_1^7 - 639269448/144015631*c_1001_1^6 - 1101084700/144015631*c_1001_1^5 - 955182808/144015631*c_1001_1^4 + 252593438/144015631*c_1001_1^3 + 162716452/144015631*c_1001_1^2 + 250046424/144015631*c_1001_1 - 39218442/144015631, c_0101_1 + 7131777/144015631*c_1001_1^14 + 21320666/144015631*c_1001_1^13 + 13423702/144015631*c_1001_1^12 - 27803796/144015631*c_1001_1^11 + 48690748/144015631*c_1001_1^10 + 230158618/144015631*c_1001_1^9 + 113219652/144015631*c_1001_1^8 - 476288590/144015631*c_1001_1^7 - 509107096/144015631*c_1001_1^6 - 7180866/144015631*c_1001_1^5 + 314709464/144015631*c_1001_1^4 + 275320182/144015631*c_1001_1^3 + 126126492/144015631*c_1001_1^2 - 171042110/144015631*c_1001_1 + 21244087/144015631, c_0101_11 + 73584229/144015631*c_1001_1^14 + 151193430/144015631*c_1001_1^13 - 92184708/144015631*c_1001_1^12 - 188957120/144015631*c_1001_1^11 + 933697900/144015631*c_1001_1^10 + 1116159425/144015631*c_1001_1^9 - 1107853239/144015631*c_1001_1^8 - 2652732068/144015631*c_1001_1^7 - 1802997759/144015631*c_1001_1^6 - 6551597/144015631*c_1001_1^5 + 1629081385/144015631*c_1001_1^4 + 1678866005/144015631*c_1001_1^3 + 969562317/144015631*c_1001_1^2 + 340868663/144015631*c_1001_1 + 139467143/144015631, c_0101_4 - 73096433/144015631*c_1001_1^14 - 148136691/144015631*c_1001_1^13 + 48266735/144015631*c_1001_1^12 + 137530576/144015631*c_1001_1^11 - 802361601/144015631*c_1001_1^10 - 1059126638/144015631*c_1001_1^9 + 478660488/144015631*c_1001_1^8 + 2536272540/144015631*c_1001_1^7 + 2783613305/144015631*c_1001_1^6 + 847405389/144015631*c_1001_1^5 - 1636793977/144015631*c_1001_1^4 - 2158628064/144015631*c_1001_1^3 - 1607421037/144015631*c_1001_1^2 - 463677178/144015631*c_1001_1 - 206545814/144015631, c_0110_4 - 9045189/144015631*c_1001_1^14 + 22825516/144015631*c_1001_1^13 + 71196180/144015631*c_1001_1^12 - 67688880/144015631*c_1001_1^11 - 169472554/144015631*c_1001_1^10 + 418065346/144015631*c_1001_1^9 + 403314652/144015631*c_1001_1^8 - 492926921/144015631*c_1001_1^7 - 770684678/144015631*c_1001_1^6 - 501557536/144015631*c_1001_1^5 - 76408410/144015631*c_1001_1^4 + 725479874/144015631*c_1001_1^3 + 453970446/144015631*c_1001_1^2 + 278281570/144015631*c_1001_1 + 4866914/144015631, c_1001_1^15 + 2*c_1001_1^14 - c_1001_1^13 - 2*c_1001_1^12 + 12*c_1001_1^11 + 14*c_1001_1^10 - 11*c_1001_1^9 - 33*c_1001_1^8 - 30*c_1001_1^7 - 8*c_1001_1^6 + 19*c_1001_1^5 + 24*c_1001_1^4 + 19*c_1001_1^3 + 8*c_1001_1^2 + 4*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.380 Total time: 1.580 seconds, Total memory usage: 32.09MB