Magma V2.19-8 Tue Aug 20 2013 23:46:19 on localhost [Seed = 156197634] Type ? for help. Type -D to quit. Loading file "K14n16127__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16127 geometric_solution 11.56331560 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 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 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.744413992149 0.771911130233 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 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 3 -3 0 0 3 -3 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.662963989380 0.903508425292 7 0 8 8 0132 0132 0213 0132 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 -1 1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673089576895 1.189196157016 9 0 6 0 0132 0321 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.352682913583 0.671227662384 10 1 7 6 0132 0132 1023 0132 0 0 0 0 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 0 0 0 0 0 2 -2 3 0 0 -3 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.228042213252 0.411147862289 9 8 1 11 2103 1023 0132 0132 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 0 0 0 0 0 0 0 -3 3 0 0 0 3 -3 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068714375134 1.107165043967 11 3 4 1 0321 0213 0132 0132 0 0 0 0 0 0 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 1 2 -3 0 0 3 -3 -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.089735197412 0.979762028025 2 10 4 11 0132 0132 1023 1023 0 0 0 0 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 -3 0 3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599280310410 1.059579297077 5 2 2 10 1023 0213 0132 2103 0 0 0 0 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 -1 0 1 3 0 0 -3 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214923059681 0.781821742477 3 11 5 10 0132 0132 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529571406032 1.074816275931 4 7 9 8 0132 0132 2031 2103 0 0 0 0 0 1 0 -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 0 0 0 0 3 -1 -2 -3 0 0 3 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.216715730790 1.041692577192 6 9 5 7 0321 0132 0132 1023 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 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.605360477329 0.833122857425 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_11']), 'c_1001_11' : d['c_0110_8'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : d['c_0101_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_10']), '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_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_1100_9' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_4']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_1100_1']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0101_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0110_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0110_8'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_0110_8'], 'c_1010_8' : negation(d['c_0101_4']), '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_11']), 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_5'], 'c_0011_10' : negation(d['c_0011_0'])})} 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_11, c_0011_5, c_0011_6, c_0101_0, c_0101_10, c_0101_4, c_0101_7, c_0110_8, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 67731058775475683330995552629/3578721357496470228433984*c_1100_1^14 - 30563476258863561471050489511/210513021029204131084352*c_1100_1^1\ 3 - 354838015483657717143698115379/1789360678748235114216992*c_1100\ _1^12 - 154276536244960803436536883293/1789360678748235114216992*c_\ 1100_1^11 - 12835231231584891930388286515033/3578721357496470228433\ 984*c_1100_1^10 - 32083743524576459225470473680979/3578721357496470\ 228433984*c_1100_1^9 - 66394617037782507539884562575129/35787213574\ 96470228433984*c_1100_1^8 - 98598223761286804390762619313909/357872\ 1357496470228433984*c_1100_1^7 - 12200434101127547764057790177489/3\ 25338305226951838948544*c_1100_1^6 - 173297742552192862858913103824051/3578721357496470228433984*c_1100_\ 1^5 - 813493190530131394528718818663/20333644076684489934284*c_1100\ _1^4 - 74784046324808304480430184442147/3578721357496470228433984*c\ _1100_1^3 - 12126501811099774254637511463535/1789360678748235114216\ 992*c_1100_1^2 - 1848464091366866201651631916991/357872135749647022\ 8433984*c_1100_1 - 204199546244396294255762208489/35787213574964702\ 28433984, c_0011_0 - 1, c_0011_11 - 30742640392226141008/27184016145300120233*c_1100_1^14 - 12743238160292328362/1599059773252948249*c_1100_1^13 - 192133343005654314431/27184016145300120233*c_1100_1^12 - 55453300269366789047/27184016145300120233*c_1100_1^11 - 5811130127437434114905/27184016145300120233*c_1100_1^10 - 10935359302487045702116/27184016145300120233*c_1100_1^9 - 24307992986281782898916/27184016145300120233*c_1100_1^8 - 31087520103613601990321/27184016145300120233*c_1100_1^7 - 45119170305711361157661/27184016145300120233*c_1100_1^6 - 54474539767990289097984/27184016145300120233*c_1100_1^5 - 37220325344172089141030/27184016145300120233*c_1100_1^4 - 17712898407977088938980/27184016145300120233*c_1100_1^3 - 3672548008660790472979/27184016145300120233*c_1100_1^2 - 113272602154205141402/27184016145300120233*c_1100_1 - 16882953024521479285/27184016145300120233, c_0011_5 + 214859932380356313/27184016145300120233*c_1100_1^14 + 285574579407286761/1599059773252948249*c_1100_1^13 + 24656325920608714079/27184016145300120233*c_1100_1^12 + 19834160319514163753/27184016145300120233*c_1100_1^11 + 46337626840183962019/27184016145300120233*c_1100_1^10 + 708000633084315739615/27184016145300120233*c_1100_1^9 + 1315286589273693248789/27184016145300120233*c_1100_1^8 + 2809864625680207871310/27184016145300120233*c_1100_1^7 + 3557630723024880006630/27184016145300120233*c_1100_1^6 + 5169396161227063161265/27184016145300120233*c_1100_1^5 + 5953408404992074407288/27184016145300120233*c_1100_1^4 + 3952780788043155584303/27184016145300120233*c_1100_1^3 + 1855872099689376227620/27184016145300120233*c_1100_1^2 + 350702149048368740400/27184016145300120233*c_1100_1 + 16478157492064754545/27184016145300120233, c_0011_6 - 24422501833855887185/27184016145300120233*c_1100_1^14 - 10371897435061743316/1599059773252948249*c_1100_1^13 - 182266923586020421128/27184016145300120233*c_1100_1^12 - 69505331934868321002/27184016145300120233*c_1100_1^11 - 4623190586735928238713/27184016145300120233*c_1100_1^10 - 9486124618650928054802/27184016145300120233*c_1100_1^9 - 20788907463855836163481/27184016145300120233*c_1100_1^8 - 27983428012612582890798/27184016145300120233*c_1100_1^7 - 40028777515588403483703/27184016145300120233*c_1100_1^6 - 49355760046239724270605/27184016145300120233*c_1100_1^5 - 36915559465710854996373/27184016145300120233*c_1100_1^4 - 18997141142183447279994/27184016145300120233*c_1100_1^3 - 5289945659907364383384/27184016145300120233*c_1100_1^2 - 635072385389654931976/27184016145300120233*c_1100_1 - 46242148137504577419/27184016145300120233, c_0101_0 + 20607348969242608421/27184016145300120233*c_1100_1^14 + 8531916784196984606/1599059773252948249*c_1100_1^13 + 128027143257385512477/27184016145300120233*c_1100_1^12 + 39059899960762136352/27184016145300120233*c_1100_1^11 + 3896504859473708597429/27184016145300120233*c_1100_1^10 + 7297728608301032536402/27184016145300120233*c_1100_1^9 + 16317721837059621383839/27184016145300120233*c_1100_1^8 + 20825752798390783876718/27184016145300120233*c_1100_1^7 + 30366892205713999117247/27184016145300120233*c_1100_1^6 + 36591081129751533928791/27184016145300120233*c_1100_1^5 + 25152225325707384681010/27184016145300120233*c_1100_1^4 + 12249241677445712592155/27184016145300120233*c_1100_1^3 + 2646598598040348062190/27184016145300120233*c_1100_1^2 + 210741098799050714326/27184016145300120233*c_1100_1 + 31659192263663625323/27184016145300120233, c_0101_10 + 34750449757315735253/27184016145300120233*c_1100_1^14 + 14369421739575241307/1599059773252948249*c_1100_1^13 + 212963385760516735930/27184016145300120233*c_1100_1^12 + 58794318521300548238/27184016145300120233*c_1100_1^11 + 6567157886640279933995/27184016145300120233*c_1100_1^10 + 12248446657528751505314/27184016145300120233*c_1100_1^9 + 27262534255664629247818/27184016145300120233*c_1100_1^8 + 34650207893341487102232/27184016145300120233*c_1100_1^7 + 50384764675963022305720/27184016145300120233*c_1100_1^6 + 60660244905038037234915/27184016145300120233*c_1100_1^5 + 40999650026093773642621/27184016145300120233*c_1100_1^4 + 19244727150410758544906/27184016145300120233*c_1100_1^3 + 3792622176475276651360/27184016145300120233*c_1100_1^2 + 87014207180468173428/27184016145300120233*c_1100_1 + 17220815253396183733/27184016145300120233, c_0101_4 + 1810557129121023747/1599059773252948249*c_1100_1^14 + 12738994605168745412/1599059773252948249*c_1100_1^13 + 11215679686847308135/1599059773252948249*c_1100_1^12 + 3397575174046425496/1599059773252948249*c_1100_1^11 + 342362475618175032380/1599059773252948249*c_1100_1^10 + 640366186802366860143/1599059773252948249*c_1100_1^9 + 1431787243659957458191/1599059773252948249*c_1100_1^8 + 1826610777859099355344/1599059773252948249*c_1100_1^7 + 2663962592164724371903/1599059773252948249*c_1100_1^6 + 3210273863103342946352/1599059773252948249*c_1100_1^5 + 2204138472194099012596/1599059773252948249*c_1100_1^4 + 1074002630165525788062/1599059773252948249*c_1100_1^3 + 237173760502729491995/1599059773252948249*c_1100_1^2 + 20216553326257478758/1599059773252948249*c_1100_1 + 2705873582400608513/1599059773252948249, c_0101_7 - 26166777303738317835/27184016145300120233*c_1100_1^14 - 10877107750991833593/1599059773252948249*c_1100_1^13 - 167654472100739016318/27184016145300120233*c_1100_1^12 - 53346619322903002493/27184016145300120233*c_1100_1^11 - 4948092160517096290797/27184016145300120233*c_1100_1^10 - 9406040788780420083130/27184016145300120233*c_1100_1^9 - 20960218455677146881196/27184016145300120233*c_1100_1^8 - 26979668067766935487539/27184016145300120233*c_1100_1^7 - 39211336712478037242535/27184016145300120233*c_1100_1^6 - 47402558416301221758282/27184016145300120233*c_1100_1^5 - 33074332352943697443512/27184016145300120233*c_1100_1^4 - 16212651511264715677183/27184016145300120233*c_1100_1^3 - 3661798362836129463223/27184016145300120233*c_1100_1^2 - 267929674106907991101/27184016145300120233*c_1100_1 - 13486612066162330576/27184016145300120233, c_0110_8 + 23137234652565188571/27184016145300120233*c_1100_1^14 + 9778261074666469379/1599059773252948249*c_1100_1^13 + 167532334291651002932/27184016145300120233*c_1100_1^12 + 64715856097677965660/27184016145300120233*c_1100_1^11 + 4380926841524247147604/27184016145300120233*c_1100_1^10 + 8833477537367841671810/27184016145300120233*c_1100_1^9 + 19515884111405854106678/27184016145300120233*c_1100_1^8 + 26045001622575790029677/27184016145300120233*c_1100_1^7 + 37507976261351103633059/27184016145300120233*c_1100_1^6 + 46025911088597782585983/27184016145300120233*c_1100_1^5 + 34256979263967026736248/27184016145300120233*c_1100_1^4 + 17817401641445268366389/27184016145300120233*c_1100_1^3 + 5008775226869132743817/27184016145300120233*c_1100_1^2 + 661980486612200685255/27184016145300120233*c_1100_1 + 46434078326797962495/27184016145300120233, c_1001_0 + 1555027687626318811/27184016145300120233*c_1100_1^14 + 762948771439010488/1599059773252948249*c_1100_1^13 + 23515355995723091792/27184016145300120233*c_1100_1^12 + 13013889509527015844/27184016145300120233*c_1100_1^11 + 297327619741166705806/27184016145300120233*c_1100_1^10 + 933624829854766469351/27184016145300120233*c_1100_1^9 + 1872787741414074642366/27184016145300120233*c_1100_1^8 + 3090209181677073256740/27184016145300120233*c_1100_1^7 + 4097153536803843875855/27184016145300120233*c_1100_1^6 + 5528893443248753969515/27184016145300120233*c_1100_1^5 + 5095313880317774974595/27184016145300120233*c_1100_1^4 + 3010867205811735669761/27184016145300120233*c_1100_1^3 + 1258190030010533989172/27184016145300120233*c_1100_1^2 + 208014221843978228136/27184016145300120233*c_1100_1 + 26144461977368287783/27184016145300120233, c_1001_1 - 14125798704766363085/27184016145300120233*c_1100_1^14 - 5864610530672652057/1599059773252948249*c_1100_1^13 - 90251913405778704393/27184016145300120233*c_1100_1^12 - 32251697358640865613/27184016145300120233*c_1100_1^11 - 2674029294856812345919/27184016145300120233*c_1100_1^10 - 5054935170391058904682/27184016145300120233*c_1100_1^9 - 11387205055185775901310/27184016145300120233*c_1100_1^8 - 14665165126007003812926/27184016145300120233*c_1100_1^7 - 21493759099142144548320/27184016145300120233*c_1100_1^6 - 25943646202927590901211/27184016145300120233*c_1100_1^5 - 18439663324771185254609/27184016145300120233*c_1100_1^4 - 9527935398591494079577/27184016145300120233*c_1100_1^3 - 2474939742325182653439/27184016145300120233*c_1100_1^2 - 343338022831852270585/27184016145300120233*c_1100_1 - 22669438406369453671/27184016145300120233, c_1100_1^15 + 8*c_1100_1^14 + 13*c_1100_1^13 + 8*c_1100_1^12 + 191*c_1100_1^11 + 536*c_1100_1^10 + 1136*c_1100_1^9 + 1778*c_1100_1^8 + 2460*c_1100_1^7 + 3210*c_1100_1^6 + 2955*c_1100_1^5 + 1799*c_1100_1^4 + 721*c_1100_1^3 + 145*c_1100_1^2 + 12*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.370 seconds, Total memory usage: 64.12MB