Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 3667609286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s678 geometric_solution 5.17702347 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284692909321 0.718540322684 3 2 4 0 0132 3012 0132 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 -1 0 1 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.786315235353 1.133302842106 1 3 0 4 1230 0132 0132 2310 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 0 1 0 -1 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.786315235353 1.133302842106 1 2 3 3 0132 0132 2031 1302 0 0 0 0 0 1 -1 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 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.654205795706 0.744613253555 2 5 5 1 3201 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 1 0 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.090090126048 0.537688409647 4 4 5 5 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.147936294103 0.787947847838 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : 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' : 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_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 33453031638618810606005943/14129416274984837732205080*c_0101_5^17 - 16545692113556832121540617/2825883254996967546441016*c_0101_5^16 - 159349622985874807996625169/2825883254996967546441016*c_0101_5^15 - 1095899927207525918885665817/14129416274984837732205080*c_0101_5^14 - 576000616608328717931630259/3532354068746209433051270*c_0101_5^13 + 167260529909812784363668971/7064708137492418866102540*c_0101_5^12 + 4391840632100125370732637959/7064708137492418866102540*c_0101_5^1\ 1 + 185409328247938367543007959/160561548579373156047785*c_0101_5^1\ 0 + 18043436407110874247878824239/14129416274984837732205080*c_0101\ _5^9 + 9356551843166724921867801247/7064708137492418866102540*c_010\ 1_5^8 + 8947617672389748401052351041/7064708137492418866102540*c_01\ 01_5^7 + 1973901460506022667999996391/3532354068746209433051270*c_0\ 101_5^6 - 680443834482670220678961123/3532354068746209433051270*c_0\ 101_5^5 - 1044699500295560298013160557/3532354068746209433051270*c_\ 0101_5^4 + 483928580653504611458842007/7064708137492418866102540*c_\ 0101_5^3 + 125382949438865792505088153/1766177034373104716525635*c_\ 0101_5^2 - 136650978909099756604777313/3532354068746209433051270*c_\ 0101_5 + 206505676196871238652490999/14129416274984837732205080, c_0011_0 - 1, c_0011_1 - 25855623512620841703761/642246194317492624191140*c_0101_5^17 + 4996398941625422638415/32112309715874631209557*c_0101_5^16 + 106787661592685984005573/128449238863498524838228*c_0101_5^15 - 7317898821439346388493/321123097158746312095570*c_0101_5^14 + 98874635901908089022668/160561548579373156047785*c_0101_5^13 - 1634484252383814183617357/321123097158746312095570*c_0101_5^12 - 1817632839480734158081364/160561548579373156047785*c_0101_5^11 - 984319361207867168733961/160561548579373156047785*c_0101_5^10 + 5848872962333543369297947/642246194317492624191140*c_0101_5^9 + 11547206936752269144019207/642246194317492624191140*c_0101_5^8 + 15875090108005557571513101/642246194317492624191140*c_0101_5^7 + 22770615845079188006789817/642246194317492624191140*c_0101_5^6 + 20954155239971464097963809/642246194317492624191140*c_0101_5^5 + 7828643262928636422661821/642246194317492624191140*c_0101_5^4 - 3586108597416284194708553/642246194317492624191140*c_0101_5^3 - 1906097492295325086308333/642246194317492624191140*c_0101_5^2 + 406483575417280766846639/642246194317492624191140*c_0101_5 - 80260450030212319644449/321123097158746312095570, c_0011_4 - 17414038425138560081519/128449238863498524838228*c_0101_5^17 + 10635309269468160214787/32112309715874631209557*c_0101_5^16 + 408798027949270618579179/128449238863498524838228*c_0101_5^15 + 301181349144299938775505/64224619431749262419114*c_0101_5^14 + 345508112745912302080963/32112309715874631209557*c_0101_5^13 + 37195629078617199885433/64224619431749262419114*c_0101_5^12 - 1015430664619368310480573/32112309715874631209557*c_0101_5^11 - 2190515452825560323248379/32112309715874631209557*c_0101_5^10 - 11341216213363096439409759/128449238863498524838228*c_0101_5^9 - 13373094295033103128128923/128449238863498524838228*c_0101_5^8 - 13414396619211478575818257/128449238863498524838228*c_0101_5^7 - 8651805992216560839175125/128449238863498524838228*c_0101_5^6 - 2657748417986703505442329/128449238863498524838228*c_0101_5^5 + 276090484773047766174227/128449238863498524838228*c_0101_5^4 - 237607107268204707964987/128449238863498524838228*c_0101_5^3 + 132435951061069473498061/128449238863498524838228*c_0101_5^2 + 203544144504623886347289/128449238863498524838228*c_0101_5 - 51259742711774451165263/64224619431749262419114, c_0101_0 + 6023467415870188341557/128449238863498524838228*c_0101_5^17 - 6906562771035401617997/32112309715874631209557*c_0101_5^16 - 111953713143156156515077/128449238863498524838228*c_0101_5^15 + 51507125435873522339181/64224619431749262419114*c_0101_5^14 + 2806133027640288601662/32112309715874631209557*c_0101_5^13 + 496587046224729162122047/64224619431749262419114*c_0101_5^12 + 372464711280491444456571/32112309715874631209557*c_0101_5^11 - 59997186325567157523711/32112309715874631209557*c_0101_5^10 - 3133988074256672573231935/128449238863498524838228*c_0101_5^9 - 4033970066670257789353795/128449238863498524838228*c_0101_5^8 - 4729470242096588119344705/128449238863498524838228*c_0101_5^7 - 6184823290760046774863065/128449238863498524838228*c_0101_5^6 - 4374916847659288503451221/128449238863498524838228*c_0101_5^5 - 388860828906450826906157/128449238863498524838228*c_0101_5^4 + 1712125685173965690207985/128449238863498524838228*c_0101_5^3 + 165151920885472931837841/128449238863498524838228*c_0101_5^2 - 259171166565404240530819/128449238863498524838228*c_0101_5 + 61443209000644706828365/64224619431749262419114, c_0101_1 - 468203273670294720899/160561548579373156047785*c_0101_5^17 + 1007760568749920683953/32112309715874631209557*c_0101_5^16 - 314607206907092742427/32112309715874631209557*c_0101_5^15 - 66465966667676567815764/160561548579373156047785*c_0101_5^14 - 30667518612641946505507/160561548579373156047785*c_0101_5^13 - 228831910692828255479176/160561548579373156047785*c_0101_5^12 + 103691537834911622239041/160561548579373156047785*c_0101_5^11 + 615109368289889051366544/160561548579373156047785*c_0101_5^10 + 1014935087256364169362768/160561548579373156047785*c_0101_5^9 + 911721204592901588804988/160561548579373156047785*c_0101_5^8 + 913140415601888561405124/160561548579373156047785*c_0101_5^7 + 760747432784069778766488/160561548579373156047785*c_0101_5^6 + 8648187846339106402981/160561548579373156047785*c_0101_5^5 - 396931546965168782783826/160561548579373156047785*c_0101_5^4 - 329051281460549786005937/160561548579373156047785*c_0101_5^3 + 357211634651463481590193/160561548579373156047785*c_0101_5^2 + 195248904767454546922356/160561548579373156047785*c_0101_5 + 30814263764904295722288/160561548579373156047785, c_0101_5^18 - 2*c_0101_5^17 - 25*c_0101_5^16 - 44*c_0101_5^15 - 84*c_0101_5^14 - 22*c_0101_5^13 + 268*c_0101_5^12 + 612*c_0101_5^11 + 765*c_0101_5^10 + 807*c_0101_5^9 + 793*c_0101_5^8 + 485*c_0101_5^7 + 25*c_0101_5^6 - 163*c_0101_5^5 - 25*c_0101_5^4 + 47*c_0101_5^3 - 5*c_0101_5^2 - 4*c_0101_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB