Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 2598045263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1535 geometric_solution 5.33034295 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837306076753 0.092156997240 0 2 0 2 0132 0132 1023 1023 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 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.804451962690 0.176635006442 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 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 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.899488664805 0.538156761690 2 5 6 6 0132 0132 3201 0132 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 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.467938828195 1.329293857253 6 6 5 2 1023 2310 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 -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.467938828195 1.329293857253 5 3 5 4 2310 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.490297821519 0.843650299870 3 4 3 4 2310 1023 0132 3201 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 0 -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.235620061529 0.669335993433 ==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' : negation(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_2_6' : negation(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' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 4*c_0101_4^3 + 6*c_0101_4, c_0011_0 - 1, c_0011_4 - 2*c_0101_4^2 + 2, c_0101_0 - c_0101_4, c_0101_1 + 2*c_0101_4^3 - 3*c_0101_4, c_0101_2 - 2*c_0101_4^3 + 3*c_0101_4, c_0101_3 + c_0101_4, c_0101_4^4 - 2*c_0101_4^2 + 1/2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 112731924752143297/823368243217322*c_0101_4^29 + 1447159955841347428/411684121608661*c_0101_4^27 - 34304045405565490847/1646736486434644*c_0101_4^25 + 72339439814634245487/823368243217322*c_0101_4^23 - 422168378948816813515/1646736486434644*c_0101_4^21 + 892853855380343171419/1646736486434644*c_0101_4^19 - 352687843171685557191/411684121608661*c_0101_4^17 + 152526257639716735501/149703316948604*c_0101_4^15 - 753027488666215484673/823368243217322*c_0101_4^13 + 1008926742548568622467/1646736486434644*c_0101_4^11 - 493710633236454671581/1646736486434644*c_0101_4^9 + 172041121749522189877/1646736486434644*c_0101_4^7 - 40469886564874559515/1646736486434644*c_0101_4^5 + 5785991720146425035/1646736486434644*c_0101_4^3 - 369007740978728821/1646736486434644*c_0101_4, c_0011_0 - 1, c_0011_4 + 2762652379278/37425829237151*c_0101_4^28 - 80485813443128/37425829237151*c_0101_4^26 + 663260700085447/37425829237151*c_0101_4^24 - 3167143226153942/37425829237151*c_0101_4^22 + 11002351806503370/37425829237151*c_0101_4^20 - 27601567682573149/37425829237151*c_0101_4^18 + 51876091277398983/37425829237151*c_0101_4^16 - 74017206658331899/37425829237151*c_0101_4^14 + 80405907570204492/37425829237151*c_0101_4^12 - 66315915187108507/37425829237151*c_0101_4^10 + 40817277791737355/37425829237151*c_0101_4^8 - 18492182453014962/37425829237151*c_0101_4^6 + 6079569139182368/37425829237151*c_0101_4^4 - 1452570507794746/37425829237151*c_0101_4^2 + 224682103606999/37425829237151, c_0101_0 + 2767441864279500/37425829237151*c_0101_4^29 - 71463876412229224/37425829237151*c_0101_4^27 + 431534766300978578/37425829237151*c_0101_4^25 - 1836029910313902742/37425829237151*c_0101_4^23 + 5431521811707092460/37425829237151*c_0101_4^21 - 11669381424430733593/37425829237151*c_0101_4^19 + 18770467012762870677/37425829237151*c_0101_4^17 - 22803021239815369398/37425829237151*c_0101_4^15 + 20981189114773287595/37425829237151*c_0101_4^13 - 14477910855644263578/37425829237151*c_0101_4^11 + 7338608515027479067/37425829237151*c_0101_4^9 - 2659764271045532866/37425829237151*c_0101_4^7 + 655252662746982025/37425829237151*c_0101_4^5 - 98896154120459988/37425829237151*c_0101_4^3 + 6899086584568590/37425829237151*c_0101_4, c_0101_1 + 4304917692267972/37425829237151*c_0101_4^29 - 110654198943297852/37425829237151*c_0101_4^27 + 658218980429220544/37425829237151*c_0101_4^25 - 2780418351430370314/37425829237151*c_0101_4^23 + 8134325701903809797/37425829237151*c_0101_4^21 - 17252482070096003538/37425829237151*c_0101_4^19 + 27345041194729499049/37425829237151*c_0101_4^17 - 32640187898021898488/37425829237151*c_0101_4^15 + 29420373967359599913/37425829237151*c_0101_4^13 - 19808068715779414663/37425829237151*c_0101_4^11 + 9753254612873969238/37425829237151*c_0101_4^9 - 3426016866331074928/37425829237151*c_0101_4^7 + 816563364768234924/37425829237151*c_0101_4^5 - 119190948122185415/37425829237151*c_0101_4^3 + 8067849224499828/37425829237151*c_0101_4, c_0101_2 + 2*c_0101_4^29 - 52*c_0101_4^27 + 321*c_0101_4^25 - 1382*c_0101_4^23 + 4160*c_0101_4^21 - 9128*c_0101_4^19 + 15060*c_0101_4^17 - 18890*c_0101_4^15 + 18103*c_0101_4^13 - 13185*c_0101_4^11 + 7199*c_0101_4^9 - 2896*c_0101_4^7 + 833*c_0101_4^5 - 162*c_0101_4^3 + 18*c_0101_4, c_0101_3 + 823113986849136/37425829237151*c_0101_4^29 - 21328874651982512/37425829237151*c_0101_4^27 + 130244137582397604/37425829237151*c_0101_4^25 - 557421334427712952/37425829237151*c_0101_4^23 + 1663521739866614140/37425829237151*c_0101_4^21 - 3612003138159411914/37425829237151*c_0101_4^19 + 5884026919379852901/37425829237151*c_0101_4^17 - 7262554708755994443/37425829237151*c_0101_4^15 + 6817459544333504013/37425829237151*c_0101_4^13 - 4829265079192989019/37425829237151*c_0101_4^11 + 2535655152358737604/37425829237151*c_0101_4^9 - 963257786071036234/37425829237151*c_0101_4^7 + 252933956504890810/37425829237151*c_0101_4^5 - 41576086319415601/37425829237151*c_0101_4^3 + 3246594875680227/37425829237151*c_0101_4, c_0101_4^30 - 26*c_0101_4^28 + 321/2*c_0101_4^26 - 691*c_0101_4^24 + 2080*c_0101_4^22 - 4564*c_0101_4^20 + 7530*c_0101_4^18 - 9445*c_0101_4^16 + 18103/2*c_0101_4^14 - 13185/2*c_0101_4^12 + 7199/2*c_0101_4^10 - 1448*c_0101_4^8 + 833/2*c_0101_4^6 - 81*c_0101_4^4 + 19/2*c_0101_4^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB