Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 1107549860] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1890 geometric_solution 5.50837246 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.517412355449 0.302088593896 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.041219455274 0.539446953139 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0.639755417414 0.440584246269 5 4 2 1 0132 1023 0213 0132 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 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.639755417414 0.440584246269 3 6 6 2 1023 0132 1023 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 -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.864633036915 0.464913393665 3 5 2 5 0132 1302 0132 2031 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 0.763280204516 0.963500667426 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.545929025050 0.441823038073 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], '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_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t - 6855617/60185*c_0101_6^6 + 49051797/60185*c_0101_6^5 + 94579012/60185*c_0101_6^4 + 10321923/60185*c_0101_6^3 - 251335478/60185*c_0101_6^2 + 51087699/60185*c_0101_6 + 18160663/60185, c_0011_0 - 1, c_0011_1 + 2115/12037*c_0101_6^6 - 15172/12037*c_0101_6^5 - 29559/12037*c_0101_6^4 + 2916/12037*c_0101_6^3 + 80325/12037*c_0101_6^2 - 20407/12037*c_0101_6 - 16682/12037, c_0011_3 + 4817/12037*c_0101_6^6 - 34202/12037*c_0101_6^5 - 68978/12037*c_0101_6^4 - 6625/12037*c_0101_6^3 + 186529/12037*c_0101_6^2 - 26234/12037*c_0101_6 - 25661/12037, c_0101_0 + 4933/12037*c_0101_6^6 - 35313/12037*c_0101_6^5 - 67543/12037*c_0101_6^4 - 10153/12037*c_0101_6^3 + 177617/12037*c_0101_6^2 - 36169/12037*c_0101_6 - 16326/12037, c_0101_1 + 4334/12037*c_0101_6^6 - 30925/12037*c_0101_6^5 - 61152/12037*c_0101_6^4 - 3142/12037*c_0101_6^3 + 177149/12037*c_0101_6^2 - 42250/12037*c_0101_6 - 20844/12037, c_0101_4 + 7048/12037*c_0101_6^6 - 50485/12037*c_0101_6^5 - 97102/12037*c_0101_6^4 - 7237/12037*c_0101_6^3 + 257942/12037*c_0101_6^2 - 56576/12037*c_0101_6 - 33008/12037, c_0101_6^7 - 7*c_0101_6^6 - 15*c_0101_6^5 - 3*c_0101_6^4 + 38*c_0101_6^3 - c_0101_6^2 - 7*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 136569101247/568174700720*c_0101_6^10 + 2713379185643/1704524102160*c_0101_6^9 - 4563300889121/1704524102160*c_0101_6^8 - 1564472469424/106532756385*c_0101_6^7 + 3460235290423/142043675180*c_0101_6^6 - 12314569134071/852262051080*c_0101_6^5 + 5807666643851/568174700720*c_0101_6^4 + 3828506834981/1704524102160*c_0101_6^3 + 1024789349483/1704524102160*c_0101_6^2 + 7146646812553/1704524102160*c_0101_6 - 3446731916267/852262051080, c_0011_0 - 1, c_0011_1 + 499814956/1936959207*c_0101_6^10 + 1233744085/645653069*c_0101_6^9 - 968229689/645653069*c_0101_6^8 - 34500458561/1936959207*c_0101_6^7 + 25210100980/1936959207*c_0101_6^6 + 4779337825/1936959207*c_0101_6^5 + 11400921982/1936959207*c_0101_6^4 + 21714988010/1936959207*c_0101_6^3 + 1332282847/645653069*c_0101_6^2 - 902653414/645653069*c_0101_6 - 2767613243/1936959207, c_0011_3 - 787269469/3873918414*c_0101_6^10 - 2017147127/1291306138*c_0101_6^9 + 1019563275/1291306138*c_0101_6^8 + 28258760224/1936959207*c_0101_6^7 - 12706146926/1936959207*c_0101_6^6 - 13747159388/1936959207*c_0101_6^5 - 12024267643/3873918414*c_0101_6^4 - 36098433629/3873918414*c_0101_6^3 - 3215352069/1291306138*c_0101_6^2 + 1798980253/1291306138*c_0101_6 + 3575504506/1936959207, c_0101_0 - 34751324/1936959207*c_0101_6^10 - 39353270/645653069*c_0101_6^9 + 417849593/645653069*c_0101_6^8 + 1710687469/1936959207*c_0101_6^7 - 11706600632/1936959207*c_0101_6^6 + 5349802255/1936959207*c_0101_6^5 + 3485910172/1936959207*c_0101_6^4 + 1085485859/1936959207*c_0101_6^3 + 1697262468/645653069*c_0101_6^2 + 1011647046/645653069*c_0101_6 - 902690984/1936959207, c_0101_1 - 274142210/1936959207*c_0101_6^10 - 718758119/645653069*c_0101_6^9 + 251858181/645653069*c_0101_6^8 + 20408260612/1936959207*c_0101_6^7 - 5445593831/1936959207*c_0101_6^6 - 16034592965/1936959207*c_0101_6^5 - 4922755997/1936959207*c_0101_6^4 - 10781877220/1936959207*c_0101_6^3 - 1948369460/645653069*c_0101_6^2 + 1471552152/645653069*c_0101_6 + 5351208889/1936959207, c_0101_4 - 1192324595/3873918414*c_0101_6^10 - 3079577485/1291306138*c_0101_6^9 + 1361590977/1291306138*c_0101_6^8 + 43033855724/1936959207*c_0101_6^7 - 16485854839/1936959207*c_0101_6^6 - 22649006590/1936959207*c_0101_6^5 - 22466456567/3873918414*c_0101_6^4 - 57087319567/3873918414*c_0101_6^3 - 6408194801/1291306138*c_0101_6^2 + 4268941945/1291306138*c_0101_6 + 5574764330/1936959207, c_0101_6^11 + 7*c_0101_6^10 - 9*c_0101_6^9 - 68*c_0101_6^8 + 80*c_0101_6^7 + 2*c_0101_6^6 + 5*c_0101_6^5 + 33*c_0101_6^4 - 13*c_0101_6^3 - 15*c_0101_6^2 - 2*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB