Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 3953817307] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2818 geometric_solution 6.04354387 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 0 1 0 -1 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656520221092 0.297393932068 0 2 0 3 0132 0132 1023 0132 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 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.994298953072 0.874610134950 4 1 5 5 0132 0132 0132 3012 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 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.343461659357 0.917714290626 5 4 1 6 0321 0321 0132 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 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.118272687278 0.821248356329 2 6 6 3 0132 2310 3201 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344743323652 0.375799694840 3 6 2 2 0321 3120 1230 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 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.689486647305 0.751599389681 4 5 3 4 2310 3120 0132 3201 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 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.674438202351 1.444975681533 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : negation(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' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0011_6']), '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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 895588689397/2294460640*c_0101_4^19 + 143439836173321/73422740480*c_0101_4^17 - 3821940980797/458892128*c_0101_4^15 + 502411462956003/14684548096*c_0101_4^13 - 1481146169029891/18355685120*c_0101_4^11 + 7485703507621517/73422740480*c_0101_4^9 - 1259808009298631/18355685120*c_0101_4^7 + 84260464936265/3671137024*c_0101_4^5 - 13512799950867/4588921280*c_0101_4^3 + 46560075969/4588921280*c_0101_4, c_0011_0 - 1, c_0011_3 - 5084422541/71701895*c_0101_4^19 + 896452453633/2294460640*c_0101_4^17 - 96773416125/57361516*c_0101_4^15 + 3192542004467/458892128*c_0101_4^13 - 10153935488813/573615160*c_0101_4^11 + 58587664138141/2294460640*c_0101_4^9 - 12052766459653/573615160*c_0101_4^7 + 1106260733763/114723032*c_0101_4^5 - 161602927113/71701895*c_0101_4^3 + 29432115937/143403790*c_0101_4, c_0011_5 - 428562407/71701895*c_0101_4^19 + 85899824451/2294460640*c_0101_4^17 - 9615388901/57361516*c_0101_4^15 + 318607576401/458892128*c_0101_4^13 - 1111394083951/573615160*c_0101_4^11 + 7546831646047/2294460640*c_0101_4^9 - 1923410030271/573615160*c_0101_4^7 + 227343099831/114723032*c_0101_4^5 - 87342910297/143403790*c_0101_4^3 + 10405938379/143403790*c_0101_4, c_0011_6 + 1403652114/71701895*c_0101_4^18 - 133619108461/1147230320*c_0101_4^16 + 14538493755/28680758*c_0101_4^14 - 480787173423/229446064*c_0101_4^12 + 1607353833141/286807580*c_0101_4^10 - 9953009664097/1147230320*c_0101_4^8 + 2213402482741/286807580*c_0101_4^6 - 219644299525/57361516*c_0101_4^4 + 69045427302/71701895*c_0101_4^2 - 6674217029/71701895, c_0101_0 + 7773024948/71701895*c_0101_4^18 - 338054457121/573615160*c_0101_4^16 + 72953825391/28680758*c_0101_4^14 - 1202858119645/114723032*c_0101_4^12 + 3792269926911/143403790*c_0101_4^10 - 21636298402787/573615160*c_0101_4^8 + 4407336396191/143403790*c_0101_4^6 - 806096436635/57361516*c_0101_4^4 + 474820944393/143403790*c_0101_4^2 - 22086265838/71701895, c_0101_1 + 2874864896/71701895*c_0101_4^18 - 15380266924/71701895*c_0101_4^16 + 105932790297/114723032*c_0101_4^14 - 54550153990/14340379*c_0101_4^12 + 5436160397443/573615160*c_0101_4^10 - 1897935137261/143403790*c_0101_4^8 + 6007244007553/573615160*c_0101_4^6 - 132402257793/28680758*c_0101_4^4 + 150280607881/143403790*c_0101_4^2 - 6848662681/71701895, c_0101_4^20 - 197/32*c_0101_4^18 + 219/8*c_0101_4^16 - 3635/32*c_0101_4^14 + 627/2*c_0101_4^12 - 16745/32*c_0101_4^10 + 2133/4*c_0101_4^8 - 2661/8*c_0101_4^6 + 123*c_0101_4^4 - 49/2*c_0101_4^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB