Magma V2.19-8 Wed Aug 21 2013 01:03:55 on localhost [Seed = 3937202885] Type ? for help. Type -D to quit. Loading file "L14n23925__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23925 geometric_solution 11.97422850 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 0 1 -1 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 1 -1 0 1 0 5 -6 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.230555630803 0.913674051453 0 5 7 6 0132 0132 0132 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 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.033710595225 1.476209133669 8 0 10 9 0132 0132 0132 0132 0 1 1 1 0 0 0 0 -1 0 0 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 -1 1 0 5 0 0 -5 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626310934921 1.243751238642 7 11 9 0 0132 0132 0132 0132 0 1 1 1 0 1 0 -1 0 0 -1 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 -1 0 1 0 0 5 -5 6 0 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637300136208 0.615428701121 9 5 0 10 0132 1230 0132 0132 0 1 1 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 0 0 0 0 0 0 0 1 0 -1 0 0 6 -6 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.598023547225 1.470466477047 12 1 4 11 0132 0132 3012 1023 1 0 1 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 0 0 0 0 0 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 0 0 0 0 0 0.630814935272 0.607887999771 11 9 1 12 2103 2103 0132 3012 1 1 0 1 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 1 0 -1 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.347868680655 0.613999862292 3 10 8 1 0132 2031 2031 0132 1 1 1 1 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 -1 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359225321001 0.676535179076 2 12 11 7 0132 0132 1302 1302 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 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572629016169 0.573757768585 4 6 2 3 0132 2103 0132 0132 0 1 1 1 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 5 -5 -1 0 0 1 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123925979300 1.094758971813 7 12 4 2 1302 1302 0132 0132 0 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 6 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.443987727129 0.211583257060 8 3 6 5 2031 0132 2103 1023 0 1 1 1 0 -1 0 1 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 1 0 -1 0 0 -1 1 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661962244734 0.725237151876 5 8 6 10 0132 0132 1230 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551920482708 0.472825029848 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0110_6']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : negation(d['c_0110_6']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0110_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_1001_12']), 'c_1100_1' : negation(d['c_1001_12']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0110_6']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0110_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_11'], '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_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_11']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0110_6, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 183240966341006163/64465886987444*c_1100_0^15 - 481465232903333351/64465886987444*c_1100_0^14 - 964780865139145295/48349415240583*c_1100_0^13 - 2663661590877807160/48349415240583*c_1100_0^12 - 4916183387031791881/48349415240583*c_1100_0^11 - 6548967186689351936/48349415240583*c_1100_0^10 - 18912030087809918425/64465886987444*c_1100_0^9 - 33259725440043873487/193397660962332*c_1100_0^8 - 6567169273263801224/16116471746861*c_1100_0^7 - 27234301994869069175/193397660962332*c_1100_0^6 - 40360491081227737231/193397660962332*c_1100_0^5 - 12439200183683054303/193397660962332*c_1100_0^4 - 98387877744748289/64465886987444*c_1100_0^3 - 991424076974740161/32232943493722*c_1100_0^2 + 4675354880800379045/96698830481166*c_1100_0 + 732116163135321317/96698830481166, c_0011_0 - 1, c_0011_10 - 21256221460281/62363738498723*c_1100_0^15 - 57910955506111/62363738498723*c_1100_0^14 - 153465785407271/62363738498723*c_1100_0^13 - 422975633587097/62363738498723*c_1100_0^12 - 792183376891121/62363738498723*c_1100_0^11 - 1064483540534292/62363738498723*c_1100_0^10 - 25302552129371/700716162907*c_1100_0^9 - 1452797157241587/62363738498723*c_1100_0^8 - 3076001882488147/62363738498723*c_1100_0^7 - 1299205296940466/62363738498723*c_1100_0^6 - 1588752794890007/62363738498723*c_1100_0^5 - 567015762478263/62363738498723*c_1100_0^4 - 103631789914827/62363738498723*c_1100_0^3 - 187143115964343/62363738498723*c_1100_0^2 + 307844103477207/62363738498723*c_1100_0 + 105635173368420/62363738498723, c_0011_11 - 4766810594958/62363738498723*c_1100_0^15 - 14082073707740/62363738498723*c_1100_0^14 - 36234344503939/62363738498723*c_1100_0^13 - 98903356345761/62363738498723*c_1100_0^12 - 188042765575575/62363738498723*c_1100_0^11 - 248780507842632/62363738498723*c_1100_0^10 - 5569837321967/700716162907*c_1100_0^9 - 341454171060215/62363738498723*c_1100_0^8 - 582646618472884/62363738498723*c_1100_0^7 - 274217179422897/62363738498723*c_1100_0^6 - 150642998407757/62363738498723*c_1100_0^5 - 83047454240013/62363738498723*c_1100_0^4 + 160202831825751/62363738498723*c_1100_0^3 - 77126315380990/62363738498723*c_1100_0^2 + 116599072136127/62363738498723*c_1100_0 + 2324517247139/62363738498723, c_0011_4 - 17172688598870/62363738498723*c_1100_0^15 - 51731082143859/62363738498723*c_1100_0^14 - 135110157571655/62363738498723*c_1100_0^13 - 372609531880658/62363738498723*c_1100_0^12 - 724588154682497/62363738498723*c_1100_0^11 - 1003871263101732/62363738498723*c_1100_0^10 - 22434235045618/700716162907*c_1100_0^9 - 1604183004553249/62363738498723*c_1100_0^8 - 2581080515853935/62363738498723*c_1100_0^7 - 1657387334063548/62363738498723*c_1100_0^6 - 1174740486587668/62363738498723*c_1100_0^5 - 727145276692633/62363738498723*c_1100_0^4 + 97274475821842/62363738498723*c_1100_0^3 - 56355569837351/62363738498723*c_1100_0^2 + 295189963075525/62363738498723*c_1100_0 + 181949456499696/62363738498723, c_0011_6 - 1, c_0101_0 + 3635004198455/62363738498723*c_1100_0^15 + 10997261169539/62363738498723*c_1100_0^14 + 27468546260921/62363738498723*c_1100_0^13 + 75122339838669/62363738498723*c_1100_0^12 + 143567987093525/62363738498723*c_1100_0^11 + 187551011790696/62363738498723*c_1100_0^10 + 4185801007349/700716162907*c_1100_0^9 + 273381445502954/62363738498723*c_1100_0^8 + 426075101970858/62363738498723*c_1100_0^7 + 269359682379460/62363738498723*c_1100_0^6 + 84789156983648/62363738498723*c_1100_0^5 + 140477822017623/62363738498723*c_1100_0^4 - 133301968318331/62363738498723*c_1100_0^3 + 64340411945722/62363738498723*c_1100_0^2 - 93756140163200/62363738498723*c_1100_0 - 55482889896978/62363738498723, c_0101_1 + 9423723926018/62363738498723*c_1100_0^15 + 28384431405874/62363738498723*c_1100_0^14 + 76524590996186/62363738498723*c_1100_0^13 + 210682340440049/62363738498723*c_1100_0^12 + 414044653444726/62363738498723*c_1100_0^11 + 598121098634729/62363738498723*c_1100_0^10 + 13293032016895/700716162907*c_1100_0^9 + 996795927328658/62363738498723*c_1100_0^8 + 1676782317215260/62363738498723*c_1100_0^7 + 1079484742261405/62363738498723*c_1100_0^6 + 997329236561778/62363738498723*c_1100_0^5 + 597518578200464/62363738498723*c_1100_0^4 + 115587261581114/62363738498723*c_1100_0^3 + 182790422246817/62363738498723*c_1100_0^2 - 173032437578243/62363738498723*c_1100_0 - 64772171261987/62363738498723, c_0101_12 - 238639233375/700716162907*c_1100_0^15 - 662573567204/700716162907*c_1100_0^14 - 1752874264164/700716162907*c_1100_0^13 - 4848025026175/700716162907*c_1100_0^12 - 9188779500712/700716162907*c_1100_0^11 - 12516009313805/700716162907*c_1100_0^10 - 26204561322473/700716162907*c_1100_0^9 - 18361628887304/700716162907*c_1100_0^8 - 36162437807324/700716162907*c_1100_0^7 - 17935341957098/700716162907*c_1100_0^6 - 19799672998675/700716162907*c_1100_0^5 - 8908527037330/700716162907*c_1100_0^4 - 1764230016953/700716162907*c_1100_0^3 - 2945068379873/700716162907*c_1100_0^2 + 3888421233294/700716162907*c_1100_0 + 1295059874544/700716162907, c_0101_2 + 12050855611397/62363738498723*c_1100_0^15 + 31426664355962/62363738498723*c_1100_0^14 + 82907671154400/62363738498723*c_1100_0^13 + 229223383154667/62363738498723*c_1100_0^12 + 420133661896201/62363738498723*c_1100_0^11 + 547431002234418/62363738498723*c_1100_0^10 + 13475363683719/700716162907*c_1100_0^9 + 664645170203073/62363738498723*c_1100_0^8 + 1615983877130664/62363738498723*c_1100_0^7 + 507624131007440/62363738498723*c_1100_0^6 + 746716633836116/62363738498723*c_1100_0^5 + 172601311458172/62363738498723*c_1100_0^4 - 36646870502739/62363738498723*c_1100_0^3 + 58983228119199/62363738498723*c_1100_0^2 - 237752182505170/62363738498723*c_1100_0 - 45629812701391/62363738498723, c_0101_5 + 117919570186/700716162907*c_1100_0^15 + 365489036612/700716162907*c_1100_0^14 + 958476737634/700716162907*c_1100_0^13 + 2611324014292/700716162907*c_1100_0^12 + 5136052060051/700716162907*c_1100_0^11 + 7199351581755/700716162907*c_1100_0^10 + 13958862398415/700716162907*c_1100_0^9 + 11655528160234/700716162907*c_1100_0^8 + 18289780757534/700716162907*c_1100_0^7 + 11507689052671/700716162907*c_1100_0^6 + 9208788100213/700716162907*c_1100_0^5 + 4185602884687/700716162907*c_1100_0^4 + 161004469855/700716162907*c_1100_0^3 + 821510760697/700716162907*c_1100_0^2 - 1816583777789/700716162907*c_1100_0 - 1036268654000/700716162907, c_0110_6 + 242432029302/700716162907*c_1100_0^15 + 687288522497/700716162907*c_1100_0^14 + 1853737654013/700716162907*c_1100_0^13 + 5100838819708/700716162907*c_1100_0^12 + 9771985692991/700716162907*c_1100_0^11 + 13706994180425/700716162907*c_1100_0^10 + 28033955548726/700716162907*c_1100_0^9 + 20572255871663/700716162907*c_1100_0^8 + 39501747026362/700716162907*c_1100_0^7 + 19819567554410/700716162907*c_1100_0^6 + 22083356561303/700716162907*c_1100_0^5 + 9708661046367/700716162907*c_1100_0^4 + 1564904279665/700716162907*c_1100_0^3 + 3104287877731/700716162907*c_1100_0^2 - 3429163033301/700716162907*c_1100_0 - 1348404007465/700716162907, c_1001_12 + 32435565886220/62363738498723*c_1100_0^15 + 93106821499938/62363738498723*c_1100_0^14 + 246546545908967/62363738498723*c_1100_0^13 + 680312319391894/62363738498723*c_1100_0^12 + 1303251301906857/62363738498723*c_1100_0^11 + 1799268202124344/62363738498723*c_1100_0^10 + 41340736797801/700716162907*c_1100_0^9 + 2730727631003737/62363738498723*c_1100_0^8 + 4988353612626812/62363738498723*c_1100_0^7 + 2746003255942598/62363738498723*c_1100_0^6 + 2600382244579772/62363738498723*c_1100_0^5 + 1381752823871812/62363738498723*c_1100_0^4 + 179354735383468/62363738498723*c_1100_0^3 + 408452296238937/62363738498723*c_1100_0^2 - 391242972973378/62363738498723*c_1100_0 - 181246222000685/62363738498723, c_1100_0^16 + 3*c_1100_0^15 + 8*c_1100_0^14 + 22*c_1100_0^13 + 43*c_1100_0^12 + 61*c_1100_0^11 + 121*c_1100_0^10 + 99*c_1100_0^9 + 166*c_1100_0^8 + 103*c_1100_0^7 + 92*c_1100_0^6 + 50*c_1100_0^5 + 9*c_1100_0^4 + 11*c_1100_0^3 - 13*c_1100_0^2 - 9*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.360 seconds, Total memory usage: 32.09MB