Magma V2.19-8 Tue Aug 20 2013 23:46:44 on localhost [Seed = 1048073243] Type ? for help. Type -D to quit. Loading file "K14n25489__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n25489 geometric_solution 11.11497322 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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 -1 0 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 0 0 0.819302953784 1.488272961556 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695181854436 0.821683717727 8 0 7 9 0132 0132 3012 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 1 0 -1 1 0 -1 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.262439933529 0.718300741733 10 4 8 0 0132 2031 0321 0132 0 0 0 0 0 0 0 0 1 0 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 1 0 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.716132265970 0.515648907726 3 11 0 7 1302 0132 0132 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 -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.520745491499 0.593959684068 9 1 10 11 1302 0132 2310 1230 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 0 0 0 0 0 -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.708183263908 0.556150179574 10 10 1 9 2103 2310 0132 1230 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 0 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.562480397899 0.321821186731 11 2 4 1 3120 1230 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700877699618 1.064740381021 2 9 3 11 0132 1302 0321 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 -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.551254841668 1.228220018745 6 5 2 8 3012 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.565969386397 1.638643363399 3 5 6 6 0132 3201 2103 3201 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 0 1 -1 0 1 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 1.080395273479 0.662158647646 5 4 8 7 3012 0132 0132 3120 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 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.700877699618 1.064740381021 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0110_9'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_1001_5']), '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_0101_0'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_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'], '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' : d['c_0011_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_6']})} 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_6, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_0110_9, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2192924545829415/2219667165479*c_1001_5^11 - 43295211743904206/122081694101345*c_1001_5^10 - 1596381320983028/413836251191*c_1001_5^9 - 1650399911724398926/122081694101345*c_1001_5^8 - 4181308714010495047/122081694101345*c_1001_5^7 - 1572569430749445439/24416338820269*c_1001_5^6 - 1709305820825648852/24416338820269*c_1001_5^5 - 5454710982318112147/122081694101345*c_1001_5^4 - 2578243806313060361/122081694101345*c_1001_5^3 - 115571813180035901/11098335827395*c_1001_5^2 - 108505878643213232/24416338820269*c_1001_5 - 117858416974377573/122081694101345, c_0011_0 - 1, c_0011_10 + 59489266441/37621477381*c_1001_5^11 + 59543575907/37621477381*c_1001_5^10 + 243500734246/37621477381*c_1001_5^9 + 954814547478/37621477381*c_1001_5^8 + 2578780112648/37621477381*c_1001_5^7 + 5136271897812/37621477381*c_1001_5^6 + 6546040801400/37621477381*c_1001_5^5 + 5035737372486/37621477381*c_1001_5^4 + 2516871837649/37621477381*c_1001_5^3 + 1089033995247/37621477381*c_1001_5^2 + 540247810894/37621477381*c_1001_5 + 164488910334/37621477381, c_0011_11 + 110662601918/37621477381*c_1001_5^11 + 78506529244/37621477381*c_1001_5^10 + 436754390805/37621477381*c_1001_5^9 + 1652720083298/37621477381*c_1001_5^8 + 4343773075941/37621477381*c_1001_5^7 + 8382690661593/37621477381*c_1001_5^6 + 9990844628171/37621477381*c_1001_5^5 + 6958055990480/37621477381*c_1001_5^4 + 3232665332131/37621477381*c_1001_5^3 + 1492095657404/37621477381*c_1001_5^2 + 703635299966/37621477381*c_1001_5 + 144131050687/37621477381, c_0011_6 + 69853948549/37621477381*c_1001_5^11 - 4362176436/37621477381*c_1001_5^10 + 267904902377/37621477381*c_1001_5^9 + 830136786375/37621477381*c_1001_5^8 + 2058057654378/37621477381*c_1001_5^7 + 3540526330414/37621477381*c_1001_5^6 + 3157035211852/37621477381*c_1001_5^5 + 1167820908304/37621477381*c_1001_5^4 + 217338073257/37621477381*c_1001_5^3 + 155275804845/37621477381*c_1001_5^2 - 4261462521/37621477381*c_1001_5 - 61325290976/37621477381, c_0011_7 - 118325773005/37621477381*c_1001_5^11 - 125610751034/37621477381*c_1001_5^10 - 448476632686/37621477381*c_1001_5^9 - 1948261380891/37621477381*c_1001_5^8 - 5062836262295/37621477381*c_1001_5^7 - 10097519590420/37621477381*c_1001_5^6 - 12494721408890/37621477381*c_1001_5^5 - 9020966440578/37621477381*c_1001_5^4 - 4170560592872/37621477381*c_1001_5^3 - 2029453606875/37621477381*c_1001_5^2 - 1013197193367/37621477381*c_1001_5 - 252574962690/37621477381, c_0101_0 - 41810217955/37621477381*c_1001_5^11 - 43798787425/37621477381*c_1001_5^10 - 179659838380/37621477381*c_1001_5^9 - 669243788028/37621477381*c_1001_5^8 - 1879057551013/37621477381*c_1001_5^7 - 3731868886676/37621477381*c_1001_5^6 - 4888839356156/37621477381*c_1001_5^5 - 3911299463118/37621477381*c_1001_5^4 - 1981067745028/37621477381*c_1001_5^3 - 919869902874/37621477381*c_1001_5^2 - 519240117486/37621477381*c_1001_5 - 157878942230/37621477381, c_0101_11 - 40997421619/37621477381*c_1001_5^11 + 84529170984/37621477381*c_1001_5^10 - 205870218125/37621477381*c_1001_5^9 - 2223535737/637652159*c_1001_5^8 - 426770495260/37621477381*c_1001_5\ ^7 - 17107252386/37621477381*c_1001_5^6 + 1390988325960/37621477381*c_1001_5^5 + 1721892662358/37621477381*c_1001_5^4 + 706662449933/37621477381*c_1001_5^3 + 325475905993/37621477381*c_1001_5^2 + 238374724459/37621477381*c_1001_5 + 85826663680/37621477381, c_0101_3 + 159530533459/37621477381*c_1001_5^11 + 139668153456/37621477381*c_1001_5^10 + 634971612700/37621477381*c_1001_5^9 + 2484796295370/37621477381*c_1001_5^8 + 6607847757425/37621477381*c_1001_5^7 + 12949337100197/37621477381*c_1001_5^6 + 15983786826069/37621477381*c_1001_5^5 + 11656935912975/37621477381*c_1001_5^4 + 5569085321957/37621477381*c_1001_5^3 + 2594523771634/37621477381*c_1001_5^2 + 1255637486191/37621477381*c_1001_5 + 341283061527/37621477381, c_0101_7 - 346738680717/37621477381*c_1001_5^11 - 148360807046/37621477381*c_1001_5^10 - 1390971172637/37621477381*c_1001_5^9 - 4784073625481/37621477381*c_1001_5^8 - 12519366764646/37621477381*c_1001_5^7 - 23514917802824/37621477381*c_1001_5^6 - 26618067596818/37621477381*c_1001_5^5 - 17758047203713/37621477381*c_1001_5^4 - 8402265908877/37621477381*c_1001_5^3 - 4102916589011/37621477381*c_1001_5^2 - 1866751084651/37621477381*c_1001_5 - 404576538805/37621477381, c_0110_9 + 76752884175/37621477381*c_1001_5^11 + 28772697752/37621477381*c_1001_5^10 + 299869931021/37621477381*c_1001_5^9 + 1051903552809/37621477381*c_1001_5^8 + 2685986931150/37621477381*c_1001_5^7 + 5017600298425/37621477381*c_1001_5^6 + 5523489885717/37621477381*c_1001_5^5 + 3500917435013/37621477381*c_1001_5^4 + 1705702433807/37621477381*c_1001_5^3 + 906843230725/37621477381*c_1001_5^2 + 388293315777/37621477381*c_1001_5 + 93697189108/37621477381, c_1001_11 + 100486688060/37621477381*c_1001_5^11 - 24985595077/37621477381*c_1001_5^10 + 449370952371/37621477381*c_1001_5^9 + 1086003155961/37621477381*c_1001_5^8 + 3005550607908/37621477381*c_1001_5^7 + 5153379150198/37621477381*c_1001_5^6 + 5155052475440/37621477381*c_1001_5^5 + 3313844710128/37621477381*c_1001_5^4 + 1810209387716/37621477381*c_1001_5^3 + 763558089254/37621477381*c_1001_5^2 + 301873086435/37621477381*c_1001_5 + 78662246654/37621477381, c_1001_5^12 + 13/11*c_1001_5^11 + 48/11*c_1001_5^10 + 185/11*c_1001_5^9 + 513/11*c_1001_5^8 + 1049/11*c_1001_5^7 + 1417/11*c_1001_5^6 + 1217/11*c_1001_5^5 + 708/11*c_1001_5^4 + 340/11*c_1001_5^3 + 160/11*c_1001_5^2 + 59/11*c_1001_5 + 1 ], 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_6, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_0110_9, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 388832798/49079975*c_1001_5^11 + 2066482886/49079975*c_1001_5^10 + 1894175552/49079975*c_1001_5^9 - 7821492906/49079975*c_1001_5^8 - 13678596517/49079975*c_1001_5^7 + 10597199498/49079975*c_1001_5^6 + 26759041761/49079975*c_1001_5^5 - 8554232289/49079975*c_1001_5^4 - 704634216/1583225*c_1001_5^3 + 231256286/1583225*c_1001_5^2 + 6475134044/49079975*c_1001_5 - 1749235038/49079975, c_0011_0 - 1, c_0011_10 - 333/545*c_1001_5^11 - 1001/545*c_1001_5^10 + 1398/545*c_1001_5^9 + 6351/545*c_1001_5^8 - 2733/545*c_1001_5^7 - 15333/545*c_1001_5^6 + 5594/545*c_1001_5^5 + 17219/545*c_1001_5^4 - 12479/545*c_1001_5^3 - 1471/545*c_1001_5^2 + 4541/545*c_1001_5 - 1762/545, c_0011_11 + 1217/545*c_1001_5^11 + 3984/545*c_1001_5^10 - 3867/545*c_1001_5^9 - 23304/545*c_1001_5^8 + 4602/545*c_1001_5^7 + 53847/545*c_1001_5^6 - 11441/545*c_1001_5^5 - 61576/545*c_1001_5^4 + 37546/545*c_1001_5^3 + 12479/545*c_1001_5^2 - 16239/545*c_1001_5 + 3978/545, c_0011_6 - 1001/545*c_1001_5^11 - 3482/545*c_1001_5^10 + 2371/545*c_1001_5^9 + 19317/545*c_1001_5^8 + 264/545*c_1001_5^7 - 42826/545*c_1001_5^6 + 698/545*c_1001_5^5 + 48168/545*c_1001_5^4 - 20378/545*c_1001_5^3 - 11407/545*c_1001_5^2 + 8742/545*c_1001_5 - 1804/545, c_0011_7 + 81/545*c_1001_5^11 + 52/545*c_1001_5^10 - 1106/545*c_1001_5^9 - 1427/545*c_1001_5^8 + 4686/545*c_1001_5^7 + 5836/545*c_1001_5^6 - 9683/545*c_1001_5^5 - 8843/545*c_1001_5^4 + 11888/545*c_1001_5^3 + 1492/545*c_1001_5^2 - 4242/545*c_1001_5 + 1224/545, c_0101_0 + 267/545*c_1001_5^11 + 999/545*c_1001_5^10 - 517/545*c_1001_5^9 - 5814/545*c_1001_5^8 - 1388/545*c_1001_5^7 + 13767/545*c_1001_5^6 + 4274/545*c_1001_5^5 - 16816/545*c_1001_5^4 - 639/545*c_1001_5^3 + 7744/545*c_1001_5^2 - 1569/545*c_1001_5 - 507/545, c_0101_11 + 42/109*c_1001_5^11 + 140/109*c_1001_5^10 - 85/109*c_1001_5^9 - 639/109*c_1001_5^8 + 165/109*c_1001_5^7 + 1165/109*c_1001_5^6 - 899/109*c_1001_5^5 - 1069/109*c_1001_5^4 + 2115/109*c_1001_5^3 - 385/109*c_1001_5^2 - 722/109*c_1001_5 + 344/109, c_0101_3 - 1, c_0101_7 - 81/545*c_1001_5^11 - 52/545*c_1001_5^10 + 1106/545*c_1001_5^9 + 1427/545*c_1001_5^8 - 4686/545*c_1001_5^7 - 5836/545*c_1001_5^6 + 9683/545*c_1001_5^5 + 8843/545*c_1001_5^4 - 11888/545*c_1001_5^3 - 1492/545*c_1001_5^2 + 4242/545*c_1001_5 - 1224/545, c_0110_9 + 1217/545*c_1001_5^11 + 3984/545*c_1001_5^10 - 3867/545*c_1001_5^9 - 23304/545*c_1001_5^8 + 4602/545*c_1001_5^7 + 53847/545*c_1001_5^6 - 11441/545*c_1001_5^5 - 61576/545*c_1001_5^4 + 37546/545*c_1001_5^3 + 12479/545*c_1001_5^2 - 16239/545*c_1001_5 + 3978/545, c_1001_11 + 1334/545*c_1001_5^11 + 4483/545*c_1001_5^10 - 3769/545*c_1001_5^9 - 25668/545*c_1001_5^8 + 2469/545*c_1001_5^7 + 58159/545*c_1001_5^6 - 6292/545*c_1001_5^5 - 65387/545*c_1001_5^4 + 32857/545*c_1001_5^3 + 13423/545*c_1001_5^2 - 13283/545*c_1001_5 + 3021/545, c_1001_5^12 + 3*c_1001_5^11 - 4*c_1001_5^10 - 18*c_1001_5^9 + 9*c_1001_5^8 + 42*c_1001_5^7 - 22*c_1001_5^6 - 46*c_1001_5^5 + 45*c_1001_5^4 - 15*c_1001_5^2 + 7*c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.980 Total time: 9.179 seconds, Total memory usage: 81.81MB