Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1680210093] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1657 geometric_solution 5.39751832 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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.525314256071 0.578900170922 0 2 3 0 3201 0132 0132 0132 0 0 0 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 0 0 0 0 1 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 0 0 0 0.710013889846 0.407712375852 3 1 4 5 2103 0132 0132 0132 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 -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 1.060480393965 0.758881514882 4 5 2 1 1023 0132 2103 0132 0 0 0 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 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 1.060480393965 0.758881514882 6 3 6 2 0132 1023 1023 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 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.879739515482 0.495577224459 5 3 2 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535411150481 0.646526302014 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.593069550298 0.167670342970 ==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' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 69482634741911345501308/17087548560330108787983*c_1001_1^14 - 1109218766597419275714475/17087548560330108787983*c_1001_1^13 - 2091045379473341869669306/17087548560330108787983*c_1001_1^12 + 4250705262930096020323736/5695849520110036262661*c_1001_1^11 + 40816665096984282742420223/17087548560330108787983*c_1001_1^10 - 3302714900382286800284089/17087548560330108787983*c_1001_1^9 - 111744272753797719804959702/17087548560330108787983*c_1001_1^8 - 5822201758753273640511364/1898616506703345420887*c_1001_1^7 + 144490005418760126315120465/17087548560330108787983*c_1001_1^6 + 110915000978329994688734197/17087548560330108787983*c_1001_1^5 - 96855704329166592377130167/17087548560330108787983*c_1001_1^4 - 116186888756509698101330827/17087548560330108787983*c_1001_1^3 + 4595757682933302691711270/5695849520110036262661*c_1001_1^2 + 45619050461079098916195260/17087548560330108787983*c_1001_1 + 1093996685577052497496474/1898616506703345420887, c_0011_0 - 1, c_0011_1 + 14479662322924780/370606384287203869*c_1001_1^14 + 248699107628767749/370606384287203869*c_1001_1^13 + 736633182851922528/370606384287203869*c_1001_1^12 - 1775926292066984296/370606384287203869*c_1001_1^11 - 10725114148415257905/370606384287203869*c_1001_1^10 - 12329707702361677465/370606384287203869*c_1001_1^9 + 9155763156884928540/370606384287203869*c_1001_1^8 + 23877598122493255491/370606384287203869*c_1001_1^7 - 1227150575612721362/370606384287203869*c_1001_1^6 - 27928894583156711167/370606384287203869*c_1001_1^5 - 14935660595796755233/370606384287203869*c_1001_1^4 + 9739441227908333413/370606384287203869*c_1001_1^3 + 11878146610250750346/370606384287203869*c_1001_1^2 + 3368532688336455468/370606384287203869*c_1001_1 - 24589579147644640/370606384287203869, c_0011_3 - 24410402295638835706/1898616506703345420887*c_1001_1^14 - 441338977943864876294/1898616506703345420887*c_1001_1^13 - 1598245568263582707929/1898616506703345420887*c_1001_1^12 + 2249372941318345102487/1898616506703345420887*c_1001_1^11 + 21751473234430485733002/1898616506703345420887*c_1001_1^10 + 33883004727332909307587/1898616506703345420887*c_1001_1^9 - 11825030283869206256693/1898616506703345420887*c_1001_1^8 - 66112021588646486770985/1898616506703345420887*c_1001_1^7 - 13773454484644816150319/1898616506703345420887*c_1001_1^6 + 76803759492354908525763/1898616506703345420887*c_1001_1^5 + 50854879415469783316856/1898616506703345420887*c_1001_1^4 - 31070049388869260775728/1898616506703345420887*c_1001_1^3 - 38534832609868033109220/1898616506703345420887*c_1001_1^2 - 5320237911413053078354/1898616506703345420887*c_1001_1 + 2598522212571243613307/1898616506703345420887, c_0101_0 + 43782715050334147/1111819152861611607*c_1001_1^14 + 732813574565494225/1111819152861611607*c_1001_1^13 + 1899487421915203258/1111819152861611607*c_1001_1^12 - 2103237205231468937/370606384287203869*c_1001_1^11 - 29872509757600925888/1111819152861611607*c_1001_1^10 - 23107160194550746763/1111819152861611607*c_1001_1^9 + 41446655020804863698/1111819152861611607*c_1001_1^8 + 18452907932778282062/370606384287203869*c_1001_1^7 - 33861204782985395840/1111819152861611607*c_1001_1^6 - 74576324034296963815/1111819152861611607*c_1001_1^5 - 6843224747660595991/1111819152861611607*c_1001_1^4 + 40704606713692797073/1111819152861611607*c_1001_1^3 + 5560784429092337766/370606384287203869*c_1001_1^2 - 3055625289822101456/1111819152861611607*c_1001_1 + 21235494069930522/370606384287203869, c_0101_2 + 687664210475399749276/5695849520110036262661*c_1001_1^14 + 11705275102389041666359/5695849520110036262661*c_1001_1^13 + 33112945362877038752560/5695849520110036262661*c_1001_1^12 - 30177656621646929711373/1898616506703345420887*c_1001_1^11 - 497481506902937004102092/5695849520110036262661*c_1001_1^10 - 497593384580522712045131/5695849520110036262661*c_1001_1^9 + 548129932868317696949165/5695849520110036262661*c_1001_1^8 + 352824697275628397582358/1898616506703345420887*c_1001_1^7 - 284467296650752075285442/5695849520110036262661*c_1001_1^6 - 1321854461697310414590919/5695849520110036262661*c_1001_1^5 - 438172806237329009185168/5695849520110036262661*c_1001_1^4 + 594638637642972110078788/5695849520110036262661*c_1001_1^3 + 147000252839704515485044/1898616506703345420887*c_1001_1^2 + 54616517634773068906885/5695849520110036262661*c_1001_1 - 1900020977151087310390/1898616506703345420887, c_0101_4 + 830903251675546218293/5695849520110036262661*c_1001_1^14 + 14119150881178330058846/5695849520110036262661*c_1001_1^13 + 39611776214212202087468/5695849520110036262661*c_1001_1^12 - 36770088750202899081888/1898616506703345420887*c_1001_1^11 - 597326472861262922041069/5695849520110036262661*c_1001_1^10 - 586231786063892453018662/5695849520110036262661*c_1001_1^9 + 669650121895829983517989/5695849520110036262661*c_1001_1^8 + 418853931857844017157765/1898616506703345420887*c_1001_1^7 - 356438410120921436707426/5695849520110036262661*c_1001_1^6 - 1571675299329465147290387/5695849520110036262661*c_1001_1^5 - 519367505283969499722944/5695849520110036262661*c_1001_1^4 + 707593656080941979090963/5695849520110036262661*c_1001_1^3 + 178401703276646769315100/1898616506703345420887*c_1001_1^2 + 64076280218224947519053/5695849520110036262661*c_1001_1 - 4651049037320265145313/1898616506703345420887, c_1001_1^15 + 16*c_1001_1^14 + 31*c_1001_1^13 - 177*c_1001_1^12 - 581*c_1001_1^11 - 23*c_1001_1^10 + 1400*c_1001_1^9 + 675*c_1001_1^8 - 1757*c_1001_1^7 - 1342*c_1001_1^6 + 1088*c_1001_1^5 + 1276*c_1001_1^4 - 174*c_1001_1^3 - 440*c_1001_1^2 - 63*c_1001_1 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB