Magma V2.19-8 Wed Aug 21 2013 01:05:51 on localhost [Seed = 2395510334] Type ? for help. Type -D to quit. Loading file "L14n28737__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n28737 geometric_solution 11.94921534 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 1 0132 0132 1023 1023 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 -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 1.201472436102 1.045009712351 0 3 4 0 0132 0132 0132 1023 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 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.827259277156 0.654933996451 5 0 0 6 0132 0132 1023 0132 1 1 1 1 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 -1 0 1 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249751324199 0.417710159575 5 1 4 6 2310 0132 1302 2310 1 1 1 1 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 -5 5 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.638133448752 0.421357776943 3 7 8 1 2031 0132 0132 0132 1 1 1 1 0 0 0 0 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 0 0 0 5 0 -4 -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.538701117718 0.658961143547 2 5 3 5 0132 1302 3201 2031 1 1 1 1 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 1 0 -1 1 0 0 -1 0 1 0 -1 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768058343943 1.096799390771 3 7 2 9 3201 3012 0132 0132 1 1 1 1 0 0 0 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 -5 5 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058886963121 1.141624605012 6 4 11 10 1230 0132 0132 0132 1 1 1 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 -5 0 5 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.213289291754 0.696431827786 12 12 9 4 0132 1302 0132 0132 1 1 1 0 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 0 0 0 -4 0 0 4 0 -5 0 5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260802866521 1.105855481517 11 11 6 8 1230 2031 0132 0132 1 1 0 1 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 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555203532246 0.592763882158 10 12 7 10 3012 1230 0132 1230 1 1 1 1 0 1 0 -1 1 0 0 -1 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 4 0 -4 4 0 0 -4 4 0 0 -4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255885705715 0.708939415321 9 9 12 7 1302 3012 3012 0132 1 1 1 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 0 5 -5 0 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555203532246 0.592763882158 8 11 10 8 0132 1230 3012 2031 1 1 0 1 0 -1 0 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 -5 0 5 4 0 -4 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.417783938827 0.625014137524 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0011_6'], '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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1100_0']), 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_12'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : 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_11'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_9']})} 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_12, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_0101_9, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 57528588199994257664210091499055817176751199849/1847144147507947567\ 1371662039438789728560000*c_1100_0^10 + 6646335844534754649164162704355985132394691821/14208801134676519747\ 2089707995682997912000*c_1100_0^9 - 230443231610289943264634267939972004440972182939/369428829501589513\ 427433240788775794571200*c_1100_0^8 + 85879356206092557181125867488863485900432487560411/1847144147507947\ 5671371662039438789728560000*c_1100_0^7 - 73315956103453919748526661775743706435677083667761/2308930184384934\ 458921457754929848716070000*c_1100_0^6 + 507374020083610301555935237836062432967725456572689/461786036876986\ 8917842915509859697432140000*c_1100_0^5 - 5135259219229108881680788147196427825787565250483237/18471441475079\ 475671371662039438789728560000*c_1100_0^4 + 3757831117075707214748179766840451759472048975862013/18471441475079\ 475671371662039438789728560000*c_1100_0^3 - 539125282822132354334805090805258107954694639457233/923572073753973\ 7835685831019719394864280000*c_1100_0^2 + 12016330512551529100407243018984023879343506415177/2308930184384934\ 458921457754929848716070000*c_1100_0 - 15119098773562664080893104574101321580584597258199/1847144147507947\ 5671371662039438789728560000, c_0011_0 - 1, c_0011_10 + 1182865448910263502834540/660136719114072964065864857*c_110\ 0_0^10 - 18036449136659855241481694/660136719114072964065864857*c_1\ 100_0^9 + 240915385207712623210977996/660136719114072964065864857*c\ _1100_0^8 - 1819090323705291574803243027/66013671911407296406586485\ 7*c_1100_0^7 + 12451271722751817466661726460/6601367191140729640658\ 64857*c_1100_0^6 - 44395313469634515397669662138/660136719114072964\ 065864857*c_1100_0^5 + 114486402156208015671619783025/6601367191140\ 72964065864857*c_1100_0^4 - 99201508512003964559677757313/660136719\ 114072964065864857*c_1100_0^3 + 34125192926441539192411749558/66013\ 6719114072964065864857*c_1100_0^2 - 3825787704970312467124434947/660136719114072964065864857*c_1100_0 - 118508565970833161956770795/660136719114072964065864857, c_0011_11 - 2236399420311020671845304/660136719114072964065864857*c_110\ 0_0^10 + 33679670405693024168077922/660136719114072964065864857*c_1\ 100_0^9 - 449155030530799814778236169/660136719114072964065864857*c\ _1100_0^8 + 3354855333662636799701882068/66013671911407296406586485\ 7*c_1100_0^7 - 22911567421353759326229303418/6601367191140729640658\ 64857*c_1100_0^6 + 79641264231330917546833999306/660136719114072964\ 065864857*c_1100_0^5 - 201598585105858837857532569404/6601367191140\ 72964065864857*c_1100_0^4 + 150249906379643134969775874464/66013671\ 9114072964065864857*c_1100_0^3 - 38334921427923608002485487371/6601\ 36719114072964065864857*c_1100_0^2 + 2157667435127441091786981315/660136719114072964065864857*c_1100_0 - 353365776799518697763356762/660136719114072964065864857, c_0011_12 + 1, c_0011_4 + 539101853093479374585/660136719114072964065864857*c_1100_0^1\ 0 - 7099378819726814793120/660136719114072964065864857*c_1100_0^9 + 95010476079121351104279/660136719114072964065864857*c_1100_0^8 - 630602411911532431477825/660136719114072964065864857*c_1100_0^7 + 4353985965744850083379129/660136719114072964065864857*c_1100_0^6 - 11071062829688630835392273/660136719114072964065864857*c_1100_0^5 + 28646225933667226801020222/660136719114072964065864857*c_1100_0^4 + 18315560033660876021088127/660136719114072964065864857*c_1100_0^3 + 59413965782640571008979444/660136719114072964065864857*c_1100_0^2 + 295148154642745521588353567/660136719114072964065864857*c_1100_0 - 407988509436968623103560179/660136719114072964065864857, c_0011_6 - 403675440770879677084018/660136719114072964065864857*c_1100_\ 0^10 + 6231033958332548278866068/660136719114072964065864857*c_1100\ _0^9 - 83399606331159552443288087/660136719114072964065864857*c_110\ 0_0^8 + 636608869702973589425037750/660136719114072964065864857*c_1\ 100_0^7 - 4370739429343789356936823157/660136719114072964065864857*\ c_1100_0^6 + 15982441426517086732967016244/660136719114072964065864\ 857*c_1100_0^5 - 42142820453231559629787674234/66013671911407296406\ 5864857*c_1100_0^4 + 41807882835161067183901274008/6601367191140729\ 64065864857*c_1100_0^3 - 19229754921463192934740055837/660136719114\ 072964065864857*c_1100_0^2 + 2636723722912638284145053302/660136719\ 114072964065864857*c_1100_0 - 3575670482892202614312960/66013671911\ 4072964065864857, c_0101_0 - 8879094314931103964251/660136719114072964065864857*c_1100_0^\ 10 + 142604610891991142802601/660136719114072964065864857*c_1100_0^\ 9 - 1925522852697938750445921/660136719114072964065864857*c_1100_0^\ 8 + 15241504763709473904319939/660136719114072964065864857*c_1100_0\ ^7 - 106145859075525540340337681/660136719114072964065864857*c_1100\ _0^6 + 422013989986313241905498894/660136719114072964065864857*c_11\ 00_0^5 - 1219710655458693166245780010/660136719114072964065864857*c\ _1100_0^4 + 1813262619896907089460377354/66013671911407296406586485\ 7*c_1100_0^3 - 1950322331280225601709717476/66013671911407296406586\ 4857*c_1100_0^2 + 2021403426992685643327722734/66013671911407296406\ 5864857*c_1100_0 - 408032904908543278623381434/66013671911407296406\ 5864857, c_0101_1 + 97361053872806066575439/660136719114072964065864857*c_1100_0\ ^10 - 1531048524290592170390756/660136719114072964065864857*c_1100_\ 0^9 + 20574056603075952951297234/660136719114072964065864857*c_1100\ _0^8 - 159750196556776785485858824/660136719114072964065864857*c_11\ 00_0^7 + 1103761374741301132500458236/660136719114072964065864857*c\ _1100_0^6 - 4200273826241005850587936678/66013671911407296406586485\ 7*c_1100_0^5 + 11556712000913640110750111460/6601367191140729640658\ 64857*c_1100_0^4 - 14087206850297067946864246041/660136719114072964\ 065864857*c_1100_0^3 + 10337790969938544014095780765/66013671911407\ 2964065864857*c_1100_0^2 - 4791785003799163591915354552/66013671911\ 4072964065864857*c_1100_0 + 408611196630322087392774064/66013671911\ 4072964065864857, c_0101_5 + 539101853093479374585/660136719114072964065864857*c_1100_0^1\ 0 - 7099378819726814793120/660136719114072964065864857*c_1100_0^9 + 95010476079121351104279/660136719114072964065864857*c_1100_0^8 - 630602411911532431477825/660136719114072964065864857*c_1100_0^7 + 4353985965744850083379129/660136719114072964065864857*c_1100_0^6 - 11071062829688630835392273/660136719114072964065864857*c_1100_0^5 + 28646225933667226801020222/660136719114072964065864857*c_1100_0^4 + 18315560033660876021088127/660136719114072964065864857*c_1100_0^3 + 59413965782640571008979444/660136719114072964065864857*c_1100_0^2 - 364988564471327442477511290/660136719114072964065864857*c_1100_0 - 407988509436968623103560179/660136719114072964065864857, c_0101_7 + 1294587670358447050043595/660136719114072964065864857*c_1100\ _0^10 - 19782484923139585808379770/660136719114072964065864857*c_11\ 00_0^9 + 264382970129091312768693259/660136719114072964065864857*c_\ 1100_0^8 - 2000522191394059668653129124/660136719114072964065864857\ *c_1100_0^7 + 13705584001573339340960524058/66013671911407296406586\ 4857*c_1100_0^6 - 49131339615280654668756216303/6601367191140729640\ 65864857*c_1100_0^5 + 127553965225653181449436982162/66013671911407\ 2964065864857*c_1100_0^4 - 114932171484249366859182439713/660136719\ 114072964065864857*c_1100_0^3 + 46830417282574285306838442870/66013\ 6719114072964065864857*c_1100_0^2 - 8669495395426401118665774686/660136719114072964065864857*c_1100_0 + 423233151632184942674589479/660136719114072964065864857, c_0101_9 - 510454690811710326998293/660136719114072964065864857*c_1100_\ 0^10 + 7911786472334858406852545/660136719114072964065864857*c_1100\ _0^9 - 105994196263012565496135521/660136719114072964065864857*c_11\ 00_0^8 + 812231173435371381246694338/660136719114072964065864857*c_\ 1100_0^7 - 5585000649126360879860998203/660136719114072964065864857\ *c_1100_0^6 + 20615800305574094456295844089/66013671911407296406586\ 4857*c_1100_0^5 - 54947889335537560133584585926/6601367191140729640\ 65864857*c_1100_0^4 + 57690036745321381344204809276/660136719114072\ 964065864857*c_1100_0^3 - 31577282188464603121554533522/66013671911\ 4072964065864857*c_1100_0^2 + 8494627279947669033733912164/66013671\ 9114072964065864857*c_1100_0 - 412231262584788945526908279/66013671\ 9114072964065864857, c_1001_10 - 1187808420317616400129320/660136719114072964065864857*c_110\ 0_0^10 + 18101732409137275680393293/660136719114072964065864857*c_1\ 100_0^9 - 241788380197238299715845825/660136719114072964065864857*c\ _1100_0^8 + 1824899887661661876831472536/66013671911407296406586485\ 7*c_1100_0^7 - 12491322781790767818036349012/6601367191140729640658\ 64857*c_1100_0^6 + 44497980736223646945427388458/660136719114072964\ 065864857*c_1100_0^5 - 114748896343347180945640070470/6601367191140\ 72964065864857*c_1100_0^4 + 99050017574089052698878904445/660136719\ 114072964065864857*c_1100_0^3 - 34482890015572875120023965185/66013\ 6719114072964065864857*c_1100_0^2 + 2811591838391370369076915824/660136719114072964065864857*c_1100_0 - 14577559530288199761994160/660136719114072964065864857, c_1100_0^11 - 15*c_1100_0^10 + 200*c_1100_0^9 - 1489*c_1100_0^8 + 10167*c_1100_0^7 - 35084*c_1100_0^6 + 88593*c_1100_0^5 - 63622*c_1100_0^4 + 17499*c_1100_0^3 - 1314*c_1100_0^2 + 231*c_1100_0 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.520 Total time: 0.720 seconds, Total memory usage: 32.09MB