Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 3701293061] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0920 geometric_solution 4.81504565 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 1 0 -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.281771483720 0.215747963357 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 0 -1 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.897644034691 1.005876687008 2 0 2 0 2031 2310 1302 0132 0 0 0 0 0 0 0 0 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 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 -3.030674452997 1.805634236616 5 1 4 4 0132 0132 2310 3120 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 -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.337801280898 0.676395859338 3 3 1 5 3120 3201 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 -1 0 1 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.337801280898 0.676395859338 3 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.186566561053 0.808641199014 6 5 5 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 0 0 0 0 0 0 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.707976189718 0.276982345689 ==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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_4']})} 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_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 423937/144*c_0101_6^27 + 1926211/144*c_0101_6^26 + 1009823/36*c_0101_6^25 - 29124799/144*c_0101_6^24 - 625903/16*c_0101_6^23 + 64207753/48*c_0101_6^22 - 92508895/144*c_0101_6^21 - 721228189/144*c_0101_6^20 + 311130223/72*c_0101_6^19 + 182776211/16*c_0101_6^18 - 13229632*c_0101_6^17 - 564032545/36*c_0101_6^16 + 3330591835/144*c_0101_6^15 + 271013111/24*c_0101_6^14 - 276875101/12*c_0101_6^13 - 27013839/16*c_0101_6^12 + 66263449/6*c_0101_6^11 - 61197931/24*c_0101_6^10 - 29008735/72*c_0101_6^9 + 104505553/144*c_0101_6^8 - 83525095/72*c_0101_6^7 + 7708181/24*c_0101_6^6 - 896297/72*c_0101_6^5 + 5298875/144*c_0101_6^4 + 6056017/144*c_0101_6^3 - 2181191/72*c_0101_6^2 - 2159921/144*c_0101_6 - 222395/144, c_0011_0 - 1, c_0011_2 + 971*c_0101_6^27 - 4356*c_0101_6^26 - 9519*c_0101_6^25 + 66237*c_0101_6^24 + 16867*c_0101_6^23 - 441360*c_0101_6^22 + 186339*c_0101_6^21 + 1670066*c_0101_6^20 - 1333196*c_0101_6^19 - 3871566*c_0101_6^18 + 4166358*c_0101_6^17 + 5466685*c_0101_6^16 - 7390599*c_0101_6^15 - 4224896*c_0101_6^14 + 7497464*c_0101_6^13 + 1030692*c_0101_6^12 - 3708397*c_0101_6^11 + 638126*c_0101_6^10 + 223794*c_0101_6^9 - 249557*c_0101_6^8 + 370853*c_0101_6^7 - 80903*c_0101_6^6 - 7273*c_0101_6^5 - 9640*c_0101_6^4 - 15098*c_0101_6^3 + 9437*c_0101_6^2 + 5668*c_0101_6 + 664, c_0011_4 - 5*c_0101_6^27 + 22*c_0101_6^26 + 50*c_0101_6^25 - 334*c_0101_6^24 - 103*c_0101_6^23 + 2221*c_0101_6^22 - 842*c_0101_6^21 - 8381*c_0101_6^20 + 6370*c_0101_6^19 + 19353*c_0101_6^18 - 20135*c_0101_6^17 - 27157*c_0101_6^16 + 35787*c_0101_6^15 + 20728*c_0101_6^14 - 36164*c_0101_6^13 - 4777*c_0101_6^12 + 17643*c_0101_6^11 - 3289*c_0101_6^10 - 884*c_0101_6^9 + 1186*c_0101_6^8 - 1782*c_0101_6^7 + 417*c_0101_6^6 + 7*c_0101_6^5 + 57*c_0101_6^4 + 67*c_0101_6^3 - 40*c_0101_6^2 - 28*c_0101_6 - 3, c_0101_1 - c_0101_6^27 - 4*c_0101_6^26 + 35*c_0101_6^25 + 53*c_0101_6^24 - 411*c_0101_6^23 - 290*c_0101_6^22 + 2517*c_0101_6^21 + 787*c_0101_6^20 - 9310*c_0101_6^19 - 801*c_0101_6^18 + 21951*c_0101_6^17 - 1227*c_0101_6^16 - 33009*c_0101_6^15 + 4789*c_0101_6^14 + 29886*c_0101_6^13 - 5705*c_0101_6^12 - 13433*c_0101_6^11 + 2351*c_0101_6^10 + 541*c_0101_6^9 + 514*c_0101_6^8 + 1259*c_0101_6^7 - 359*c_0101_6^6 - 26*c_0101_6^5 - 140*c_0101_6^4 + 7*c_0101_6^3 + 52*c_0101_6^2 + 36*c_0101_6 + 7, c_0101_3 + c_0101_6^3 - 2*c_0101_6, c_0101_5 + c_0101_6^2 - 1, c_0101_6^28 - 6*c_0101_6^27 - 3*c_0101_6^26 + 83*c_0101_6^25 - 86*c_0101_6^24 - 480*c_0101_6^23 + 880*c_0101_6^22 + 1424*c_0101_6^21 - 3973*c_0101_6^20 - 1889*c_0101_6^19 + 10305*c_0101_6^18 - 908*c_0101_6^17 - 16071*c_0101_6^16 + 7223*c_0101_6^15 + 14202*c_0101_6^14 - 10653*c_0101_6^13 - 5325*c_0101_6^12 + 6426*c_0101_6^11 - 808*c_0101_6^10 - 587*c_0101_6^9 + 769*c_0101_6^8 - 664*c_0101_6^7 + 124*c_0101_6^6 - c_0101_6^5 + 33*c_0101_6^3 - 9*c_0101_6^2 - 8*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB