Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 4054871331] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1298 geometric_solution 5.18902154 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.201324524554 0.111030544902 0 0 2 2 0132 2310 2310 0132 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 -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 2.983319398414 2.024207323693 3 1 1 4 0132 3201 0132 0132 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 1 0 -1 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.191358750972 0.650576529754 2 5 4 6 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257406458628 0.488927029643 3 6 2 5 2031 1023 0132 2310 0 0 0 0 0 -1 0 1 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 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 0 0 0 0 0 0.257406458628 0.488927029643 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 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 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.156895036280 1.601423708581 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825263447312 1.005337582291 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 318678604/8695393*c_0110_5^9 + 15938020199/43476965*c_0110_5^8 - 23936239762/43476965*c_0110_5^7 - 151346452683/43476965*c_0110_5^6 + 326928009886/43476965*c_0110_5^5 + 62757829135/8695393*c_0110_5^4 - 110399390112/6210995*c_0110_5^3 - 97615383993/43476965*c_0110_5^2 + 44111149529/6210995*c_0110_5 + 76811043714/43476965, c_0011_0 - 1, c_0011_2 - 74947/1242199*c_0110_5^9 + 744063/1242199*c_0110_5^8 - 1083424/1242199*c_0110_5^7 - 7085936/1242199*c_0110_5^6 + 2116771/177457*c_0110_5^5 + 14419031/1242199*c_0110_5^4 - 34137680/1242199*c_0110_5^3 - 347624/177457*c_0110_5^2 + 12115690/1242199*c_0110_5 + 1287079/1242199, c_0011_4 + 4432/177457*c_0110_5^9 - 302744/1242199*c_0110_5^8 + 58264/177457*c_0110_5^7 + 2909917/1242199*c_0110_5^6 - 5607688/1242199*c_0110_5^5 - 5888878/1242199*c_0110_5^4 + 12491097/1242199*c_0110_5^3 + 264636/1242199*c_0110_5^2 - 3410357/1242199*c_0110_5 + 271507/1242199, c_0101_0 - 718680/8695393*c_0110_5^9 + 7367191/8695393*c_0110_5^8 - 12592540/8695393*c_0110_5^7 - 65385094/8695393*c_0110_5^6 + 163655321/8695393*c_0110_5^5 + 103778195/8695393*c_0110_5^4 - 53699432/1242199*c_0110_5^3 + 40392245/8695393*c_0110_5^2 + 18067100/1242199*c_0110_5 + 8488205/8695393, c_0101_1 + 529707/8695393*c_0110_5^9 - 5558323/8695393*c_0110_5^8 + 10598579/8695393*c_0110_5^7 + 45974539/8695393*c_0110_5^6 - 132539851/8695393*c_0110_5^5 - 47345589/8695393*c_0110_5^4 + 42366298/1242199*c_0110_5^3 - 93322497/8695393*c_0110_5^2 - 12664611/1242199*c_0110_5 + 7284030/8695393, c_0101_5 + 180837/8695393*c_0110_5^9 - 2036183/8695393*c_0110_5^8 + 4827994/8695393*c_0110_5^7 + 14971205/8695393*c_0110_5^6 - 57906337/8695393*c_0110_5^5 - 4156839/8695393*c_0110_5^4 + 2636220/177457*c_0110_5^3 - 49929282/8695393*c_0110_5^2 - 5278792/1242199*c_0110_5 + 2166657/8695393, c_0110_5^10 - 10*c_0110_5^9 + 15*c_0110_5^8 + 95*c_0110_5^7 - 205*c_0110_5^6 - 197*c_0110_5^5 + 485*c_0110_5^4 + 60*c_0110_5^3 - 195*c_0110_5^2 - 45*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB