Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 3137021599] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s291 geometric_solution 4.45571940 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.498750973345 0.405426153377 2 0 3 0 0132 2310 0132 0132 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 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.293978806957 0.575943202106 1 3 3 4 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 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.148053916855 0.692514207889 4 2 2 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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 1.148053916855 0.692514207889 5 5 2 3 0132 3201 0132 2310 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 -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.495365403890 0.703365819793 4 5 4 5 0132 2310 2310 3201 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 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.957001202790 0.496526345819 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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' : 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' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : d['c_0011_1'], '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_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 567951232847033043281/167675036613048400959*c_0101_3^13 + 9628225041538355428279/335350073226096801918*c_0101_3^12 - 132940297091050215088571/335350073226096801918*c_0101_3^11 - 169633580626035192039601/335350073226096801918*c_0101_3^10 + 144043322290689624098893/111783357742032267306*c_0101_3^9 + 48269621487676920168063/37261119247344089102*c_0101_3^8 - 59397770107164634394497/55891678871016133653*c_0101_3^7 - 16895410927019443232167/18630559623672044551*c_0101_3^6 + 10439559747830962999516/55891678871016133653*c_0101_3^5 + 50091077654263805445695/55891678871016133653*c_0101_3^4 + 194380246789547565891695/335350073226096801918*c_0101_3^3 - 122556805530414472110271/335350073226096801918*c_0101_3^2 - 28128977946636057241903/111783357742032267306*c_0101_3 - 50685574525474522604665/335350073226096801918, c_0011_0 - 1, c_0011_1 + 50371745522426875/7671406903864959521*c_0101_3^13 + 1327490644861047983/23014220711594878563*c_0101_3^12 - 5801817519011279363/7671406903864959521*c_0101_3^11 - 4102598623742207155/3287745815942125509*c_0101_3^10 + 65941946986388903093/23014220711594878563*c_0101_3^9 + 58221851610933120850/23014220711594878563*c_0101_3^8 - 72146742119250543790/23014220711594878563*c_0101_3^7 - 4608662489189978435/23014220711594878563*c_0101_3^6 + 17265710700649969844/23014220711594878563*c_0101_3^5 + 27060581176110935011/23014220711594878563*c_0101_3^4 + 28208716283555847203/23014220711594878563*c_0101_3^3 - 8516728822996576528/23014220711594878563*c_0101_3^2 + 4808241849227368970/23014220711594878563*c_0101_3 - 15900228045412616840/23014220711594878563, c_0011_4 - 1016138145481337444/69042662134784635689*c_0101_3^13 - 6531982435686435653/69042662134784635689*c_0101_3^12 + 134401376950060329442/69042662134784635689*c_0101_3^11 - 15309776116227648412/9863237447826376527*c_0101_3^10 - 47004777383442645297/7671406903864959521*c_0101_3^9 + 116928429173386125301/23014220711594878563*c_0101_3^8 + 38645781700049225502/7671406903864959521*c_0101_3^7 - 69940850671656478538/23014220711594878563*c_0101_3^6 - 61178338487537780429/23014220711594878563*c_0101_3^5 - 27943987035629908702/23014220711594878563*c_0101_3^4 + 217537562352901717298/69042662134784635689*c_0101_3^3 + 131949211864854854000/69042662134784635689*c_0101_3^2 - 833292309838599269/23014220711594878563*c_0101_3 - 11033547274852824322/69042662134784635689, c_0101_0 + 1538965266710509691/69042662134784635689*c_0101_3^13 + 11715157728926911895/69042662134784635689*c_0101_3^12 - 190229431530834333475/69042662134784635689*c_0101_3^11 - 9536599680347237375/9863237447826376527*c_0101_3^10 + 70288438365130262190/7671406903864959521*c_0101_3^9 + 67275690983007671804/23014220711594878563*c_0101_3^8 - 66023702178119708507/7671406903864959521*c_0101_3^7 - 116912116279591969600/23014220711594878563*c_0101_3^6 + 97960950190966114502/23014220711594878563*c_0101_3^5 + 137569459366601928454/23014220711594878563*c_0101_3^4 - 99568010118754642622/69042662134784635689*c_0101_3^3 - 174209133154761274154/69042662134784635689*c_0101_3^2 - 36883220730686746588/23014220711594878563*c_0101_3 + 18908165471060132152/69042662134784635689, c_0101_1 + 1681287276688253512/69042662134784635689*c_0101_3^13 + 12389028057856340041/69042662134784635689*c_0101_3^12 - 210500432383958609432/69042662134784635689*c_0101_3^11 - 2582449095087667360/9863237447826376527*c_0101_3^10 + 220371011549469099796/23014220711594878563*c_0101_3^9 - 8688985876855809620/7671406903864959521*c_0101_3^8 - 172555815499423777544/23014220711594878563*c_0101_3^7 + 10567833681070250573/7671406903864959521*c_0101_3^6 + 60339439348437370304/23014220711594878563*c_0101_3^5 + 73560191557106362501/23014220711594878563*c_0101_3^4 - 40895358507102294862/69042662134784635689*c_0101_3^3 - 54963334137564281518/69042662134784635689*c_0101_3^2 + 1531236712440130229/23014220711594878563*c_0101_3 + 10530832076702064083/69042662134784635689, c_0101_3^14 + 8*c_0101_3^13 - 121*c_0101_3^12 - 93*c_0101_3^11 + 443*c_0101_3^10 + 192*c_0101_3^9 - 465*c_0101_3^8 - 96*c_0101_3^7 + 150*c_0101_3^6 + 225*c_0101_3^5 + 56*c_0101_3^4 - 173*c_0101_3^3 - 13*c_0101_3^2 - 22*c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB