Magma V2.19-8 Tue Aug 20 2013 23:38:19 on localhost [Seed = 374370872] Type ? for help. Type -D to quit. Loading file "K13n2566__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2566 geometric_solution 7.61453527 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118376970521 0.597716112093 0 4 6 5 0132 0132 0132 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 1 -1 1 -8 0 7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.490088261086 1.026584135598 3 0 6 0 0321 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.250240798496 0.581132460018 2 7 7 0 0321 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082217090900 1.169812215287 5 1 8 9 0213 0132 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391401783494 1.071174175731 4 9 1 8 0213 1023 0132 3201 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 0 0 0 -1 0 1 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092171004192 0.926776750683 9 2 8 1 1302 0213 3201 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 0 0 0 -7 0 8 -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.513764982142 1.094251943719 3 3 8 9 2310 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996385489089 2.401912113537 6 5 7 4 2310 2310 1023 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 0 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038588613439 0.315327704233 5 6 4 7 1023 2031 0132 1023 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 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.618275464296 0.862794423617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_8'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_5' : negation(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_1100_4'], 'c_1100_8' : d['c_1100_4'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_1100_4'], 'c_1100_7' : negation(d['c_1100_4']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0101_1']), 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_8'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0101_9'], 's_3_1' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_5'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0101_7']), 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_9']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0101_1, c_0101_7, c_0101_8, c_0101_9, c_1100_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 51953804195052642272679343334701/679872107168788521044938524519240*\ c_1100_4^13 - 10648545929320781620448385254746/94426681551220627922\ 90812840545*c_1100_4^12 + 908286746887755509301451414647989/1359744\ 21433757704208987704903848*c_1100_4^11 - 3295567708755287794698088559583017/16996802679219713026123463112981\ 0*c_1100_4^10 + 18355075590071508891309839256389803/679872107168788\ 521044938524519240*c_1100_4^9 - 1856601528211836768826305273337864/\ 84984013396098565130617315564905*c_1100_4^8 + 845330793544022310826942838061467/28328004465366188376872438521635*\ c_1100_4^7 + 2568193207606419760296860155134565/6798721071687885210\ 4493852451924*c_1100_4^6 - 44743364434983171538429188771520831/3399\ 36053584394260522469262259620*c_1100_4^5 - 48574910175653752366875112011780271/6798721071687885210449385245192\ 40*c_1100_4^4 - 2304827418471827306194622684022535/3399360535843942\ 6052246926225962*c_1100_4^3 + 151265551298174977245670795404568193/\ 679872107168788521044938524519240*c_1100_4^2 + 23945210132504998635514729461254293/6798721071687885210449385245192\ 4*c_1100_4 - 92650562409419945708425279230458069/679872107168788521\ 044938524519240, c_0011_0 - 1, c_0011_3 + 8167597515957366648343/4553739391433558565104926*c_1100_4^13 - 237034076502247075735137/9107478782867117130209852*c_1100_4^12 + 343259962309562564671250/2276869695716779282552463*c_1100_4^11 - 962892510060952066787931/2276869695716779282552463*c_1100_4^10 + 5036503294471929881017045/9107478782867117130209852*c_1100_4^9 - 1928136476796801427757159/4553739391433558565104926*c_1100_4^8 + 1441363395215817654234171/2276869695716779282552463*c_1100_4^7 + 4221140586231180590366553/4553739391433558565104926*c_1100_4^6 - 5733810174385832038783748/2276869695716779282552463*c_1100_4^5 - 5241976241775109901606384/2276869695716779282552463*c_1100_4^4 - 15778379063666883205397009/9107478782867117130209852*c_1100_4^3 + 16935432089733940603461253/4553739391433558565104926*c_1100_4^2 + 34977367516382016624358171/4553739391433558565104926*c_1100_4 - 17756811084935192180953977/9107478782867117130209852, c_0011_5 - 10094873946928853851587/9107478782867117130209852*c_1100_4^1\ 3 + 149568486919336867855325/9107478782867117130209852*c_1100_4^12 - 447216918353800537660845/4553739391433558565104926*c_1100_4^11 + 2655199995301914030989579/9107478782867117130209852*c_1100_4^10 - 3923449031919164980972929/9107478782867117130209852*c_1100_4^9 + 1767696539339741791531961/4553739391433558565104926*c_1100_4^8 - 2219533970739092856009333/4553739391433558565104926*c_1100_4^7 - 2165604805989714181506069/4553739391433558565104926*c_1100_4^6 + 8272751488760634184408409/4553739391433558565104926*c_1100_4^5 + 6254374869594695031995367/9107478782867117130209852*c_1100_4^4 + 7352400575012188942668823/9107478782867117130209852*c_1100_4^3 - 10482129819558927057109921/4553739391433558565104926*c_1100_4^2 - 36499178369813228526975309/9107478782867117130209852*c_1100_4 + 24944121603912570223997491/9107478782867117130209852, c_0011_6 + 11746130277894222055633/9107478782867117130209852*c_1100_4^1\ 3 - 170824199892976801970681/9107478782867117130209852*c_1100_4^12 + 248444188130095869851443/2276869695716779282552463*c_1100_4^11 - 2810632960054446217491145/9107478782867117130209852*c_1100_4^10 + 3725489349160145585813609/9107478782867117130209852*c_1100_4^9 - 1372307006222076736940355/4553739391433558565104926*c_1100_4^8 + 1751424038932188883749705/4553739391433558565104926*c_1100_4^7 + 3572662329830648376501427/4553739391433558565104926*c_1100_4^6 - 8818136661524493892807489/4553739391433558565104926*c_1100_4^5 - 13185475828321237808841269/9107478782867117130209852*c_1100_4^4 - 7847317536168902122948651/9107478782867117130209852*c_1100_4^3 + 4472225938039992154686054/2276869695716779282552463*c_1100_4^2 + 47603376654958851948942823/9107478782867117130209852*c_1100_4 - 18871641744927751546080095/9107478782867117130209852, c_0011_8 - 10017901135624911744809/4553739391433558565104926*c_1100_4^1\ 3 + 294892303493815547488125/9107478782867117130209852*c_1100_4^12 - 435253688459336258555671/2276869695716779282552463*c_1100_4^11 + 2518576651874255814313913/4553739391433558565104926*c_1100_4^10 - 7042334770165958411823431/9107478782867117130209852*c_1100_4^9 + 3024925443087669561103245/4553739391433558565104926*c_1100_4^8 - 2168120459579553080394355/2276869695716779282552463*c_1100_4^7 - 4717538268650939067491441/4553739391433558565104926*c_1100_4^6 + 8354735909679226680455289/2276869695716779282552463*c_1100_4^5 + 5290137083730535496743355/2276869695716779282552463*c_1100_4^4 + 21495846767032091158140537/9107478782867117130209852*c_1100_4^3 - 29130598041295716798464767/4553739391433558565104926*c_1100_4^2 - 23450699576943413026176586/2276869695716779282552463*c_1100_4 + 25199360698532420844782775/9107478782867117130209852, c_0101_1 - 2219813914012982958979/2276869695716779282552463*c_1100_4^13 + 131041890360913351735963/9107478782867117130209852*c_1100_4^12 - 194537617953919184308246/2276869695716779282552463*c_1100_4^11 + 570865603323384979044841/2276869695716779282552463*c_1100_4^10 - 3333563631007219307314161/9107478782867117130209852*c_1100_4^9 + 1591103698527409536933783/4553739391433558565104926*c_1100_4^8 - 1134050048020874454139136/2276869695716779282552463*c_1100_4^7 - 1717784697230792919218303/4553739391433558565104926*c_1100_4^6 + 3506200893739986874486175/2276869695716779282552463*c_1100_4^5 + 4645590170585127745184891/4553739391433558565104926*c_1100_4^4 + 9700071717727310850346079/9107478782867117130209852*c_1100_4^3 - 11423460611568029539495077/4553739391433558565104926*c_1100_4^2 - 22203278051128958797132361/4553739391433558565104926*c_1100_4 + 10981356389690764801212761/9107478782867117130209852, c_0101_7 - 13674358858194184905445/9107478782867117130209852*c_1100_4^1\ 3 + 199966720402427847555403/9107478782867117130209852*c_1100_4^12 - 584487123939701033964667/4553739391433558565104926*c_1100_4^11 + 3317402742486751936731605/9107478782867117130209852*c_1100_4^10 - 4389683465692769484157383/9107478782867117130209852*c_1100_4^9 + 1596647478098816226397359/4553739391433558565104926*c_1100_4^8 - 2133552727694960383156249/4553739391433558565104926*c_1100_4^7 - 4267885169971986337881795/4553739391433558565104926*c_1100_4^6 + 11811968224401164383921415/4553739391433558565104926*c_1100_4^5 + 12764380564627387375708705/9107478782867117130209852*c_1100_4^4 + 17852746998250589847751813/9107478782867117130209852*c_1100_4^3 - 17587876519904353875929749/4553739391433558565104926*c_1100_4^2 - 60355034917457880970711215/9107478782867117130209852*c_1100_4 + 17497510110559255925112053/9107478782867117130209852, c_0101_8 - 2749597742489761980714/2276869695716779282552463*c_1100_4^13 + 157426489631746485507985/9107478782867117130209852*c_1100_4^12 - 449294011015642951023167/4553739391433558565104926*c_1100_4^11 + 621508288049621257979322/2276869695716779282552463*c_1100_4^10 - 3274960120913764622374543/9107478782867117130209852*c_1100_4^9 + 1449811741351564513341575/4553739391433558565104926*c_1100_4^8 - 1107317093511128681228462/2276869695716779282552463*c_1100_4^7 - 2721869962129209435587971/4553739391433558565104926*c_1100_4^6 + 3150723612317011921694127/2276869695716779282552463*c_1100_4^5 + 6863623981147262031943649/4553739391433558565104926*c_1100_4^4 + 16627759968010835775756957/9107478782867117130209852*c_1100_4^3 - 4698459490937537845700845/2276869695716779282552463*c_1100_4^2 - 19706393307942394935882467/4553739391433558565104926*c_1100_4 + 8276755643565315460832495/9107478782867117130209852, c_0101_9 + 4772917862310961357395/9107478782867117130209852*c_1100_4^13 - 68091553200864683136671/9107478782867117130209852*c_1100_4^12 + 190953308076561942774753/4553739391433558565104926*c_1100_4^11 - 993561427701789411212381/9107478782867117130209852*c_1100_4^10 + 1004633908944395120403893/9107478782867117130209852*c_1100_4^9 - 121504633670269820668129/4553739391433558565104926*c_1100_4^8 + 358374209471192577349599/4553739391433558565104926*c_1100_4^7 + 1842454007316239311600005/4553739391433558565104926*c_1100_4^6 - 3977074157275393525996323/4553739391433558565104926*c_1100_4^5 - 7029510346119488427342435/9107478782867117130209852*c_1100_4^4 - 6219821169192823642156193/9107478782867117130209852*c_1100_4^3 + 6463134625638233074601681/4553739391433558565104926*c_1100_4^2 + 31586953853058072020707187/9107478782867117130209852*c_1100_4 - 867821524189708487889767/9107478782867117130209852, c_1100_4^14 - 15*c_1100_4^13 + 91*c_1100_4^12 - 275*c_1100_4^11 + 415*c_1100_4^10 - 371*c_1100_4^9 + 456*c_1100_4^8 + 406*c_1100_4^7 - 1844*c_1100_4^6 - 517*c_1100_4^5 - 647*c_1100_4^4 + 3083*c_1100_4^3 + 3883*c_1100_4^2 - 2843*c_1100_4 + 453 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB