Magma V2.19-8 Tue Aug 20 2013 16:15:47 on localhost [Seed = 2244221352] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0008 geometric_solution 3.54672353 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 4.588062489943 0.530341119887 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.464541907865 0.026759463391 0 3 3 0 3201 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 1 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 0 0 0 -0.293470399717 0.101300538557 2 2 4 4 2310 0132 0132 2310 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 1 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 1.915428990281 1.173491559707 3 5 6 3 3201 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 1 -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.782630943363 0.416670415598 6 4 6 6 2031 0132 1302 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 -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.516959520562 0.512642121860 5 5 5 4 2031 2310 1302 0132 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 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.516959520562 0.512642121860 ==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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], '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_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(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_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 7142232/3566335*c_0110_5^10 + 18403873/1426534*c_0110_5^9 - 20217109/7132670*c_0110_5^8 - 1249644843/7132670*c_0110_5^7 - 2756318563/7132670*c_0110_5^6 - 530462394/3566335*c_0110_5^5 + 1369448597/7132670*c_0110_5^4 - 313600322/3566335*c_0110_5^3 - 795506432/3566335*c_0110_5^2 + 214010897/7132670*c_0110_5 + 221648789/7132670, c_0011_0 - 1, c_0011_2 + 333763/1426534*c_0110_5^10 + 1222631/1426534*c_0110_5^9 - 3863943/1426534*c_0110_5^8 - 18359671/1426534*c_0110_5^7 - 6715505/713267*c_0110_5^6 + 10342107/1426534*c_0110_5^5 + 974652/713267*c_0110_5^4 - 4483517/713267*c_0110_5^3 - 1852127/1426534*c_0110_5^2 + 613237/1426534*c_0110_5 + 901903/713267, c_0011_4 - 119335/1426534*c_0110_5^10 - 100829/1426534*c_0110_5^9 + 2537061/1426534*c_0110_5^8 + 2420057/1426534*c_0110_5^7 - 6382637/713267*c_0110_5^6 - 13417243/1426534*c_0110_5^5 + 6111919/713267*c_0110_5^4 + 1180809/713267*c_0110_5^3 - 10266125/1426534*c_0110_5^2 + 683147/1426534*c_0110_5 + 493046/713267, c_0101_0 + 46170/713267*c_0110_5^10 + 737793/1426534*c_0110_5^9 + 96681/1426534*c_0110_5^8 - 10735597/1426534*c_0110_5^7 - 21969559/1426534*c_0110_5^6 + 1283638/713267*c_0110_5^5 + 20748423/1426534*c_0110_5^4 - 6758409/713267*c_0110_5^3 - 5132704/713267*c_0110_5^2 + 9364035/1426534*c_0110_5 + 51073/1426534, c_0101_1 + 340677/1426534*c_0110_5^10 + 565455/713267*c_0110_5^9 - 2200566/713267*c_0110_5^8 - 8761294/713267*c_0110_5^7 - 7011779/1426534*c_0110_5^6 + 17364579/1426534*c_0110_5^5 + 450449/1426534*c_0110_5^4 - 5755982/713267*c_0110_5^3 + 2443457/1426534*c_0110_5^2 + 1913978/713267*c_0110_5 - 275057/1426534, c_0101_3 + 489485/1426534*c_0110_5^10 + 1881353/1426534*c_0110_5^9 - 5483419/1426534*c_0110_5^8 - 28316959/1426534*c_0110_5^7 - 11213273/713267*c_0110_5^6 + 17689493/1426534*c_0110_5^5 + 1842494/713267*c_0110_5^4 - 11642114/713267*c_0110_5^3 - 1981573/1426534*c_0110_5^2 + 6880829/1426534*c_0110_5 - 80819/713267, c_0110_5^11 + 4*c_0110_5^10 - 11*c_0110_5^9 - 61*c_0110_5^8 - 50*c_0110_5^7 + 50*c_0110_5^6 + 25*c_0110_5^5 - 59*c_0110_5^4 - 5*c_0110_5^3 + 24*c_0110_5^2 - 2*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB