Magma V2.19-8 Tue Aug 20 2013 23:40:29 on localhost [Seed = 913330876] Type ? for help. Type -D to quit. Loading file "L11a358__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a358 geometric_solution 10.07342043 oriented_manifold CS_known -0.0000000000000001 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 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577079374629 0.572626860484 0 0 5 4 0132 1230 0132 0132 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 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.834552465323 1.129968910143 6 0 7 6 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 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.378060124853 0.486723714561 8 9 0 9 0132 0132 0132 1230 1 1 0 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 -1 1 0 0 0 0 0 -1 -4 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525132608125 0.661667588862 8 8 1 10 1023 0213 0132 0132 1 1 1 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 -3 0 0 3 -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.006172117212 1.779140552644 8 7 10 1 3120 2031 3201 0132 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 0 0 0 0 0 0 0 1 0 0 -1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.016173353350 0.755969555249 2 2 9 7 0132 1302 1023 0132 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 1 -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.004658163154 1.281427064743 5 9 6 2 1302 0321 0132 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 -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.385357760040 1.556311865362 3 4 4 5 0132 1023 0213 3120 1 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 0 0 0 0 3 0 -3 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.240842203354 0.425863650408 3 3 6 7 3012 0132 1023 0321 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 1 -1 0 0 0 0 0 0 0 0 0 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715913186973 0.997534386154 5 10 4 10 2310 1302 0132 2031 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 1 0 -1 4 0 -3 -1 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.159665990658 0.538315398208 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_5' : d['c_0011_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0101_0'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_5']), '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_1100_8' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1001_7']), 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : negation(d['c_1001_7']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_7'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_5']), '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_10' : negation(d['c_0101_5']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_5'])})} 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_7, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 4554128412685629486696524747499/307845918062767162128094924915*c_10\ 01_7^14 - 587813823697556421332758045586289/76961479515691790532023\ 73122875*c_1001_7^13 + 239253021123446783955083663431776/7696147951\ 569179053202373122875*c_1001_7^12 + 504303832552967783978881003493329/1539229590313835810640474624575*c\ _1001_7^11 - 8951061727083014965482729070873463/7696147951569179053\ 202373122875*c_1001_7^10 - 22565386995833646966914717517517867/7696\ 147951569179053202373122875*c_1001_7^9 + 3530081330280578182221256944437/2676921026632757931548651521*c_1001\ _7^8 + 41022740733803014031839091752913373/769614795156917905320237\ 3122875*c_1001_7^7 + 57081042485170879434311205790213786/7696147951\ 569179053202373122875*c_1001_7^6 + 33769014107055267622349221670643526/7696147951569179053202373122875\ *c_1001_7^5 + 375949085200866283353478307664724/3346151283290947414\ 43581440125*c_1001_7^4 - 2625864080551942942595066210624566/7696147\ 951569179053202373122875*c_1001_7^3 - 1106893743345626877166680332143414/7696147951569179053202373122875*\ c_1001_7^2 + 329057369745094965043549432654209/76961479515691790532\ 02373122875*c_1001_7 + 274174077650989202482449562079956/7696147951\ 569179053202373122875, c_0011_0 - 1, c_0011_10 + 22783166987126152035060308825/2676921026632757931548651521*\ c_1001_7^14 + 50990532049233353114515169508/26769210266327579315486\ 51521*c_1001_7^13 - 198130052339235011919083762636/2676921026632757\ 931548651521*c_1001_7^12 + 82442832042023542308384901657/2676921026\ 632757931548651521*c_1001_7^11 + 1579794007897621392320726396452/26\ 76921026632757931548651521*c_1001_7^10 - 203730585961374323849498722607/2676921026632757931548651521*c_1001_\ 7^9 - 1458033212730345462908185591639/2676921026632757931548651521*\ c_1001_7^8 - 3225957399398442323291528750523/2676921026632757931548\ 651521*c_1001_7^7 - 2197713918682298542308878180091/267692102663275\ 7931548651521*c_1001_7^6 - 929040242940964647461691840986/267692102\ 6632757931548651521*c_1001_7^5 - 11895744993781461778525237551/2676\ 921026632757931548651521*c_1001_7^4 + 57307481109783124277512421943/2676921026632757931548651521*c_1001_7\ ^3 + 12464980223303277917712995615/2676921026632757931548651521*c_1\ 001_7^2 - 21452806240061529460025644106/267692102663275793154865152\ 1*c_1001_7 - 3608901503570739833931182017/2676921026632757931548651\ 521, c_0011_3 + 110091466777283732233560915700/8030763079898273794645954563*\ c_1001_7^14 + 257304746578521955091502457208/8030763079898273794645\ 954563*c_1001_7^13 - 931765920130748258013238366139/803076307989827\ 3794645954563*c_1001_7^12 + 307294375085826148179587019146/80307630\ 79898273794645954563*c_1001_7^11 + 7666052797155027619453476761014/8030763079898273794645954563*c_1001\ _7^10 - 77325364227398516503298924503/2676921026632757931548651521*\ c_1001_7^9 - 7063315070768295412462462300334/8030763079898273794645\ 954563*c_1001_7^8 - 5403854658814920426071251889651/267692102663275\ 7931548651521*c_1001_7^7 - 12200954203501905836303215555517/8030763\ 079898273794645954563*c_1001_7^6 - 5832638301539146254042860525620/8030763079898273794645954563*c_1001\ _7^5 - 801455929881598162801915759622/8030763079898273794645954563*\ c_1001_7^4 + 17650589999910323329291970336/267692102663275793154865\ 1521*c_1001_7^3 + 43915904325954045636646197340/8030763079898273794\ 645954563*c_1001_7^2 - 34087873866875905926112244059/26769210266327\ 57931548651521*c_1001_7 - 16986339121936386129686581493/80307630798\ 98273794645954563, c_0011_5 - 1995585710234641344524906300/2676921026632757931548651521*c_\ 1001_7^14 - 5281274949710265994849665697/26769210266327579315486515\ 21*c_1001_7^13 + 16334308687840307149942707582/26769210266327579315\ 48651521*c_1001_7^12 + 1443962820299128904943857320/267692102663275\ 7931548651521*c_1001_7^11 - 148893199086165350483273786468/26769210\ 26632757931548651521*c_1001_7^10 - 33962624975309823668162309371/2676921026632757931548651521*c_1001_7\ ^9 + 190733615691915551285705816629/2676921026632757931548651521*c_\ 1001_7^8 + 311445035594607119036244752915/2676921026632757931548651\ 521*c_1001_7^7 + 253253239783117197605855461188/2676921026632757931\ 548651521*c_1001_7^6 + 63829197500706957444289580753/26769210266327\ 57931548651521*c_1001_7^5 - 8186020545312167563595305640/2676921026\ 632757931548651521*c_1001_7^4 - 4371224764671855768874050698/267692\ 1026632757931548651521*c_1001_7^3 + 5271651856232616981268818402/2676921026632757931548651521*c_1001_7^\ 2 + 6424024051884521482179771303/2676921026632757931548651521*c_100\ 1_7 - 211350690048189229672798978/2676921026632757931548651521, c_0011_7 + 7461872495866787220274723450/2676921026632757931548651521*c_\ 1001_7^14 + 17479927550090066346254120343/2676921026632757931548651\ 521*c_1001_7^13 - 62573696071553011054406309435/2676921026632757931\ 548651521*c_1001_7^12 + 20967650794699018765397331822/2676921026632\ 757931548651521*c_1001_7^11 + 514282759050688556549857324542/267692\ 1026632757931548651521*c_1001_7^10 - 5443811047333995423290145204/2676921026632757931548651521*c_1001_7^\ 9 - 448726170510808383170488431985/2676921026632757931548651521*c_1\ 001_7^8 - 1147776807389860218999516378527/2676921026632757931548651\ 521*c_1001_7^7 - 846282192131018884067469108722/2676921026632757931\ 548651521*c_1001_7^6 - 428609779487643793773605306816/2676921026632\ 757931548651521*c_1001_7^5 - 29940500662739143293650592749/26769210\ 26632757931548651521*c_1001_7^4 + 16057842271201512832046901770/267\ 6921026632757931548651521*c_1001_7^3 + 9134441521746758611304884081/2676921026632757931548651521*c_1001_7^\ 2 - 8531508670513888594041501363/2676921026632757931548651521*c_100\ 1_7 - 2933370343029031817224939797/2676921026632757931548651521, c_0101_0 + 72176461324355691892739895875/8030763079898273794645954563*c\ _1001_7^14 + 156016397947080883670354772985/80307630798982737946459\ 54563*c_1001_7^13 - 640789659705687859092379370923/8030763079898273\ 794645954563*c_1001_7^12 + 306883117133611534352877516160/803076307\ 9898273794645954563*c_1001_7^11 + 4990551584984209727107581390596/8\ 030763079898273794645954563*c_1001_7^10 - 341755139066312016143327345976/2676921026632757931548651521*c_1001_\ 7^9 - 4629478292948823570576140289034/8030763079898273794645954563*\ c_1001_7^8 - 3298097586319548169224075554075/2676921026632757931548\ 651521*c_1001_7^7 - 6098631894001359881845127575666/803076307989827\ 3794645954563*c_1001_7^6 - 2299366698128767482995833323218/80307630\ 79898273794645954563*c_1001_7^5 + 337974690484414707141103709678/80\ 30763079898273794645954563*c_1001_7^4 + 79301623670898346693946767583/2676921026632757931548651521*c_1001_7\ ^3 + 54453517706442675322748083478/8030763079898273794645954563*c_1\ 001_7^2 - 23876087176994008656581254180/267692102663275793154865152\ 1*c_1001_7 - 3604871302873019107507112650/8030763079898273794645954\ 563, c_0101_1 - 1, c_0101_5 - 21348279014955595242803383500/2676921026632757931548651521*c\ _1001_7^14 - 50573842834086369757729508090/267692102663275793154865\ 1521*c_1001_7^13 + 179810835045442170776155915166/26769210266327579\ 31548651521*c_1001_7^12 - 52569210854691440817749301862/26769210266\ 32757931548651521*c_1001_7^11 - 1495305157062885416690582534209/267\ 6921026632757931548651521*c_1001_7^10 + 3361126824896770227720577556/2676921026632757931548651521*c_1001_7^\ 9 + 1418724154799870720671470732113/2676921026632757931548651521*c_\ 1001_7^8 + 3158342969304026479825947449538/267692102663275793154865\ 1521*c_1001_7^7 + 2429784166055389089936704974698/26769210266327579\ 31548651521*c_1001_7^6 + 1126205075558500307726943879700/2676921026\ 632757931548651521*c_1001_7^5 + 161043232237037725968111616924/2676\ 921026632757931548651521*c_1001_7^4 - 14876128966716416568512495608/2676921026632757931548651521*c_1001_7\ ^3 - 4602053323996716394200706041/2676921026632757931548651521*c_10\ 01_7^2 + 20709183581155243491192064456/2676921026632757931548651521\ *c_1001_7 + 4054276858928454949570885520/26769210266327579315486515\ 21, c_0101_6 - 20620786820723514432408734050/8030763079898273794645954563*c\ _1001_7^14 - 43468473522400804532911847882/803076307989827379464595\ 4563*c_1001_7^13 + 184403987917718255889683798768/80307630798982737\ 94645954563*c_1001_7^12 - 101430006077856712451925142664/8030763079\ 898273794645954563*c_1001_7^11 - 1414491470091145240469855453701/80\ 30763079898273794645954563*c_1001_7^10 + 126984583487956689886421266704/2676921026632757931548651521*c_1001_\ 7^9 + 1219089898845593796684420026009/8030763079898273794645954563*\ c_1001_7^8 + 887344542394039785573880975352/26769210266327579315486\ 51521*c_1001_7^7 + 1737229584024474019188247137560/8030763079898273\ 794645954563*c_1001_7^6 + 783253144186030607004111323026/8030763079\ 898273794645954563*c_1001_7^5 + 126853721631237280542963330044/8030\ 763079898273794645954563*c_1001_7^4 + 13529765767816228227596619030/2676921026632757931548651521*c_1001_7\ ^3 - 798682383098994993301843480/8030763079898273794645954563*c_100\ 1_7^2 + 4547617788400689157810444198/2676921026632757931548651521*c\ _1001_7 - 3101260649059123373096504464/8030763079898273794645954563\ , c_1001_2 - 1490728679295260292073571300/2676921026632757931548651521*c_\ 1001_7^14 - 4567452189745405384702225947/26769210266327579315486515\ 21*c_1001_7^13 + 10167278764370469612467866816/26769210266327579315\ 48651521*c_1001_7^12 + 5748115896922134199779096647/267692102663275\ 7931548651521*c_1001_7^11 - 106616235063567007042890135081/26769210\ 26632757931548651521*c_1001_7^10 - 77541375015748251763259147079/2676921026632757931548651521*c_1001_7\ ^9 + 108527566133572218370189195795/2676921026632757931548651521*c_\ 1001_7^8 + 325928644455829611765457523815/2676921026632757931548651\ 521*c_1001_7^7 + 291191285257056923799175074212/2676921026632757931\ 548651521*c_1001_7^6 + 155681222665115832294583136092/2676921026632\ 757931548651521*c_1001_7^5 + 10900334977572902188627428192/26769210\ 26632757931548651521*c_1001_7^4 - 11872325472972647007223188664/267\ 6921026632757931548651521*c_1001_7^3 - 3295523291217552879963826577/2676921026632757931548651521*c_1001_7^\ 2 + 170751578401828799646552536/2676921026632757931548651521*c_1001\ _7 + 1192942399420802904015362422/2676921026632757931548651521, c_1001_7^15 + 61/25*c_1001_7^14 - 41/5*c_1001_7^13 + 49/25*c_1001_7^12 + 1742/25*c_1001_7^11 + 131/25*c_1001_7^10 - 1568/25*c_1001_7^9 - 3877/25*c_1001_7^8 - 3197/25*c_1001_7^7 - 331/5*c_1001_7^6 - 319/25*c_1001_7^5 + 17/25*c_1001_7^4 + 22/25*c_1001_7^3 - 22/25*c_1001_7^2 - 8/25*c_1001_7 - 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.260 seconds, Total memory usage: 32.09MB