Magma V2.19-8 Tue Aug 20 2013 23:57:09 on localhost [Seed = 3347164972] Type ? for help. Type -D to quit. Loading file "L14n29777__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n29777 geometric_solution 11.66985311 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 1 1 1 0 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 5 1 -6 -1 0 0 1 -1 0 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434489107987 0.817485478977 0 0 5 4 0132 1230 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 1 0 -1 0 2 -1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572330161634 0.827343209343 4 0 6 4 0132 0132 0132 2031 1 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 0 0 0 0 0 0 0 -5 5 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.452633137623 1.148209839796 7 8 0 9 0132 0132 0132 0132 1 1 1 1 0 1 -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 0 -6 6 0 6 0 -1 -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.583234482797 1.394946374748 2 2 1 7 0132 1302 0132 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702852850480 0.753783257536 9 10 8 1 0321 0132 3201 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 -1 1 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.350565060587 1.180314579082 10 10 11 2 0132 2310 0132 0132 1 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 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 0 0 -0.060938186195 0.702602720227 3 4 11 9 0132 2310 0321 0321 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378798322997 0.838671290864 5 3 11 11 2310 0132 0213 2310 1 1 1 1 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 6 0 -6 0 0 6 -6 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.352683366473 0.438818975924 5 7 3 10 0321 0321 0132 3012 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.582137171141 0.834733319620 6 5 9 6 0132 0132 1230 3201 1 1 1 1 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 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.472641372622 1.015920041161 8 8 7 6 3201 0213 0321 0132 1 1 1 1 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 0 0 0 0 0 0 0 6 -6 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317560480374 0.756859756139 ==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_1001_1'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_1001_11'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : 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_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_7']), 'c_1010_3' : d['c_1001_11'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_9']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_11']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_10']})} 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_3, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_1001_1, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 3535988965762298906619272720170305011235/80362847090582033350527125\ 607170941952*c_1001_7^9 - 28395661839834283328739348910105267505969\ /80362847090582033350527125607170941952*c_1001_7^8 + 107338122230423241044970915430291104291047/803628470905820333505271\ 25607170941952*c_1001_7^7 - 108506167415812835273996869162655290950\ 363/40181423545291016675263562803585470976*c_1001_7^6 + 30709798562926016256954263835423406798613/1004535588632275416881589\ 0700896367744*c_1001_7^5 - 9772451252497666806891236949796305695879\ 5/80362847090582033350527125607170941952*c_1001_7^4 - 733026779892424507733369217369202027345/125566948579034427110198633\ 7612045968*c_1001_7^3 + 123428132019826656082919566325409672590937/\ 80362847090582033350527125607170941952*c_1001_7^2 + 87040773114759493036525070043083196167391/8036284709058203335052712\ 5607170941952*c_1001_7 - 6303240872720627094913559524238757835197/8\ 0362847090582033350527125607170941952, c_0011_0 - 1, c_0011_10 - 1652893577100539424602420/8353339872633650640249341*c_1001_\ 7^9 + 13674228206103129320526098/8353339872633650640249341*c_1001_7\ ^8 - 53411808098500435070506676/8353339872633650640249341*c_1001_7^\ 7 + 113486140542450145029011076/8353339872633650640249341*c_1001_7^\ 6 - 138490592968808595060734942/8353339872633650640249341*c_1001_7^\ 5 + 72271215958015822728454122/8353339872633650640249341*c_1001_7^4 + 9538055265546659208787695/8353339872633650640249341*c_1001_7^3 - 59629085810226183857330926/8353339872633650640249341*c_1001_7^2 - 20465242689518118110255812/8353339872633650640249341*c_1001_7 + 9359800949176509122364462/8353339872633650640249341, c_0011_11 + 599920007438363942164085/8353339872633650640249341*c_1001_7\ ^9 - 4767408004360794217908509/8353339872633650640249341*c_1001_7^8 + 17965489855509407230400187/8353339872633650640249341*c_1001_7^7 - 36449252161530749545231035/8353339872633650640249341*c_1001_7^6 + 43078988245396041615244483/8353339872633650640249341*c_1001_7^5 - 22283902941773182555497299/8353339872633650640249341*c_1001_7^4 + 2135930454972708239898140/8353339872633650640249341*c_1001_7^3 + 13294669949860644248884972/8353339872633650640249341*c_1001_7^2 + 23418927533403860097868154/8353339872633650640249341*c_1001_7 - 3170413174673918473959821/8353339872633650640249341, c_0011_3 + 584417173459116553275260/8353339872633650640249341*c_1001_7^\ 9 - 4944004592805237091878234/8353339872633650640249341*c_1001_7^8 + 20145657228593809392559454/8353339872633650640249341*c_1001_7^7 - 46311738832834330904622693/8353339872633650640249341*c_1001_7^6 + 64329010306479756111272980/8353339872633650640249341*c_1001_7^5 - 45190435731560728722931780/8353339872633650640249341*c_1001_7^4 + 4709330867920593939334475/8353339872633650640249341*c_1001_7^3 + 27935260357199343964361463/8353339872633650640249341*c_1001_7^2 - 3786969647712156913229232/8353339872633650640249341*c_1001_7 - 8534757002756742773845133/8353339872633650640249341, c_0011_9 + 1, c_0101_0 - 3812324542475881002798865/8353339872633650640249341*c_1001_7\ ^9 + 31148369786234725017234071/8353339872633650640249341*c_1001_7^\ 8 - 119975227136898008901459518/8353339872633650640249341*c_1001_7^\ 7 + 250653023109218008420927077/8353339872633650640249341*c_1001_7^\ 6 - 301588871088007595449952265/8353339872633650640249341*c_1001_7^\ 5 + 154336602347209149447188471/8353339872633650640249341*c_1001_7^\ 4 + 18835680134287723279907651/8353339872633650640249341*c_1001_7^3 - 126847040614310259688976645/8353339872633650640249341*c_1001_7^2 - 80071980707812658292064499/8353339872633650640249341*c_1001_7 + 11959332132204138237630947/8353339872633650640249341, c_0101_10 - 2344108428828033705725330/8353339872633650640249341*c_1001_\ 7^9 + 19113533730922436107799852/8353339872633650640249341*c_1001_7\ ^8 - 73685758313324939843524739/8353339872633650640249341*c_1001_7^\ 7 + 153809660770496206579285549/8353339872633650640249341*c_1001_7^\ 6 - 182946542725876648358997087/8353339872633650640249341*c_1001_7^\ 5 + 84754405182923717952253285/8353339872633650640249341*c_1001_7^4 + 29767701690817218885923006/8353339872633650640249341*c_1001_7^3 - 93263651718344887085027228/8353339872633650640249341*c_1001_7^2 - 51571352838212098211863385/8353339872633650640249341*c_1001_7 + 15090622334490403236154216/8353339872633650640249341, c_0101_11 + 2773276100352131496419945/8353339872633650640249341*c_1001_\ 7^9 - 22723470198413754067304403/8353339872633650640249341*c_1001_7\ ^8 + 87623362597304245599047959/8353339872633650640249341*c_1001_7^\ 7 - 182308664143363371842639829/8353339872633650640249341*c_1001_7^\ 6 + 214905936288780872951906047/8353339872633650640249341*c_1001_7^\ 5 - 98042464796292507937121962/8353339872633650640249341*c_1001_7^4 - 34124688203726772185392610/8353339872633650640249341*c_1001_7^3 + 109513335248158775303922592/8353339872633650640249341*c_1001_7^2 + 50079325335684438543026013/8353339872633650640249341*c_1001_7 - 16322918490856749447102621/8353339872633650640249341, c_0101_6 - 2068601794348340420051410/8353339872633650640249341*c_1001_7\ ^9 + 16870334334012341209176554/8353339872633650640249341*c_1001_7^\ 8 - 64591668304139214844627373/8353339872633650640249341*c_1001_7^7 + 132817474293088212694456628/8353339872633650640249341*c_1001_7^6 - 153067096115853161265300327/8353339872633650640249341*c_1001_7^5 + 63548730353083837625945470/8353339872633650640249341*c_1001_7^4 + 30824425102205419853777569/8353339872633650640249341*c_1001_7^3 - 76902080359838444027866062/8353339872633650640249341*c_1001_7^2 - 45979928723370390219239008/8353339872633650640249341*c_1001_7 + 10335289386748951053874071/8353339872633650640249341, c_1001_1 - 2344108428828033705725330/8353339872633650640249341*c_1001_7\ ^9 + 19113533730922436107799852/8353339872633650640249341*c_1001_7^\ 8 - 73685758313324939843524739/8353339872633650640249341*c_1001_7^7 + 153809660770496206579285549/8353339872633650640249341*c_1001_7^6 - 182946542725876648358997087/8353339872633650640249341*c_1001_7^5 + 84754405182923717952253285/8353339872633650640249341*c_1001_7^4 + 29767701690817218885923006/8353339872633650640249341*c_1001_7^3 - 93263651718344887085027228/8353339872633650640249341*c_1001_7^2 - 43218012965578447571614044/8353339872633650640249341*c_1001_7 + 6737282461856752595904875/8353339872633650640249341, c_1001_11 - 1372243408461752583371175/8353339872633650640249341*c_1001_\ 7^9 + 11010700996981726513136510/8353339872633650640249341*c_1001_7\ ^8 - 41305962653209426017315626/8353339872633650640249341*c_1001_7^\ 7 + 82525244933686461508807803/8353339872633650640249341*c_1001_7^6 - 91327917175775374290586629/8353339872633650640249341*c_1001_7^5 + 34416815467400747538013838/8353339872633650640249341*c_1001_7^4 + 17074995117916497042156146/8353339872633650640249341*c_1001_7^3 - 39029439244018624006101922/8353339872633650640249341*c_1001_7^2 - 37860318330379768625684721/8353339872633650640249341*c_1001_7 + 7363218762825243031556440/8353339872633650640249341, c_1001_7^10 - 1292/155*c_1001_7^9 + 5088/155*c_1001_7^8 - 10973/155*c_1001_7^7 + 13758/155*c_1001_7^6 - 7723/155*c_1001_7^5 - 613/155*c_1001_7^4 + 6017/155*c_1001_7^3 + 2094/155*c_1001_7^2 - 1396/155*c_1001_7 + 173/155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB