Magma V2.19-8 Wed Aug 21 2013 00:56:50 on localhost [Seed = 2749741437] Type ? for help. Type -D to quit. Loading file "L13n3016__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3016 geometric_solution 12.28115315 oriented_manifold CS_known 0.0000000000000002 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 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 1 -1 0 0 1 -1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095585845470 0.942500526372 0 2 5 4 0132 0321 0132 0321 0 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 1 -1 0 0 0 0 0 1 0 -1 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571287239304 0.493644183623 6 0 7 1 0132 0132 0132 0321 0 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 -9 0 0 9 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.865083819808 0.906473404348 4 8 9 0 0321 0132 0132 0132 0 1 1 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 1 0 -1 -9 0 10 -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.467498907575 0.772868171674 3 1 0 10 0321 0321 0132 0132 0 1 1 1 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 1 1 -2 -1 0 1 0 0 1 0 -1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.331104110894 0.999410421276 11 6 7 1 0132 0321 0213 0132 0 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 1 0 -1 0 0 0 0 -10 10 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246179731982 1.052193743777 2 12 8 5 0132 0132 0132 0321 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 0 1 -1 9 0 0 -9 0 10 0 -10 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542669203524 0.477684144021 11 5 12 2 1230 0213 0321 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 0 0 0 0 0 0 1 9 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496797936178 0.859406684568 12 3 10 6 0321 0132 0213 0132 0 1 1 1 0 -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 -1 2 -1 -10 0 10 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.733120176211 1.184617665387 11 12 10 3 2310 0321 0132 0132 0 1 1 1 0 0 0 0 -1 0 0 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 10 0 0 -10 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467498907575 0.772868171674 11 8 4 9 3120 0213 0132 0132 0 1 1 1 0 -1 1 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 -2 2 0 0 0 0 0 0 -10 0 10 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.046426861302 0.804198833078 5 7 9 10 0132 3012 3201 3120 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 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608052511708 0.695944092171 8 6 7 9 0321 0132 0321 0321 0 1 1 1 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 10 -10 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702895050661 0.779251089741 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_5'], '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' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_3']), '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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_5'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], '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'], 'c_1100_12' : d['c_1001_5'], '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0011_7'], 'c_0110_10' : d['c_0011_7'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0011_11']})} 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_3, c_0011_4, c_0011_7, c_0101_1, c_1001_0, c_1001_1, c_1001_2, c_1001_3, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1688169583989677155/834277257208368448*c_1100_0^14 - 4656234940175330041/208569314302092112*c_1100_0^13 + 31300708280488899777/417138628604184224*c_1100_0^12 - 77435866452459800365/834277257208368448*c_1100_0^11 + 97817559516497197793/417138628604184224*c_1100_0^10 + 20499243553367669683/417138628604184224*c_1100_0^9 - 1776620532863764297/208569314302092112*c_1100_0^8 + 31678384137651658381/52142328575523028*c_1100_0^7 - 391264411906001813245/417138628604184224*c_1100_0^6 + 1009823540617481007/2218822492575448*c_1100_0^5 - 390153541803375776369/834277257208368448*c_1100_0^4 - 96317352879212150705/104284657151046056*c_1100_0^3 + 304148216339714895701/417138628604184224*c_1100_0^2 + 58895042854717600439/834277257208368448*c_1100_0 - 4306342245932749619/417138628604184224, c_0011_0 - 1, c_0011_10 - 4823534760640503/52142328575523028*c_1100_0^14 + 99356908028333845/104284657151046056*c_1100_0^13 - 281618839547702617/104284657151046056*c_1100_0^12 + 201600028726411943/104284657151046056*c_1100_0^11 - 108136528414147714/13035582143880757*c_1100_0^10 - 242635354666238265/26071164287761514*c_1100_0^9 - 42839127830997861/13035582143880757*c_1100_0^8 - 1455406914991698717/52142328575523028*c_1100_0^7 + 1200017215672905943/52142328575523028*c_1100_0^6 + 3178337572017411/554705623143862*c_1100_0^5 + 781364239571809091/52142328575523028*c_1100_0^4 + 5730413043760201887/104284657151046056*c_1100_0^3 + 156613043397299623/104284657151046056*c_1100_0^2 - 2061924598084843785/104284657151046056*c_1100_0 - 201772953352553803/26071164287761514, c_0011_11 - 1180514348744043/104284657151046056*c_1100_0^14 + 11599539305621627/104284657151046056*c_1100_0^13 - 28381016744683969/104284657151046056*c_1100_0^12 + 2444417819195071/52142328575523028*c_1100_0^11 - 10337978668068240/13035582143880757*c_1100_0^10 - 93875902837092651/52142328575523028*c_1100_0^9 - 4913729070518542/13035582143880757*c_1100_0^8 - 92572428165712485/26071164287761514*c_1100_0^7 + 86290414193912969/52142328575523028*c_1100_0^6 + 820899378530198/277352811571931*c_1100_0^5 + 24668241716415193/104284657151046056*c_1100_0^4 + 837036956252148401/104284657151046056*c_1100_0^3 + 39465620947104861/104284657151046056*c_1100_0^2 - 103725455085731241/26071164287761514*c_1100_0 - 4698140932820929/13035582143880757, c_0011_3 - 9413290636296131/104284657151046056*c_1100_0^14 + 95873353289581787/104284657151046056*c_1100_0^13 - 262151835747177895/104284657151046056*c_1100_0^12 + 74641960084901257/52142328575523028*c_1100_0^11 - 388405294481116083/52142328575523028*c_1100_0^10 - 268543660769903389/26071164287761514*c_1100_0^9 - 148563173878903345/52142328575523028*c_1100_0^8 - 1369733036415001785/52142328575523028*c_1100_0^7 + 519256608240585257/26071164287761514*c_1100_0^6 + 13422303688712055/1109411246287724*c_1100_0^5 + 1192073976663532755/104284657151046056*c_1100_0^4 + 5691469008225653319/104284657151046056*c_1100_0^3 + 464604148844267933/104284657151046056*c_1100_0^2 - 1350985151350319367/52142328575523028*c_1100_0 - 129112205593666539/13035582143880757, c_0011_4 - 7160811833843861/104284657151046056*c_1100_0^14 + 72209778014945117/104284657151046056*c_1100_0^13 - 192093240523080639/104284657151046056*c_1100_0^12 + 46429361703814313/52142328575523028*c_1100_0^11 - 285547221852374609/52142328575523028*c_1100_0^10 - 451089098862683411/52142328575523028*c_1100_0^9 - 150998715945053029/52142328575523028*c_1100_0^8 - 269505936540131508/13035582143880757*c_1100_0^7 + 163483169945586980/13035582143880757*c_1100_0^6 + 12628599135601211/1109411246287724*c_1100_0^5 + 879031093705936287/104284657151046056*c_1100_0^4 + 4614572161920448749/104284657151046056*c_1100_0^3 + 965396234218883375/104284657151046056*c_1100_0^2 - 1101951620085602001/52142328575523028*c_1100_0 - 112455662765543145/13035582143880757, c_0011_7 - 25393173756520923/208569314302092112*c_1100_0^14 + 259773009704887277/208569314302092112*c_1100_0^13 - 720647785705198879/208569314302092112*c_1100_0^12 + 28201696478909457/13035582143880757*c_1100_0^11 - 537178015064392005/52142328575523028*c_1100_0^10 - 1398464063745432673/104284657151046056*c_1100_0^9 - 435253319086735347/104284657151046056*c_1100_0^8 - 3826794620093715879/104284657151046056*c_1100_0^7 + 1399591685217523709/52142328575523028*c_1100_0^6 + 6687081416994431/554705623143862*c_1100_0^5 + 3181800894994120337/208569314302092112*c_1100_0^4 + 15446135842834549269/208569314302092112*c_1100_0^3 + 1480140398886282181/208569314302092112*c_1100_0^2 - 1562736402166833253/52142328575523028*c_1100_0 - 137877556599923090/13035582143880757, c_0101_1 - 6798432041583545/52142328575523028*c_1100_0^14 + 34433657890425547/26071164287761514*c_1100_0^13 - 185831476771092497/52142328575523028*c_1100_0^12 + 50163800246535129/26071164287761514*c_1100_0^11 - 561280416390557997/52142328575523028*c_1100_0^10 - 808910470622056291/52142328575523028*c_1100_0^9 - 139595052997416613/26071164287761514*c_1100_0^8 - 2037577175452728777/52142328575523028*c_1100_0^7 + 339265405064855489/13035582143880757*c_1100_0^6 + 19648281511688545/1109411246287724*c_1100_0^5 + 223084717053335092/13035582143880757*c_1100_0^4 + 2124316981462487817/26071164287761514*c_1100_0^3 + 154175384485699709/13035582143880757*c_1100_0^2 - 900706404130436301/26071164287761514*c_1100_0 - 171265592414275272/13035582143880757, c_1001_0 - 1, c_1001_1 + 826022978572217/52142328575523028*c_1100_0^14 - 1949711833970217/13035582143880757*c_1100_0^13 + 16483946550024569/52142328575523028*c_1100_0^12 + 1754530785817482/13035582143880757*c_1100_0^11 + 23711150904869361/26071164287761514*c_1100_0^10 + 162567485130867583/52142328575523028*c_1100_0^9 + 54341867584994585/52142328575523028*c_1100_0^8 + 268246162109287523/52142328575523028*c_1100_0^7 - 14796728828342791/52142328575523028*c_1100_0^6 - 1694219198311765/277352811571931*c_1100_0^5 - 10415355696045949/26071164287761514*c_1100_0^4 - 664191465094158349/52142328575523028*c_1100_0^3 - 132147006095951093/26071164287761514*c_1100_0^2 + 321005417266241457/52142328575523028*c_1100_0 + 29263411299752820/13035582143880757, c_1001_2 + 471531608400391/104284657151046056*c_1100_0^14 - 3998155366140109/104284657151046056*c_1100_0^13 + 4586876355365169/104284657151046056*c_1100_0^12 + 9462540962464999/52142328575523028*c_1100_0^11 + 3035193568732881/26071164287761514*c_1100_0^10 + 17172895573443733/13035582143880757*c_1100_0^9 + 34686951302920417/52142328575523028*c_1100_0^8 + 83101305777862553/52142328575523028*c_1100_0^7 + 35746842682785089/26071164287761514*c_1100_0^6 - 873319819781567/277352811571931*c_1100_0^5 - 16993181067768603/104284657151046056*c_1100_0^4 - 491345973936168297/104284657151046056*c_1100_0^3 - 489122403436699511/104284657151046056*c_1100_0^2 + 113554507094778975/52142328575523028*c_1100_0 + 24565270366931891/13035582143880757, c_1001_3 - 240057222965727/13035582143880757*c_1100_0^14 + 9866923964202429/52142328575523028*c_1100_0^13 - 13877500185701995/26071164287761514*c_1100_0^12 + 19079972472438179/52142328575523028*c_1100_0^11 - 42783164525101793/26071164287761514*c_1100_0^10 - 48147577724891389/26071164287761514*c_1100_0^9 - 34582786991128135/52142328575523028*c_1100_0^8 - 137651331448426995/26071164287761514*c_1100_0^7 + 61004223677373953/13035582143880757*c_1100_0^6 + 927980164361231/554705623143862*c_1100_0^5 + 91776649335225657/26071164287761514*c_1100_0^4 + 266972571021783749/26071164287761514*c_1100_0^3 + 10167386402075883/13035582143880757*c_1100_0^2 - 276931265997386961/52142328575523028*c_1100_0 - 27557597707033419/13035582143880757, c_1001_5 + 4935383826422209/208569314302092112*c_1100_0^14 - 49642887236780811/208569314302092112*c_1100_0^13 + 130802234348889213/208569314302092112*c_1100_0^12 - 3554730852241259/13035582143880757*c_1100_0^11 + 23672138040979705/13035582143880757*c_1100_0^10 + 323297467948017959/104284657151046056*c_1100_0^9 + 96695928574184905/104284657151046056*c_1100_0^8 + 750008941818812435/104284657151046056*c_1100_0^7 - 99695710154873989/26071164287761514*c_1100_0^6 - 4726658203804891/1109411246287724*c_1100_0^5 - 410227580955464899/208569314302092112*c_1100_0^4 - 3286669698724168867/208569314302092112*c_1100_0^3 - 716392230429612971/208569314302092112*c_1100_0^2 + 185343184236942827/26071164287761514*c_1100_0 + 26410618673687740/13035582143880757, c_1100_0^15 - 10*c_1100_0^14 + 26*c_1100_0^13 - 11*c_1100_0^12 + 80*c_1100_0^11 + 130*c_1100_0^10 + 56*c_1100_0^9 + 304*c_1100_0^8 - 158*c_1100_0^7 - 164*c_1100_0^6 - 147*c_1100_0^5 - 638*c_1100_0^4 - 182*c_1100_0^3 + 257*c_1100_0^2 + 144*c_1100_0 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB