Magma V2.19-8 Tue Aug 20 2013 16:19:14 on localhost [Seed = 2699115943] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3362 geometric_solution 6.52504141 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 -1 0 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 -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.575224595298 0.910566596622 0 0 2 4 0132 2310 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 0 0 0 0 0 0 0 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.178050231946 1.085416257503 4 0 5 1 1302 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 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 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.114075085101 0.786484721183 6 5 4 0 0132 2103 2031 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 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.548363719373 0.545964814252 6 2 1 3 2103 2031 0132 1302 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 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.709742383218 1.105217817497 6 3 6 2 1023 2103 1230 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 -1 1 0 0 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288042456303 0.880333303049 3 5 4 5 0132 1023 2103 3012 0 0 0 0 0 0 -1 1 0 0 0 0 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 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 1.066472946248 0.543574617567 ==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_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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_1001_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_1'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 75523654473/2214379685*c_1001_0^14 - 268956294154/2214379685*c_1001_0^13 + 40096236550/63267991*c_1001_0^12 + 1805361525846/2214379685*c_1001_0^11 + 3407965468137/2214379685*c_1001_0^10 + 1357730319902/2214379685*c_1001_0^9 + 1763534754584/2214379685*c_1001_0^8 + 26833502448/63267991*c_1001_0^7 + 238011276682/316339955*c_1001_0^6 + 2199760154428/2214379685*c_1001_0^5 + 2192189076118/2214379685*c_1001_0^4 + 1570762988824/2214379685*c_1001_0^3 + 192307929957/2214379685*c_1001_0^2 - 485599658177/2214379685*c_1001_0 - 183838511868/2214379685, c_0011_0 - 1, c_0011_3 - 1043326269/63267991*c_1001_0^14 - 3703439703/63267991*c_1001_0^13 + 19397972311/63267991*c_1001_0^12 + 24634173482/63267991*c_1001_0^11 + 47474826770/63267991*c_1001_0^10 + 18292171877/63267991*c_1001_0^9 + 25273051366/63267991*c_1001_0^8 + 12533116588/63267991*c_1001_0^7 + 23671882271/63267991*c_1001_0^6 + 30057101052/63267991*c_1001_0^5 + 30400847782/63267991*c_1001_0^4 + 21839435296/63267991*c_1001_0^3 + 2742209438/63267991*c_1001_0^2 - 6483707631/63267991*c_1001_0 - 2325608410/63267991, c_0011_4 - 2965058564/316339955*c_1001_0^14 - 10284453677/316339955*c_1001_0^13 + 11173424362/63267991*c_1001_0^12 + 65198865163/316339955*c_1001_0^11 + 131542592996/316339955*c_1001_0^10 + 42372719851/316339955*c_1001_0^9 + 72432044317/316339955*c_1001_0^8 + 5796124695/63267991*c_1001_0^7 + 67473111407/316339955*c_1001_0^6 + 79326690704/316339955*c_1001_0^5 + 82147631044/316339955*c_1001_0^4 + 56991572742/316339955*c_1001_0^3 + 4816047231/316339955*c_1001_0^2 - 17473833901/316339955*c_1001_0 - 5721804709/316339955, c_0101_0 - 1047310507/316339955*c_1001_0^14 - 3722814966/316339955*c_1001_0^13 + 3881212057/63267991*c_1001_0^12 + 24702038394/316339955*c_1001_0^11 + 48784287788/316339955*c_1001_0^10 + 18762472758/316339955*c_1001_0^9 + 27271001861/316339955*c_1001_0^8 + 2470242509/63267991*c_1001_0^7 + 25130399221/316339955*c_1001_0^6 + 30101369272/316339955*c_1001_0^5 + 31447439967/316339955*c_1001_0^4 + 23077570306/316339955*c_1001_0^3 + 3452009518/316339955*c_1001_0^2 - 6036547363/316339955*c_1001_0 - 2563820892/316339955, c_0101_1 + 730970552/316339955*c_1001_0^14 + 2457455146/316339955*c_1001_0^13 - 2805656210/63267991*c_1001_0^12 - 14579159834/316339955*c_1001_0^11 - 31069250308/316339955*c_1001_0^10 - 6741554468/316339955*c_1001_0^9 - 17148123301/316339955*c_1001_0^8 - 1015078716/63267991*c_1001_0^7 - 16272880481/316339955*c_1001_0^6 - 17764111027/316339955*c_1001_0^5 - 18161161857/316339955*c_1001_0^4 - 12322011836/316339955*c_1001_0^3 + 344069942/316339955*c_1001_0^2 + 4454847588/316339955*c_1001_0 + 982121117/316339955, c_0101_3 + 2042207641/316339955*c_1001_0^14 + 7062907888/316339955*c_1001_0^13 - 7698981343/63267991*c_1001_0^12 - 44365787192/316339955*c_1001_0^11 - 91334832089/316339955*c_1001_0^10 - 28692764094/316339955*c_1001_0^9 - 50952652613/316339955*c_1001_0^8 - 3948564672/63267991*c_1001_0^7 - 47054333793/316339955*c_1001_0^6 - 54924429971/316339955*c_1001_0^5 - 56351405366/316339955*c_1001_0^4 - 39880372103/316339955*c_1001_0^3 - 3448535909/316339955*c_1001_0^2 + 11776219754/316339955*c_1001_0 + 3696029116/316339955, c_1001_0^15 + 4*c_1001_0^14 - 17*c_1001_0^13 - 32*c_1001_0^12 - 56*c_1001_0^11 - 38*c_1001_0^10 - 32*c_1001_0^9 - 23*c_1001_0^8 - 28*c_1001_0^7 - 39*c_1001_0^6 - 42*c_1001_0^5 - 34*c_1001_0^4 - 12*c_1001_0^3 + 5*c_1001_0^2 + 5*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.200 seconds, Total memory usage: 32.09MB