Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 576962302] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1784 geometric_solution 5.46168787 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 0 0 0 0 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.342504679358 0.491827327802 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.602318802261 0.638249116156 1 4 3 5 0132 0132 3201 0132 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 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 0 0 0 0 0.101147028350 1.163114489082 2 5 1 4 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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.101147028350 1.163114489082 3 2 6 6 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 0 0 0 -1 0 1 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.258003323203 0.388054237720 5 3 2 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.074205523191 0.853307512853 4 6 4 6 2310 2310 0132 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 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 -1.291136650715 0.692032959996 ==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_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : negation(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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 59645089534859414215/94878663690812626493*c_0101_6^24 - 76589598037300245676/94878663690812626493*c_0101_6^22 + 2584153552056981265431/94878663690812626493*c_0101_6^20 - 12361843373502885211410/94878663690812626493*c_0101_6^18 + 37764910504214933703465/94878663690812626493*c_0101_6^16 - 6879179499349213925667/8625333062801147863*c_0101_6^14 + 104120070567355676217008/94878663690812626493*c_0101_6^12 - 115792698857902555561030/94878663690812626493*c_0101_6^10 + 3909663135478625239480/4993613878463822447*c_0101_6^8 - 27116384970519997723435/94878663690812626493*c_0101_6^6 + 22886591275940793940273/94878663690812626493*c_0101_6^4 - 1368272095235030128167/94878663690812626493*c_0101_6^2 - 139272878199395144739/94878663690812626493, c_0011_0 - 1, c_0011_3 - 1563537673537399817/94878663690812626493*c_0101_6^24 + 348810764044048714/94878663690812626493*c_0101_6^22 - 66353350398129542768/94878663690812626493*c_0101_6^20 + 253008742589750094866/94878663690812626493*c_0101_6^18 - 678035473837921720813/94878663690812626493*c_0101_6^16 + 98337540566739876461/8625333062801147863*c_0101_6^14 - 1063863350256191400125/94878663690812626493*c_0101_6^12 + 982351775553387680088/94878663690812626493*c_0101_6^10 + 9800851824565979230/4993613878463822447*c_0101_6^8 - 195969209491056570138/94878663690812626493*c_0101_6^6 - 451597148526060689043/94878663690812626493*c_0101_6^4 - 463846344938125197775/94878663690812626493*c_0101_6^2 - 126643278952908333460/94878663690812626493, c_0011_6 + 3113311414035104043/94878663690812626493*c_0101_6^24 - 3535169512689725117/94878663690812626493*c_0101_6^22 + 134521984981337594700/94878663690812626493*c_0101_6^20 - 625376910437269474813/94878663690812626493*c_0101_6^18 + 1885284782315802621951/94878663690812626493*c_0101_6^16 - 336285471309335961787/8625333062801147863*c_0101_6^14 + 4972009207588299507915/94878663690812626493*c_0101_6^12 - 5472837009341194302152/94878663690812626493*c_0101_6^10 + 173388571586772607226/4993613878463822447*c_0101_6^8 - 1195141083090703569168/94878663690812626493*c_0101_6^6 + 1170454296699937118868/94878663690812626493*c_0101_6^4 - 16711429235256303572/94878663690812626493*c_0101_6^2 + 60666187785346161858/94878663690812626493, c_0101_0 - 13224899930800412439/94878663690812626493*c_0101_6^25 + 7485663424649296332/94878663690812626493*c_0101_6^23 - 562967820592628824603/94878663690812626493*c_0101_6^21 + 2332313930236880701312/94878663690812626493*c_0101_6^19 - 6499809708554847723789/94878663690812626493*c_0101_6^17 + 1019807444290104258064/8625333062801147863*c_0101_6^15 - 12410707991725254742262/94878663690812626493*c_0101_6^13 + 11814527148825618433661/94878663690812626493*c_0101_6^11 - 88206984733617497650/4993613878463822447*c_0101_6^9 - 1921707063886182627493/94878663690812626493*c_0101_6^7 - 2987834797993160026720/94878663690812626493*c_0101_6^5 - 2833495933144500731619/94878663690812626493*c_0101_6^3 - 323628965693210052369/94878663690812626493*c_0101_6, c_0101_1 + 32808539994326174522/94878663690812626493*c_0101_6^25 - 33168551173235997080/94878663690812626493*c_0101_6^23 + 1411956982317613386114/94878663690812626493*c_0101_6^21 - 6413952613212196314851/94878663690812626493*c_0101_6^19 + 19003515222565315409292/94878663690812626493*c_0101_6^17 - 3305373691728046623159/8625333062801147863*c_0101_6^15 + 47158747033270789689576/94878663690812626493*c_0101_6^13 - 50540801720557811123812/94878663690812626493*c_0101_6^11 + 1415262749519023533020/4993613878463822447*c_0101_6^9 - 7516463758870564615812/94878663690812626493*c_0101_6^7 + 10824080791314419759230/94878663690812626493*c_0101_6^5 + 1903899587739681351942/94878663690812626493*c_0101_6^3 + 209243825238447524688/94878663690812626493*c_0101_6, c_0101_2 - 31605013499698597263/94878663690812626493*c_0101_6^25 + 34009502970779830034/94878663690812626493*c_0101_6^23 - 1361890946238076126407/94878663690812626493*c_0101_6^21 + 6266740056455885104605/94878663690812626493*c_0101_6^19 - 18693621983960093092594/94878663690812626493*c_0101_6^17 + 3285754069459175604792/8625333062801147863*c_0101_6^15 - 47488492492071799979307/94878663690812626493*c_0101_6^13 + 51218674930229042363686/94878663690812626493*c_0101_6^11 - 1501215383444653845368/4993613878463822447*c_0101_6^9 + 8365866361434926843360/94878663690812626493*c_0101_6^7 - 10568330614685552887653/94878663690812626493*c_0101_6^5 - 1135930753872296002986/94878663690812626493*c_0101_6^3 - 49792006291213016706/94878663690812626493*c_0101_6, c_0101_6^26 - c_0101_6^24 + 43*c_0101_6^22 - 195*c_0101_6^20 + 576*c_0101_6^18 - 1097*c_0101_6^16 + 1411*c_0101_6^14 - 1498*c_0101_6^12 + 769*c_0101_6^10 - 185*c_0101_6^8 + 310*c_0101_6^6 + 64*c_0101_6^4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB