Magma V2.19-8 Tue Aug 20 2013 23:38:27 on localhost [Seed = 3481906167] Type ? for help. Type -D to quit. Loading file "K11n1__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n1 geometric_solution 9.70047748 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 1 -5 0 0 5 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.204212989059 0.967982085655 0 5 5 4 0132 0132 1302 0213 0 0 0 0 0 0 0 0 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 1 -1 5 0 -4 -1 -4 4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695218797739 1.121783282721 6 0 8 7 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.980347724937 0.387519792979 9 6 5 0 0132 0321 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.126404577623 1.545587292576 7 10 0 1 0213 0132 0132 0213 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 -1 1 5 0 -5 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.036571548071 0.562801523839 1 1 3 8 2031 0132 0321 0132 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 -1 0 0 1 -1 0 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600845118888 0.644063817469 2 7 10 3 0132 0132 1302 0321 0 0 0 0 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 -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.017378627423 0.438352100309 4 6 2 9 0213 0132 0132 0132 0 0 0 0 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 1 -1 1 0 -1 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862486701020 0.434598843500 9 10 5 2 1230 0321 0132 0132 0 0 0 0 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 -1 1 -5 0 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339882502086 0.953305401866 3 8 7 10 0132 3012 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199116447605 0.514285048930 6 4 9 8 2031 0132 2031 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762477020911 0.588690127549 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_0101_8'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), '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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0101_10'], 'c_1100_10' : d['c_0101_8'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_0']), '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_10' : negation(d['c_0011_8']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_8, c_0101_0, c_0101_10, c_0101_3, c_0101_8, c_1001_0, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 6732496117700931260059977/281478719845416865200284032*c_1001_5^18 + 628699965146564847042185/17592419990338554075017752*c_1001_5^17 + 14528888651434666196779225/70369679961354216300071008*c_1001_5^16 + 28097393405226642709131283/70369679961354216300071008*c_1001_5^15 + 98139328456920006792513595/140739359922708432600142016*c_1001_5^14 + 226807853651443791687569537/140739359922708432600142016*c_1001_5^13 + 335006573226364624394951535/281478719845416865200284032*c_1001_5^\ 12 + 682237250236111090746289151/281478719845416865200284032*c_1001\ _5^11 + 248616213873979060215568005/281478719845416865200284032*c_1\ 001_5^10 - 81249755697987349770717435/140739359922708432600142016*c\ _1001_5^9 - 58633012388330530997547681/17592419990338554075017752*c\ _1001_5^8 - 889425175905272358475664079/140739359922708432600142016\ *c_1001_5^7 - 224283087646766948004071045/1759241999033855407501775\ 2*c_1001_5^6 - 883057731689428251076555745/703696799613542163000710\ 08*c_1001_5^5 - 4458434253431297237860918697/2814787198454168652002\ 84032*c_1001_5^4 - 477551962139452736961959463/35184839980677108150\ 035504*c_1001_5^3 - 158122272151754079256938535/1655757175561275677\ 6487296*c_1001_5^2 - 279855350483485406937586117/281478719845416865\ 200284032*c_1001_5 - 1766842073957423440409658311/28147871984541686\ 5200284032, c_0011_0 - 1, c_0011_10 - 52781939435995069/4547880340849846514*c_1001_5^18 - 396046167917840569/9095760681699693028*c_1001_5^17 - 1568819149943416633/9095760681699693028*c_1001_5^16 - 4560371899088077913/9095760681699693028*c_1001_5^15 - 10520631261044852201/9095760681699693028*c_1001_5^14 - 22927260370358216639/9095760681699693028*c_1001_5^13 - 40699397094831083547/9095760681699693028*c_1001_5^12 - 33602498594043996687/4547880340849846514*c_1001_5^11 - 98858519724758710353/9095760681699693028*c_1001_5^10 - 33253819965436534496/2273940170424923257*c_1001_5^9 - 79566274332514281657/4547880340849846514*c_1001_5^8 - 90768516059737169083/4547880340849846514*c_1001_5^7 - 44450674791145289889/2273940170424923257*c_1001_5^6 - 38760036237135786693/2273940170424923257*c_1001_5^5 - 59940519232832962997/4547880340849846514*c_1001_5^4 - 72286428001938375387/9095760681699693028*c_1001_5^3 - 1731834754472920137/535044745982334884*c_1001_5^2 - 16311705059386355789/4547880340849846514*c_1001_5 - 24407144722004720533/9095760681699693028, c_0011_3 + 384617156355547857/18191521363399386056*c_1001_5^18 + 340504051701061209/4547880340849846514*c_1001_5^17 + 1416029444639294225/4547880340849846514*c_1001_5^16 + 2048233407579610662/2273940170424923257*c_1001_5^15 + 19186976101855310303/9095760681699693028*c_1001_5^14 + 43089682518111851835/9095760681699693028*c_1001_5^13 + 154141909228182320527/18191521363399386056*c_1001_5^12 + 264670567886281891927/18191521363399386056*c_1001_5^11 + 399550183272729530961/18191521363399386056*c_1001_5^10 + 275085255316913387507/9095760681699693028*c_1001_5^9 + 173286823878162267879/4547880340849846514*c_1001_5^8 + 404559841771091259143/9095760681699693028*c_1001_5^7 + 206269553105526512963/4547880340849846514*c_1001_5^6 + 97688213405966387030/2273940170424923257*c_1001_5^5 + 626904351238527473995/18191521363399386056*c_1001_5^4 + 51536247722184867492/2273940170424923257*c_1001_5^3 + 13102227040486185501/1070089491964669768*c_1001_5^2 + 122246499937637142775/18191521363399386056*c_1001_5 + 37157735215411556145/18191521363399386056, c_0011_8 - 4258567339141379/2273940170424923257*c_1001_5^18 - 41371586841785569/2273940170424923257*c_1001_5^17 - 260772192102181811/4547880340849846514*c_1001_5^16 - 492372860200999603/2273940170424923257*c_1001_5^15 - 2478384578723246669/4547880340849846514*c_1001_5^14 - 2732466078124658592/2273940170424923257*c_1001_5^13 - 11655559394927305435/4547880340849846514*c_1001_5^12 - 9516609951303753870/2273940170424923257*c_1001_5^11 - 16120536833316616226/2273940170424923257*c_1001_5^10 - 45950046278669304473/4547880340849846514*c_1001_5^9 - 60068510436155520073/4547880340849846514*c_1001_5^8 - 75016007408797913347/4547880340849846514*c_1001_5^7 - 82552784273335947951/4547880340849846514*c_1001_5^6 - 80914377436097747833/4547880340849846514*c_1001_5^5 - 75887825885003048701/4547880340849846514*c_1001_5^4 - 57640704224442328685/4547880340849846514*c_1001_5^3 - 1061808606337379112/133761186495583721*c_1001_5^2 - 23482908914649727747/4547880340849846514*c_1001_5 - 14193499866321294497/4547880340849846514, c_0101_0 - 339738349495246695/9095760681699693028*c_1001_5^18 - 676084243920242823/4547880340849846514*c_1001_5^17 - 1342553312662149893/2273940170424923257*c_1001_5^16 - 8098331038691521119/4547880340849846514*c_1001_5^15 - 19093593365578062685/4547880340849846514*c_1001_5^14 - 21353011395481054585/2273940170424923257*c_1001_5^13 - 156970107917623127177/9095760681699693028*c_1001_5^12 - 265129260835131022165/9095760681699693028*c_1001_5^11 - 407920218617947603597/9095760681699693028*c_1001_5^10 - 139624372761606581636/2273940170424923257*c_1001_5^9 - 353335602775996336385/4547880340849846514*c_1001_5^8 - 205982674213362510352/2273940170424923257*c_1001_5^7 - 424018782308305320399/4547880340849846514*c_1001_5^6 - 395027651559262587653/4547880340849846514*c_1001_5^5 - 646722911350654667611/9095760681699693028*c_1001_5^4 - 105237462369300023724/2273940170424923257*c_1001_5^3 - 13165337002989646757/535044745982334884*c_1001_5^2 - 136047950889470056175/9095760681699693028*c_1001_5 - 63714057395451415319/9095760681699693028, c_0101_10 + 451507946011215543/18191521363399386056*c_1001_5^18 + 201563320585623346/2273940170424923257*c_1001_5^17 + 823633820150149002/2273940170424923257*c_1001_5^16 + 4763862725859901155/4547880340849846514*c_1001_5^15 + 22036572221891609955/9095760681699693028*c_1001_5^14 + 49020533111442179967/9095760681699693028*c_1001_5^13 + 173365451512172365005/18191521363399386056*c_1001_5^12 + 292532977719412297297/18191521363399386056*c_1001_5^11 + 435466624111384947747/18191521363399386056*c_1001_5^10 + 293466717082456180277/9095760681699693028*c_1001_5^9 + 181071981637114070771/4547880340849846514*c_1001_5^8 + 411858541295451685645/9095760681699693028*c_1001_5^7 + 204510294053530538459/4547880340849846514*c_1001_5^6 + 91828713836043035932/2273940170424923257*c_1001_5^5 + 565702036454896213461/18191521363399386056*c_1001_5^4 + 81289016689410875503/4547880340849846514*c_1001_5^3 + 8711655120740920903/1070089491964669768*c_1001_5^2 + 100757686627935086009/18191521363399386056*c_1001_5 + 31360860892940052539/18191521363399386056, c_0101_3 - 17178588580077742/2273940170424923257*c_1001_5^18 - 291505823109946835/9095760681699693028*c_1001_5^17 - 1185795910546261339/9095760681699693028*c_1001_5^16 - 3602024678805206015/9095760681699693028*c_1001_5^15 - 8847021910120799103/9095760681699693028*c_1001_5^14 - 19844636466856000305/9095760681699693028*c_1001_5^13 - 37437612486651935035/9095760681699693028*c_1001_5^12 - 16218421140594310519/2273940170424923257*c_1001_5^11 - 100278984210241205917/9095760681699693028*c_1001_5^10 - 35708779727604947440/2273940170424923257*c_1001_5^9 - 91301289102157872073/4547880340849846514*c_1001_5^8 - 109177956654433484323/4547880340849846514*c_1001_5^7 - 58266236799473089904/2273940170424923257*c_1001_5^6 - 55610128926720737508/2273940170424923257*c_1001_5^5 - 47646330081369934657/2273940170424923257*c_1001_5^4 - 134893138996506475753/9095760681699693028*c_1001_5^3 - 4597742730160646813/535044745982334884*c_1001_5^2 - 9460602858274492844/2273940170424923257*c_1001_5 - 20324562237680737033/9095760681699693028, c_0101_8 + 4304264062522221/4547880340849846514*c_1001_5^18 + 45056940821560733/2273940170424923257*c_1001_5^17 + 260699316372199417/4547880340849846514*c_1001_5^16 + 537705495338336324/2273940170424923257*c_1001_5^15 + 2721014540934050191/4547880340849846514*c_1001_5^14 + 2970514933959890274/2273940170424923257*c_1001_5^13 + 6432620336321092949/2273940170424923257*c_1001_5^12 + 20243086926477706367/4547880340849846514*c_1001_5^11 + 34377046023987918265/4547880340849846514*c_1001_5^10 + 46789311177804614849/4547880340849846514*c_1001_5^9 + 60511081671815080239/4547880340849846514*c_1001_5^8 + 71575699528224499855/4547880340849846514*c_1001_5^7 + 76652900788645859403/4547880340849846514*c_1001_5^6 + 69401920915572669979/4547880340849846514*c_1001_5^5 + 29774510456955202828/2273940170424923257*c_1001_5^4 + 37815385607180376273/4547880340849846514*c_1001_5^3 + 1028881182001544333/267522372991167442*c_1001_5^2 + 4251530752000036355/2273940170424923257*c_1001_5 + 5602745651483192369/2273940170424923257, c_1001_0 - 63058872121799153/9095760681699693028*c_1001_5^18 - 62738151096609823/2273940170424923257*c_1001_5^17 - 252480109543257395/2273940170424923257*c_1001_5^16 - 744673109353086035/2273940170424923257*c_1001_5^15 - 3536612572206677521/4547880340849846514*c_1001_5^14 - 7783761552508902823/4547880340849846514*c_1001_5^13 - 28156749946223665195/9095760681699693028*c_1001_5^12 - 47395553456844323571/9095760681699693028*c_1001_5^11 - 70201887684984302849/9095760681699693028*c_1001_5^10 - 47581822370489273041/4547880340849846514*c_1001_5^9 - 28938445757069271259/2273940170424923257*c_1001_5^8 - 64246932760171428829/4547880340849846514*c_1001_5^7 - 31656095308347101625/2273940170424923257*c_1001_5^6 - 27029879243558260705/2273940170424923257*c_1001_5^5 - 73560333637614455791/9095760681699693028*c_1001_5^4 - 9824598130380714530/2273940170424923257*c_1001_5^3 - 189644273543861273/535044745982334884*c_1001_5^2 + 5473456420680538825/9095760681699693028*c_1001_5 - 3849566024005004569/9095760681699693028, c_1001_2 - 337914731510703387/9095760681699693028*c_1001_5^18 - 311081493992522849/2273940170424923257*c_1001_5^17 - 1256298414392086852/2273940170424923257*c_1001_5^16 - 3674900976430123481/2273940170424923257*c_1001_5^15 - 17084818975229232519/4547880340849846514*c_1001_5^14 - 38049591166305089411/4547880340849846514*c_1001_5^13 - 136531101484604948349/9095760681699693028*c_1001_5^12 - 231070306519590373669/9095760681699693028*c_1001_5^11 - 349496171704432085051/9095760681699693028*c_1001_5^10 - 238922921446758082061/4547880340849846514*c_1001_5^9 - 149874419152077818396/2273940170424923257*c_1001_5^8 - 348655316659158216821/4547880340849846514*c_1001_5^7 - 178300771860751497677/2273940170424923257*c_1001_5^6 - 166034196028604409999/2273940170424923257*c_1001_5^5 - 542698228536330310757/9095760681699693028*c_1001_5^4 - 88978443977786531810/2273940170424923257*c_1001_5^3 - 11522794492784933359/535044745982334884*c_1001_5^2 - 131276549681582376941/9095760681699693028*c_1001_5 - 55389099428478723679/9095760681699693028, c_1001_5^19 + 5*c_1001_5^18 + 20*c_1001_5^17 + 64*c_1001_5^16 + 162*c_1001_5^15 + 368*c_1001_5^14 + 721*c_1001_5^13 + 1258*c_1001_5^12 + 2000*c_1001_5^11 + 2875*c_1001_5^10 + 3762*c_1001_5^9 + 4546*c_1001_5^8 + 4970*c_1001_5^7 + 4876*c_1001_5^6 + 4267*c_1001_5^5 + 3187*c_1001_5^4 + 1929*c_1001_5^3 + 1080*c_1001_5^2 + 624*c_1001_5 + 229 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB