Magma V2.19-8 Wed Aug 21 2013 01:05:43 on localhost [Seed = 3330334335] Type ? for help. Type -D to quit. Loading file "L14n27303__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n27303 geometric_solution 11.55292360 oriented_manifold CS_known 0.0000000000000003 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 0 0 0 0 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 -3 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.505164840925 0.425872931307 0 2 6 5 0132 0321 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517349065135 0.355050664164 7 0 8 1 0132 0132 0132 0321 0 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 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 0.359196853717 2.325391329964 4 6 7 0 0213 3012 0132 0132 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 3 0 -3 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.643143384217 0.859079715097 3 8 0 9 0213 3012 0132 0132 0 1 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 0 0 0 0 -1 3 -2 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 1.288468402941 1.721985265502 9 6 1 9 0321 3201 0132 2103 0 1 0 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 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.064251262080 1.855892228697 3 10 5 1 1230 0132 2310 0132 0 1 1 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509815807528 0.690382831885 2 11 11 3 0132 0132 1302 0132 0 1 1 1 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 -1 1 -1 1 0 0 -1 -11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639933498556 0.662010324247 4 11 10 2 1230 0321 0321 0132 0 1 1 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 -1 0 1 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.385240702846 0.467827372539 5 12 4 5 0321 0132 0132 2103 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 2 -2 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 0 0.783389573688 0.429608494841 12 6 8 12 3012 0132 0321 0132 0 0 0 1 0 0 0 0 0 0 -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 3 -3 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860870913027 0.660006504990 7 7 12 8 2031 0132 1302 0321 0 0 1 1 0 0 0 0 0 0 -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 2 -2 -12 11 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245158979188 0.780881998006 11 9 10 10 2031 0132 0132 1230 0 0 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 3 -3 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.678544758028 0.497001426349 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : negation(d['c_0011_8']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_1001_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_1100_9' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_1001_12']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_0011_8']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_0011_8']), 'c_1100_8' : d['c_1001_1'], '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' : d['1'], 's_3_4' : negation(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_0101_12'], '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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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_8']), 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_0']), '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_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_0']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0011_3']})} 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_12, c_0011_3, c_0011_4, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_6, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 153877578837060270106174076257/134488639458317688089153378560*c_100\ 1_12^12 + 304922458796364514522273224179/67244319729158844044576689\ 280*c_1001_12^11 - 4473720588962541544304199589283/6724431972915884\ 4044576689280*c_1001_12^10 + 2373976333610589665550474707411/268977\ 27891663537617830675712*c_1001_12^9 + 17941640040341214353384258074221/67244319729158844044576689280*c_10\ 01_12^8 + 7443633756985157288889543078789/1344886394583176880891533\ 78560*c_1001_12^7 + 10741337090331851434434610820279/13448863945831\ 768808915337856*c_1001_12^6 - 193675584632009576006725729710621/134\ 488639458317688089153378560*c_1001_12^5 + 18011406414299833643687027212753/67244319729158844044576689280*c_10\ 01_12^4 - 34357859645016087217607716362523/840553996614485550557208\ 6160*c_1001_12^3 + 50071249748055443708824300697353/168110799322897\ 11011144172320*c_1001_12^2 - 53070466287083596552191442573891/16811\ 079932289711011144172320*c_1001_12 + 42200734060608139608801738782181/8405539966144855505572086160, c_0011_0 - 1, c_0011_10 + 264327497071321452651/497516422973948239453808*c_1001_12^12 + 218404934883931580109/62189552871743529931726*c_1001_12^11 - 6308477995184738096013/248758211486974119726904*c_1001_12^10 - 21075558678404518298239/497516422973948239453808*c_1001_12^9 + 14338618490435432917921/62189552871743529931726*c_1001_12^8 + 220120452700787579807655/497516422973948239453808*c_1001_12^7 + 15704469694281273906065/62189552871743529931726*c_1001_12^6 - 77877853144327174893015/497516422973948239453808*c_1001_12^5 - 66623257440763277542227/62189552871743529931726*c_1001_12^4 - 34718708495320564339788/31094776435871764965863*c_1001_12^3 - 50858547358290484117611/31094776435871764965863*c_1001_12^2 + 86366337154714226337835/62189552871743529931726*c_1001_12 - 25753733566064344620533/31094776435871764965863, c_0011_12 + 1, c_0011_3 - 3319442590886370334777/2487582114869741197269040*c_1001_12^1\ 2 - 7387927074296820902819/1243791057434870598634520*c_1001_12^11 + 95455497076570575202233/1243791057434870598634520*c_1001_12^10 - 28603279841544217110371/497516422973948239453808*c_1001_12^9 - 576494517817429854915321/1243791057434870598634520*c_1001_12^8 - 347728965358705796719169/2487582114869741197269040*c_1001_12^7 - 70487888631716436489719/248758211486974119726904*c_1001_12^6 + 3259630400297358213545481/2487582114869741197269040*c_1001_12^5 + 476907391600745804488987/1243791057434870598634520*c_1001_12^4 + 1565279340984442845901477/621895528717435299317260*c_1001_12^3 - 724958056272097005510763/310947764358717649658630*c_1001_12^2 - 33664279431783370145047/155473882179358824829315*c_1001_12 - 211751022546486434690761/155473882179358824829315, c_0011_4 - 143315420164555846463/124379105743487059863452*c_1001_12^12 - 1115341082048990887291/248758211486974119726904*c_1001_12^11 + 4306769790538001445165/62189552871743529931726*c_1001_12^10 - 5424269451767134200551/62189552871743529931726*c_1001_12^9 - 95345296036902754498041/248758211486974119726904*c_1001_12^8 + 20082052991870499806909/124379105743487059863452*c_1001_12^7 - 41261973006150573601827/248758211486974119726904*c_1001_12^6 + 118285887381190521623923/124379105743487059863452*c_1001_12^5 - 117773067178641353531413/248758211486974119726904*c_1001_12^4 + 51013007003588376786531/31094776435871764965863*c_1001_12^3 - 161413266800395839736891/62189552871743529931726*c_1001_12^2 + 19701529998853068102881/31094776435871764965863*c_1001_12 + 26486447010952859665375/31094776435871764965863, c_0011_5 + 40097340458105929827/124379105743487059863452*c_1001_12^12 + 174131507053702279823/124379105743487059863452*c_1001_12^11 - 2466474902710568737225/124379105743487059863452*c_1001_12^10 + 1312182094155023425599/124379105743487059863452*c_1001_12^9 + 21547926487516724169367/124379105743487059863452*c_1001_12^8 - 922788967359303291337/62189552871743529931726*c_1001_12^7 - 35461513393264471368373/124379105743487059863452*c_1001_12^6 - 34731559891926342626129/62189552871743529931726*c_1001_12^5 - 92276070214671084790647/124379105743487059863452*c_1001_12^4 + 33416551499290654584923/124379105743487059863452*c_1001_12^3 + 33400297446294390519077/31094776435871764965863*c_1001_12^2 + 65086477332207797997656/31094776435871764965863*c_1001_12 - 30139645459084383803759/31094776435871764965863, c_0011_8 + 179109349529412515937/497516422973948239453808*c_1001_12^12 + 523309341451108229549/248758211486974119726904*c_1001_12^11 - 4402652511480881838573/248758211486974119726904*c_1001_12^10 - 4589160106914902472761/497516422973948239453808*c_1001_12^9 + 26189888651620107626387/248758211486974119726904*c_1001_12^8 + 104503219561798117213313/497516422973948239453808*c_1001_12^7 + 99599965850561528592233/248758211486974119726904*c_1001_12^6 + 46272324553355865452431/497516422973948239453808*c_1001_12^5 - 59107949273858128670489/248758211486974119726904*c_1001_12^4 - 195080722254091308198953/124379105743487059863452*c_1001_12^3 - 26524320109317260038031/31094776435871764965863*c_1001_12^2 - 74481231910571302462875/62189552871743529931726*c_1001_12 + 3159947264802719303238/31094776435871764965863, c_0101_0 + 1346228548998240973/42162408726605783004560*c_1001_12^12 + 4961518465637544257/2635150545412861437785*c_1001_12^11 + 120512764693774398793/21081204363302891502280*c_1001_12^10 - 848863448683703152213/8432481745321156600912*c_1001_12^9 + 241680837873642676438/2635150545412861437785*c_1001_12^8 + 27623485756298070048241/42162408726605783004560*c_1001_12^7 + 127393623810341618953/1054060218165144575114*c_1001_12^6 - 706222542774105323249/42162408726605783004560*c_1001_12^5 - 5880279758279301081431/2635150545412861437785*c_1001_12^4 - 5524614024994733112799/5270301090825722875570*c_1001_12^3 - 13538780906989382332053/5270301090825722875570*c_1001_12^2 + 9335510522106287993998/2635150545412861437785*c_1001_12 + 6877277006405682909444/2635150545412861437785, c_0101_10 - 38513952982073813814/31094776435871764965863*c_1001_12^12 - 733103142763278755181/124379105743487059863452*c_1001_12^11 + 8639246644617280919997/124379105743487059863452*c_1001_12^10 - 1958306724819707484145/62189552871743529931726*c_1001_12^9 - 54758825175910469712089/124379105743487059863452*c_1001_12^8 - 35331686314483191436217/124379105743487059863452*c_1001_12^7 - 39984336279086246042865/124379105743487059863452*c_1001_12^6 + 152102029555994617751669/124379105743487059863452*c_1001_12^5 + 101003896613153527314569/124379105743487059863452*c_1001_12^4 + 331328277553267578269215/124379105743487059863452*c_1001_12^3 - 44229601910953523699202/31094776435871764965863*c_1001_12^2 - 15282188107197756349264/31094776435871764965863*c_1001_12 - 27583873812071713936123/31094776435871764965863, c_0101_12 - 83739517078326403431/248758211486974119726904*c_1001_12^12 - 603144465023126992763/248758211486974119726904*c_1001_12^11 + 824812045520194927085/62189552871743529931726*c_1001_12^10 + 7172471497956995996455/248758211486974119726904*c_1001_12^9 - 12245108857539395668531/248758211486974119726904*c_1001_12^8 - 95075307210491145165243/248758211486974119726904*c_1001_12^7 - 213358043495849897468939/248758211486974119726904*c_1001_12^6 - 103479713696629365138403/248758211486974119726904*c_1001_12^5 + 12744677456114934732137/248758211486974119726904*c_1001_12^4 + 62494659124503606849690/31094776435871764965863*c_1001_12^3 + 149993136562676791868049/62189552871743529931726*c_1001_12^2 + 94099059518028172320156/31094776435871764965863*c_1001_12 + 3867770478216715441875/31094776435871764965863, c_0101_6 + 1, c_1001_1 + 394152331128810869915/497516422973948239453808*c_1001_12^12 + 296015870298941328871/124379105743487059863452*c_1001_12^11 - 12824426650671123942087/248758211486974119726904*c_1001_12^10 + 47983315721051976077169/497516422973948239453808*c_1001_12^9 + 34577703692641323435827/124379105743487059863452*c_1001_12^8 - 184831431529280116440949/497516422973948239453808*c_1001_12^7 - 29168996422205477495203/124379105743487059863452*c_1001_12^6 - 519415874078117951948123/497516422973948239453808*c_1001_12^5 + 88440508226249741100951/124379105743487059863452*c_1001_12^4 - 8971305760262198947171/124379105743487059863452*c_1001_12^3 + 214461907019030359812953/62189552871743529931726*c_1001_12^2 + 35078171912865166257113/62189552871743529931726*c_1001_12 - 29646394275755578968613/31094776435871764965863, c_1001_12^13 + 4*c_1001_12^12 - 58*c_1001_12^11 + 75*c_1001_12^10 + 236*c_1001_12^9 + 57*c_1001_12^8 + 700*c_1001_12^7 - 1233*c_1001_12^6 + 188*c_1001_12^5 - 3564*c_1001_12^4 + 2472*c_1001_12^3 - 2664*c_1001_12^2 + 4288*c_1001_12 + 160 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.590 seconds, Total memory usage: 32.09MB