Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 4139215575] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s162 geometric_solution 4.25186484 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.325741528882 0.190342713955 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 -1 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 1.549448745969 1.231149398472 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 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 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 0.729358278524 0.299548905424 2 4 4 5 0132 1302 3201 0132 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 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.411597269813 0.585314451399 3 5 2 3 2310 1023 0132 2031 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 0 1 -1 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.411597269813 0.585314451399 4 5 3 5 1023 2310 0132 3201 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 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.803892565390 1.143180410571 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 714443998108953773648659845979/9662226214453437907341783312*c_0101_\ 3^15 - 2404643623699972530142451490085/4831113107226718953670891656\ *c_0101_3^14 - 5452868536894727483149055826997/16103710357422396512\ 23630552*c_0101_3^13 - 1566531496560609864013234591187/483111310722\ 6718953670891656*c_0101_3^12 + 16441558330644783173280967218566/603\ 889138403339869208861457*c_0101_3^11 + 43152037255349232463529361915745/4831113107226718953670891656*c_010\ 1_3^10 - 271803738342657157177314626723477/161037103574223965122363\ 0552*c_0101_3^9 - 787851159955184338920787147338411/322074207148447\ 9302447261104*c_0101_3^8 + 485650304499871507610618265271947/322074\ 2071484479302447261104*c_0101_3^7 + 3358743597204845466455980622761051/9662226214453437907341783312*c_0\ 101_3^6 - 710882129978671509771686767466561/96622262144534379073417\ 83312*c_0101_3^5 - 478656786825860289583391604164695/48311131072267\ 18953670891656*c_0101_3^4 + 141838809164835868095174932660873/16103\ 71035742239651223630552*c_0101_3^3 - 39873507799236524055200200843957/2415556553613359476835445828*c_010\ 1_3^2 - 22104338384445554135906549087557/96622262144534379073417833\ 12*c_0101_3 + 3296146299945663520255742443763/966222621445343790734\ 1783312, c_0011_0 - 1, c_0011_2 - 13287201820731448130300/13070344748248812181219*c_0101_3^15 + 88077099984318194644772/13070344748248812181219*c_0101_3^14 + 617465602113654915151577/13070344748248812181219*c_0101_3^13 + 122140046752629677028320/13070344748248812181219*c_0101_3^12 - 4877029791601635621182169/13070344748248812181219*c_0101_3^11 - 2105233703059325577270864/13070344748248812181219*c_0101_3^10 + 30092157563650761631612012/13070344748248812181219*c_0101_3^9 + 47036976855470305193123153/13070344748248812181219*c_0101_3^8 - 22132616347455933096802103/13070344748248812181219*c_0101_3^7 - 64499332022149260134158362/13070344748248812181219*c_0101_3^6 + 6575476036836569084520054/13070344748248812181219*c_0101_3^5 + 18213062918485422791854382/13070344748248812181219*c_0101_3^4 - 14042760206863607082809991/13070344748248812181219*c_0101_3^3 + 1565920764687249307829668/13070344748248812181219*c_0101_3^2 + 562449423297260595746884/13070344748248812181219*c_0101_3 - 24435118841592121920622/13070344748248812181219, c_0011_4 - 145870466720034146282697706/201296379467779956402953819*c_01\ 01_3^15 + 973700803032511625523043765/201296379467779956402953819*c\ _0101_3^14 + 6734230867835824514306473854/2012963794677799564029538\ 19*c_0101_3^13 + 1023989308301134745169325563/201296379467779956402\ 953819*c_0101_3^12 - 53621765311714948086039379399/2012963794677799\ 56402953819*c_0101_3^11 - 20637773085934636613036359715/20129637946\ 7779956402953819*c_0101_3^10 + 331563902590236855939940532327/20129\ 6379467779956402953819*c_0101_3^9 + 501161772324810605340077460573/201296379467779956402953819*c_0101_3\ ^8 - 267717419679763636211292778921/201296379467779956402953819*c_0\ 101_3^7 - 698430330139286585265899886894/20129637946777995640295381\ 9*c_0101_3^6 + 104932476654642507233505848227/201296379467779956402\ 953819*c_0101_3^5 + 198274004058607081301319877199/2012963794677799\ 56402953819*c_0101_3^4 - 162601274595642719257936839442/20129637946\ 7779956402953819*c_0101_3^3 + 24160710193962156807709175710/2012963\ 79467779956402953819*c_0101_3^2 + 5464105187576464673709549245/2012\ 96379467779956402953819*c_0101_3 - 455412404639711548131754340/201296379467779956402953819, c_0101_0 - 286654712674513990157400537/201296379467779956402953819*c_01\ 01_3^15 + 1904900831291800918976714180/201296379467779956402953819*\ c_0101_3^14 + 13290869713651293784984935315/20129637946777995640295\ 3819*c_0101_3^13 + 2404785525828172328347468061/2012963794677799564\ 02953819*c_0101_3^12 - 105311691828495670797528442866/2012963794677\ 79956402953819*c_0101_3^11 - 43650898762445771146429951306/20129637\ 9467779956402953819*c_0101_3^10 + 650389269712657778687899789009/20\ 1296379467779956402953819*c_0101_3^9 + 1003894832581629617530040753581/201296379467779956402953819*c_0101_\ 3^8 - 496963493915191158122382759580/201296379467779956402953819*c_\ 0101_3^7 - 1386211872325872429639688517320/201296379467779956402953\ 819*c_0101_3^6 + 168052187101545466187016791236/2012963794677799564\ 02953819*c_0101_3^5 + 393649638462870154375241325248/20129637946777\ 9956402953819*c_0101_3^4 - 311196943941349536717144389085/201296379\ 467779956402953819*c_0101_3^3 + 38786245105356275494687192339/20129\ 6379467779956402953819*c_0101_3^2 + 11970179140667732620397278677/201296379467779956402953819*c_0101_3 - 639784312892299697525481737/201296379467779956402953819, c_0101_1 + 26567902796505144421895/13070344748248812181219*c_0101_3^15 - 177418869704244340427860/13070344748248812181219*c_0101_3^14 - 1226010983691766257537744/13070344748248812181219*c_0101_3^13 - 183094593407181125998763/13070344748248812181219*c_0101_3^12 + 9765902724783039039331476/13070344748248812181219*c_0101_3^11 + 3729346010557690152804219/13070344748248812181219*c_0101_3^10 - 60394450882984875115282494/13070344748248812181219*c_0101_3^9 - 91092186063675249141571180/13070344748248812181219*c_0101_3^8 + 48991658758394691996040246/13070344748248812181219*c_0101_3^7 + 126938323578734485995367085/13070344748248812181219*c_0101_3^6 - 19582724274033873652233981/13070344748248812181219*c_0101_3^5 - 35962324331097457250044466/13070344748248812181219*c_0101_3^4 + 29887269959476295094665106/13070344748248812181219*c_0101_3^3 - 4454914585410917824832976/13070344748248812181219*c_0101_3^2 - 992552817445650618174316/13070344748248812181219*c_0101_3 + 84926444619326437984817/13070344748248812181219, c_0101_3^16 - 7*c_0101_3^15 - 44*c_0101_3^14 + 8*c_0101_3^13 + 370*c_0101_3^12 + 22*c_0101_3^11 - 2320*c_0101_3^10 - 2697*c_0101_3^9 + 2958*c_0101_3^8 + 4198*c_0101_3^7 - 2284*c_0101_3^6 - 1135*c_0101_3^5 + 1564*c_0101_3^4 - 526*c_0101_3^3 + 13*c_0101_3^2 + 16*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB