Magma V2.19-8 Tue Aug 20 2013 23:42:10 on localhost [Seed = 4273511336] Type ? for help. Type -D to quit. Loading file "L13a4225__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4225 geometric_solution 8.73592031 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 3012 0132 1 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.127161213369 0.796532996532 0 0 5 4 0132 1230 0132 0132 1 1 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 4 -4 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.625102813939 0.570454733627 4 0 6 4 0132 0132 0132 2031 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 0 0 0 0 0 0 -1 1 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.804558232102 1.224239789057 7 8 0 6 0132 0132 0132 3120 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 0.866355800313 0.447714723878 2 2 1 7 0132 1302 0132 0132 1 1 1 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 4 -5 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.625102813939 0.570454733627 7 9 9 1 3120 0132 2103 0132 1 1 1 1 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 5 0 -1 -4 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.615334558944 0.395009280854 3 8 9 2 3120 3012 1023 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 1 -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.612178375777 2.050828042801 3 9 4 5 0132 0321 0132 3120 1 1 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 5 -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 1.008064830418 0.303892838482 6 3 10 10 1230 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651456355455 0.377754199693 5 5 6 7 2103 0132 1023 0321 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 -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.150870192372 0.738792256079 10 8 10 8 2310 2310 3201 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 0 0 0 0 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.112808496138 0.299298205340 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_1001_7']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_0101_10'], '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_5']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_10' : negation(d['c_0101_10']), 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], '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' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1155488103137947542452/42264793792138797*c_0101_6^13 - 3149419506708026621026/14088264597379599*c_0101_6^12 + 32318492949885066649195/42264793792138797*c_0101_6^11 - 56120867094109223202895/42264793792138797*c_0101_6^10 + 40899425845003647855811/42264793792138797*c_0101_6^9 + 19855808780068677239471/42264793792138797*c_0101_6^8 - 58216976113651043766073/42264793792138797*c_0101_6^7 + 22263378069200806051057/42264793792138797*c_0101_6^6 + 3706123312827276425977/4696088199126533*c_0101_6^5 - 11379339293642883116869/14088264597379599*c_0101_6^4 - 396715014675415507019/14088264597379599*c_0101_6^3 + 16915864082022834305074/42264793792138797*c_0101_6^2 - 9182258251588118098298/42264793792138797*c_0101_6 + 1599699663564780532840/42264793792138797, c_0011_0 - 1, c_0011_10 - 646214531067558/3528240570343*c_0101_6^13 + 5303983036728650/3528240570343*c_0101_6^12 - 18230458132140765/3528240570343*c_0101_6^11 + 31874877101144421/3528240570343*c_0101_6^10 - 23584865459766162/3528240570343*c_0101_6^9 - 10844222147434648/3528240570343*c_0101_6^8 + 33154965977745073/3528240570343*c_0101_6^7 - 13150054495013719/3528240570343*c_0101_6^6 - 18772108826070069/3528240570343*c_0101_6^5 + 19684785769314048/3528240570343*c_0101_6^4 + 460090503078037/3528240570343*c_0101_6^3 - 9664985797954677/3528240570343*c_0101_6^2 + 5308513127608355/3528240570343*c_0101_6 - 930754119234956/3528240570343, c_0011_3 - 1538546766171102/3528240570343*c_0101_6^13 + 12576958073704276/3528240570343*c_0101_6^12 - 42996077402644406/3528240570343*c_0101_6^11 + 74580192615854955/3528240570343*c_0101_6^10 - 54178862351906409/3528240570343*c_0101_6^9 - 26649269823740537/3528240570343*c_0101_6^8 + 77391165112267222/3528240570343*c_0101_6^7 - 29313555823591190/3528240570343*c_0101_6^6 - 44502759145740386/3528240570343*c_0101_6^5 + 45229600321414051/3528240570343*c_0101_6^4 + 1757982020329514/3528240570343*c_0101_6^3 - 22475583477345970/3528240570343*c_0101_6^2 + 12131124963573186/3528240570343*c_0101_6 - 2099199988915585/3528240570343, c_0011_5 - 293676000338673/3528240570343*c_0101_6^13 + 2477680753736919/3528240570343*c_0101_6^12 - 8807734006980725/3528240570343*c_0101_6^11 + 16157550918232133/3528240570343*c_0101_6^10 - 13316109491316804/3528240570343*c_0101_6^9 - 3597031728927088/3528240570343*c_0101_6^8 + 16791237863252824/3528240570343*c_0101_6^7 - 8709021034026378/3528240570343*c_0101_6^6 - 8353016335524447/3528240570343*c_0101_6^5 + 11018122094087741/3528240570343*c_0101_6^4 - 950598712290249/3528240570343*c_0101_6^3 - 4978818468996408/3528240570343*c_0101_6^2 + 3183228845443466/3528240570343*c_0101_6 - 628514872122078/3528240570343, c_0011_6 - 1065496589663018/3528240570343*c_0101_6^13 + 8727871299021673/3528240570343*c_0101_6^12 - 29908830851684300/3528240570343*c_0101_6^11 + 52048299838246564/3528240570343*c_0101_6^10 - 38087867829010368/3528240570343*c_0101_6^9 - 18237422798070243/3528240570343*c_0101_6^8 + 54029020509651586/3528240570343*c_0101_6^7 - 20831360071092156/3528240570343*c_0101_6^6 - 30885933704942398/3528240570343*c_0101_6^5 + 31772637862281725/3528240570343*c_0101_6^4 + 1034770441768431/3528240570343*c_0101_6^3 - 15711288738268884/3528240570343*c_0101_6^2 + 8544160235452153/3528240570343*c_0101_6 - 1487726499179085/3528240570343, c_0101_0 - 3560098589407621/3528240570343*c_0101_6^13 + 29151018752308260/3528240570343*c_0101_6^12 - 99867212696898937/3528240570343*c_0101_6^11 + 173753787961029405/3528240570343*c_0101_6^10 - 127109744264490436/3528240570343*c_0101_6^9 - 60948111050675449/3528240570343*c_0101_6^8 + 180435885885383301/3528240570343*c_0101_6^7 - 69576644976697349/3528240570343*c_0101_6^6 - 103129220341670003/3528240570343*c_0101_6^5 + 106093222318857140/3528240570343*c_0101_6^4 + 3467886202359248/3528240570343*c_0101_6^3 - 52473059715296010/3528240570343*c_0101_6^2 + 28527071304994754/3528240570343*c_0101_6 - 4964645195024158/3528240570343, c_0101_1 - 1, c_0101_10 - 309840702505943/3528240570343*c_0101_6^13 + 2542206342853661/3528240570343*c_0101_6^12 - 8731846310429466/3528240570343*c_0101_6^11 + 15250418405783465/3528240570343*c_0101_6^10 - 11258148623807497/3528240570343*c_0101_6^9 - 5217196281430021/3528240570343*c_0101_6^8 + 15860734285719420/3528240570343*c_0101_6^7 - 6281674587000284/3528240570343*c_0101_6^6 - 8968418664917150/3528240570343*c_0101_6^5 + 9406198365847316/3528240570343*c_0101_6^4 + 215043237183266/3528240570343*c_0101_6^3 - 4621201701726479/3528240570343*c_0101_6^2 + 2543272978361060/3528240570343*c_0101_6 - 446964587694532/3528240570343, c_0101_2 + c_0101_6, c_0101_6^14 - 359/41*c_0101_6^13 + 1341/41*c_0101_6^12 - 2656/41*c_0101_6^11 + 2606/41*c_0101_6^10 - 138/41*c_0101_6^9 - 2473/41*c_0101_6^8 + 1988/41*c_0101_6^7 + 724/41*c_0101_6^6 - 1897/41*c_0101_6^5 + 661/41*c_0101_6^4 + 624/41*c_0101_6^3 - 674/41*c_0101_6^2 + 6*c_0101_6 - 33/41, c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB