Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1174919780] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s369 geometric_solution 4.58840570 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 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 1 -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.363449087377 0.265794084994 0 1 1 0 0132 3201 2310 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 -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 1.161893207617 0.990339801775 4 0 3 3 0132 0132 3201 2031 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297869944760 0.819238723441 2 2 4 0 2310 1302 2310 0132 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 0 0 0 0 0 0 1 -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 0 0 0 0.297869944760 0.819238723441 2 3 5 5 0132 3201 0132 3201 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100677567956 2.558185710037 5 4 5 4 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.500496129618 0.329514443082 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : 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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], '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_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1414035520275944/150488020017107*c_0101_4^16 + 4230901148194466/150488020017107*c_0101_4^15 + 15391002893058010/150488020017107*c_0101_4^14 - 46751603899848280/150488020017107*c_0101_4^13 - 65316038773212630/150488020017107*c_0101_4^12 + 200469151753954308/150488020017107*c_0101_4^11 + 140437130438544325/150488020017107*c_0101_4^10 - 455518732446122808/150488020017107*c_0101_4^9 - 173283038361585506/150488020017107*c_0101_4^8 + 599728484473049906/150488020017107*c_0101_4^7 + 121132414573437620/150488020017107*c_0101_4^6 - 442474606302358610/150488020017107*c_0101_4^5 - 26401878610532265/150488020017107*c_0101_4^4 + 149464513909475079/150488020017107*c_0101_4^3 - 14836888176849367/150488020017107*c_0101_4^2 - 10864688392424625/150488020017107*c_0101_4 + 5650403945814732/150488020017107, c_0011_0 - 1, c_0011_3 - 178656043056840/150488020017107*c_0101_4^16 + 664311809482814/150488020017107*c_0101_4^15 + 1319639031500653/150488020017107*c_0101_4^14 - 6288801075450633/150488020017107*c_0101_4^13 - 2812806592135172/150488020017107*c_0101_4^12 + 22062271002581106/150488020017107*c_0101_4^11 + 1098472178924791/150488020017107*c_0101_4^10 - 40517420813871822/150488020017107*c_0101_4^9 + 3172295134868950/150488020017107*c_0101_4^8 + 42661361803047302/150488020017107*c_0101_4^7 - 4500005205697799/150488020017107*c_0101_4^6 - 22676679980542101/150488020017107*c_0101_4^5 + 1615595878836007/150488020017107*c_0101_4^4 + 4254475189939462/150488020017107*c_0101_4^3 - 214096238708787/150488020017107*c_0101_4^2 - 91292822674850/150488020017107*c_0101_4 + 86757670733536/150488020017107, c_0011_5 + 51552883153384/150488020017107*c_0101_4^16 - 162672373394562/150488020017107*c_0101_4^15 - 489767946519218/150488020017107*c_0101_4^14 + 1628453304576668/150488020017107*c_0101_4^13 + 1752846158963342/150488020017107*c_0101_4^12 - 6121010547610061/150488020017107*c_0101_4^11 - 3111095505420008/150488020017107*c_0101_4^10 + 11997435296753625/150488020017107*c_0101_4^9 + 3016857418377246/150488020017107*c_0101_4^8 - 13201590230016418/150488020017107*c_0101_4^7 - 1186372724651736/150488020017107*c_0101_4^6 + 7296079854820876/150488020017107*c_0101_4^5 - 799927929114731/150488020017107*c_0101_4^4 - 1403949294458848/150488020017107*c_0101_4^3 + 735278524788520/150488020017107*c_0101_4^2 + 90172421619889/150488020017107*c_0101_4 + 25875369685002/150488020017107, c_0101_0 - 51651173187836/150488020017107*c_0101_4^16 + 154952413671195/150488020017107*c_0101_4^15 + 478018756354855/150488020017107*c_0101_4^14 - 1414724706902106/150488020017107*c_0101_4^13 - 1758809916092865/150488020017107*c_0101_4^12 + 4628632248673729/150488020017107*c_0101_4^11 + 3736816560860963/150488020017107*c_0101_4^10 - 7769113159647391/150488020017107*c_0101_4^9 - 5536861221279561/150488020017107*c_0101_4^8 + 7067873403428948/150488020017107*c_0101_4^7 + 5368049523461482/150488020017107*c_0101_4^6 - 2767319230166594/150488020017107*c_0101_4^5 - 2724795939722330/150488020017107*c_0101_4^4 + 596927705360585/150488020017107*c_0101_4^3 + 374420732058698/150488020017107*c_0101_4^2 - 450884281328503/150488020017107*c_0101_4 - 22514438423240/150488020017107, c_0101_1 - 31583879737372/150488020017107*c_0101_4^16 + 74813941813491/150488020017107*c_0101_4^15 + 482643834222579/150488020017107*c_0101_4^14 - 1111541986399690/150488020017107*c_0101_4^13 - 2735157353412115/150488020017107*c_0101_4^12 + 6218875800387049/150488020017107*c_0101_4^11 + 7440071937286757/150488020017107*c_0101_4^10 - 17341257011086363/150488020017107*c_0101_4^9 - 11220402019857667/150488020017107*c_0101_4^8 + 27078599440848157/150488020017107*c_0101_4^7 + 10009868619740695/150488020017107*c_0101_4^6 - 23808420836965550/150488020017107*c_0101_4^5 - 4417339908172673/150488020017107*c_0101_4^4 + 9830193538265770/150488020017107*c_0101_4^3 + 232909531538360/150488020017107*c_0101_4^2 - 954431573972953/150488020017107*c_0101_4 + 215769278530637/150488020017107, c_0101_4^17 - 17/4*c_0101_4^16 - 11/2*c_0101_4^15 + 79/2*c_0101_4^14 - 5/2*c_0101_4^13 - 135*c_0101_4^12 + 119/2*c_0101_4^11 + 957/4*c_0101_4^10 - 563/4*c_0101_4^9 - 243*c_0101_4^8 + 625/4*c_0101_4^7 + 249/2*c_0101_4^6 - 159/2*c_0101_4^5 - 83/4*c_0101_4^4 + 14*c_0101_4^3 - 7/4*c_0101_4^2 - c_0101_4 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB