Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 4105529400] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0365 geometric_solution 4.41551829 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 2 0 -2 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.256351159140 0.598892724016 0 3 3 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 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 -2 0 2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.574707484122 0.673310297520 0 2 2 0 3201 3201 2310 0132 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 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.547298532368 0.049909743146 1 1 4 5 2310 0132 0132 0132 0 0 0 0 0 1 0 -1 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 2 -1 -1 0 0 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009324346312 0.385304501174 5 5 6 3 1023 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -1 0 1 1 0 0 -1 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759697732306 1.207301889868 4 4 3 6 1230 1023 0132 2310 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 -1 1 0 -1 0 1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759697732306 1.207301889868 5 6 6 4 3201 3201 2310 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.237220059197 1.104031689177 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - c_0101_3^2 + 4*c_0101_3 - 4, c_0011_0 - 1, c_0011_2 - c_0101_3, c_0011_4 - 1, c_0011_6 + c_0101_3^2 - c_0101_3 - 1, c_0101_0 + 1, c_0101_1 - c_0101_3^2 + c_0101_3 + 1, c_0101_3^3 - 2*c_0101_3^2 - c_0101_3 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, 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 - 950655182126/45740327675*c_0101_3^13 + 11045440882096/45740327675*c_0101_3^12 + 19426556064677/45740327675*c_0101_3^11 + 61510686033114/45740327675*c_0101_3^10 + 122457450454328/45740327675*c_0101_3^9 + 13581923898819/9148065535*c_0101_3^8 - 132766477790398/45740327675*c_0101_3^7 - 87944145748561/45740327675*c_0101_3^6 + 174986467887389/45740327675*c_0101_3^5 + 734759442343/1829613107*c_0101_3^4 - 78129906149784/45740327675*c_0101_3^3 + 581536439584/1829613107*c_0101_3^2 + 13665802052081/45740327675*c_0101_3 - 3556333476236/45740327675, c_0011_0 - 1, c_0011_2 + 91665356164/45740327675*c_0101_3^13 - 1070840155694/45740327675*c_0101_3^12 - 1799848479328/45740327675*c_0101_3^11 - 5882464170046/45740327675*c_0101_3^10 - 11539550547492/45740327675*c_0101_3^9 - 1230766965241/9148065535*c_0101_3^8 + 12553248077172/45740327675*c_0101_3^7 + 7470512707579/45740327675*c_0101_3^6 - 16348418411771/45740327675*c_0101_3^5 - 3292071561/1829613107*c_0101_3^4 + 6594531592051/45740327675*c_0101_3^3 - 74324259078/1829613107*c_0101_3^2 - 865611860384/45740327675*c_0101_3 + 291955369929/45740327675, c_0011_4 - 14855637022/9148065535*c_0101_3^13 + 173991259306/9148065535*c_0101_3^12 + 287546507054/9148065535*c_0101_3^11 + 186546458206/1829613107*c_0101_3^10 + 1812039063087/9148065535*c_0101_3^9 + 853405837779/9148065535*c_0101_3^8 - 2255267914647/9148065535*c_0101_3^7 - 1337742170736/9148065535*c_0101_3^6 + 2737537344583/9148065535*c_0101_3^5 + 101217610764/9148065535*c_0101_3^4 - 1137368837264/9148065535*c_0101_3^3 + 52766552441/1829613107*c_0101_3^2 + 155193978687/9148065535*c_0101_3 - 42783921071/9148065535, c_0011_6 + 16044860982/45740327675*c_0101_3^13 - 185696533077/45740327675*c_0101_3^12 - 334388538389/45740327675*c_0101_3^11 - 1075637290313/45740327675*c_0101_3^10 - 2147515212141/45740327675*c_0101_3^9 - 270140602464/9148065535*c_0101_3^8 + 1982918106381/45740327675*c_0101_3^7 + 1540341448732/45740327675*c_0101_3^6 - 2517083381423/45740327675*c_0101_3^5 - 45987253141/9148065535*c_0101_3^4 + 961805681308/45740327675*c_0101_3^3 - 5457388042/1829613107*c_0101_3^2 - 117132279742/45740327675*c_0101_3 - 3287809993/45740327675, c_0101_0 - 42452517682/45740327675*c_0101_3^13 + 493385351202/45740327675*c_0101_3^12 + 864936815989/45740327675*c_0101_3^11 + 2754182046263/45740327675*c_0101_3^10 + 5490699129241/45740327675*c_0101_3^9 + 616294120229/9148065535*c_0101_3^8 - 5781319958256/45740327675*c_0101_3^7 - 3808376366707/45740327675*c_0101_3^6 + 7586949852898/45740327675*c_0101_3^5 + 87382003001/9148065535*c_0101_3^4 - 3336075219583/45740327675*c_0101_3^3 + 36244203868/1829613107*c_0101_3^2 + 436890134817/45740327675*c_0101_3 - 180035344032/45740327675, c_0101_1 + 69403796241/45740327675*c_0101_3^13 - 803177096511/45740327675*c_0101_3^12 - 1455019036782/45740327675*c_0101_3^11 - 4560861177724/45740327675*c_0101_3^10 - 9178506639398/45740327675*c_0101_3^9 - 1083564801744/9148065535*c_0101_3^8 + 9328866759543/45740327675*c_0101_3^7 + 6756319196601/45740327675*c_0101_3^6 - 12263228067099/45740327675*c_0101_3^5 - 57920553367/1829613107*c_0101_3^4 + 5619002080744/45740327675*c_0101_3^3 - 46668776582/1829613107*c_0101_3^2 - 901053291546/45740327675*c_0101_3 + 251840058051/45740327675, c_0101_3^14 - 12*c_0101_3^13 - 16*c_0101_3^12 - 57*c_0101_3^11 - 104*c_0101_3^10 - 22*c_0101_3^9 + 168*c_0101_3^8 + 43*c_0101_3^7 - 215*c_0101_3^6 + 49*c_0101_3^5 + 84*c_0101_3^4 - 44*c_0101_3^3 - 6*c_0101_3^2 + 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB