Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 795783700] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2465 geometric_solution 5.80455060 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3012 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 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.809499654815 0.603764669923 0 4 0 2 0132 0132 1230 3012 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 -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.475273986993 1.506315600639 5 0 1 5 0132 0132 1230 1023 0 0 0 0 0 1 0 -1 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 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.486275187777 0.670196216491 5 4 6 0 2103 3201 0132 0132 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 1 -1 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.125824494434 0.860192345371 5 1 3 6 1023 0132 2310 1302 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 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.833513219572 1.138177862535 2 4 3 2 0132 1023 2103 1023 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 0 0 0 0 1 -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.428471425521 0.323182437789 6 6 4 3 1230 3012 2031 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 -1 0 0 1 -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.710607043813 1.085547065143 ==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_1001_1']), 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), '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' : d['c_0011_6'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 226478805/2348072*c_1001_1^10 - 541197497/587018*c_1001_1^9 + 7523758271/2348072*c_1001_1^8 - 152720389/40484*c_1001_1^7 - 3025663655/2348072*c_1001_1^6 + 603776469/2348072*c_1001_1^5 + 3987853801/293509*c_1001_1^4 - 23505313839/2348072*c_1001_1^3 - 31145525949/2348072*c_1001_1^2 + 17029807271/1174036*c_1001_1 - 4624434535/2348072, c_0011_0 - 1, c_0011_3 - 18692/349*c_1001_1^10 + 177780/349*c_1001_1^9 - 613753/349*c_1001_1^8 + 711853/349*c_1001_1^7 + 257442/349*c_1001_1^6 - 28290/349*c_1001_1^5 - 2604441/349*c_1001_1^4 + 1858146/349*c_1001_1^3 + 2548192/349*c_1001_1^2 - 2727104/349*c_1001_1 + 363695/349, c_0011_6 + 1328/349*c_1001_1^10 - 12154/349*c_1001_1^9 + 39716/349*c_1001_1^8 - 40192/349*c_1001_1^7 - 22351/349*c_1001_1^6 - 10080/349*c_1001_1^5 + 169196/349*c_1001_1^4 - 87154/349*c_1001_1^3 - 166935/349*c_1001_1^2 + 148410/349*c_1001_1 - 18885/349, c_0101_0 + 1, c_0101_1 + 32553/349*c_1001_1^10 - 306426/349*c_1001_1^9 + 1043383/349*c_1001_1^8 - 1173586/349*c_1001_1^7 - 469856/349*c_1001_1^6 - 27013/349*c_1001_1^5 + 4425130/349*c_1001_1^4 - 2959286/349*c_1001_1^3 - 4335837/349*c_1001_1^2 + 4469523/349*c_1001_1 - 591890/349, c_0101_2 + 24739/349*c_1001_1^10 - 235457/349*c_1001_1^9 + 813601/349*c_1001_1^8 - 945454/349*c_1001_1^7 - 339709/349*c_1001_1^6 + 41124/349*c_1001_1^5 + 3452678/349*c_1001_1^4 - 2473286/349*c_1001_1^3 - 3377360/349*c_1001_1^2 + 3623717/349*c_1001_1 - 483429/349, c_1001_1^11 - 11*c_1001_1^10 + 47*c_1001_1^9 - 87*c_1001_1^8 + 43*c_1001_1^7 + 22*c_1001_1^6 + 137*c_1001_1^5 - 307*c_1001_1^4 + 12*c_1001_1^3 + 349*c_1001_1^2 - 237*c_1001_1 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB