Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 2463305630] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2856 geometric_solution 6.07888829 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 1 0 -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.186038300210 0.288353850354 3 2 4 0 0132 3012 0132 0132 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 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 0 0 0 0.015403093503 1.097068630218 1 5 0 4 1230 0132 0132 2310 0 0 0 0 0 -1 0 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 -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.015403093503 1.097068630218 1 6 5 5 0132 0132 0132 3012 0 0 0 0 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 0 0 0 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 0 0 0 0.403157241367 1.593142453782 2 6 6 1 3201 0213 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.973397170405 1.105612662332 6 2 3 3 3201 0132 1230 0132 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.403157241367 1.593142453782 4 3 4 5 2031 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202473608862 0.409171589828 ==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_2']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 11496496891762/20437303835*c_0101_5^14 - 42455029629487/20437303835*c_0101_5^13 + 47485338780967/20437303835*c_0101_5^12 + 65679016400463/20437303835*c_0101_5^11 - 28083984742088/1572100295*c_0101_5^10 + 537879225194391/20437303835*c_0101_5^9 + 557929940821493/20437303835*c_0101_5^8 - 1136491887624517/20437303835*c_0101_5^7 + 192294451303563/20437303835*c_0101_5^6 + 1008092571650262/20437303835*c_0101_5^5 - 495866448368703/20437303835*c_0101_5^4 - 257127944031148/20437303835*c_0101_5^3 + 240919889386107/20437303835*c_0101_5^2 - 29324829574858/20437303835*c_0101_5 - 36325365665999/20437303835, c_0011_0 - 1, c_0011_1 - 3330149262/314420059*c_0101_5^14 - 12262826118/314420059*c_0101_5^13 + 13936295780/314420059*c_0101_5^12 + 19046908060/314420059*c_0101_5^11 - 106242889940/314420059*c_0101_5^10 + 156782998336/314420059*c_0101_5^9 + 161560049735/314420059*c_0101_5^8 - 334108698486/314420059*c_0101_5^7 + 58761214610/314420059*c_0101_5^6 + 295478522076/314420059*c_0101_5^5 - 148868832321/314420059*c_0101_5^4 - 74482256411/314420059*c_0101_5^3 + 71520602712/314420059*c_0101_5^2 - 9305367340/314420059*c_0101_5 - 10351647249/314420059, c_0011_2 - 3330149262/314420059*c_0101_5^14 - 12262826118/314420059*c_0101_5^13 + 13936295780/314420059*c_0101_5^12 + 19046908060/314420059*c_0101_5^11 - 106242889940/314420059*c_0101_5^10 + 156782998336/314420059*c_0101_5^9 + 161560049735/314420059*c_0101_5^8 - 334108698486/314420059*c_0101_5^7 + 58761214610/314420059*c_0101_5^6 + 295478522076/314420059*c_0101_5^5 - 148868832321/314420059*c_0101_5^4 - 74482256411/314420059*c_0101_5^3 + 71520602712/314420059*c_0101_5^2 - 9305367340/314420059*c_0101_5 - 10351647249/314420059, c_0011_4 - 3484027688/314420059*c_0101_5^14 - 12822001210/314420059*c_0101_5^13 + 14545934343/314420059*c_0101_5^12 + 19715005048/314420059*c_0101_5^11 - 110771948911/314420059*c_0101_5^10 + 164455416727/314420059*c_0101_5^9 + 166677667756/314420059*c_0101_5^8 - 345756817411/314420059*c_0101_5^7 + 62552756992/314420059*c_0101_5^6 + 302708525452/314420059*c_0101_5^5 - 153690730397/314420059*c_0101_5^4 - 74801238003/314420059*c_0101_5^3 + 72797624997/314420059*c_0101_5^2 - 10125153495/314420059*c_0101_5 - 10693485262/314420059, c_0101_0 - 3069545563/314420059*c_0101_5^14 - 11279973526/314420059*c_0101_5^13 + 12843418514/314420059*c_0101_5^12 + 17179196437/314420059*c_0101_5^11 - 97578191457/314420059*c_0101_5^10 + 145487703338/314420059*c_0101_5^9 + 145175758780/314420059*c_0101_5^8 - 303720744760/314420059*c_0101_5^7 + 57219600446/314420059*c_0101_5^6 + 265129580206/314420059*c_0101_5^5 - 135840190143/314420059*c_0101_5^4 - 65003583910/314420059*c_0101_5^3 + 64537815687/314420059*c_0101_5^2 - 8980427495/314420059*c_0101_5 - 9419315656/314420059, c_0101_1 - 123582512/314420059*c_0101_5^14 - 426806589/314420059*c_0101_5^13 + 573204535/314420059*c_0101_5^12 + 449987541/314420059*c_0101_5^11 - 3788873415/314420059*c_0101_5^10 + 6773624819/314420059*c_0101_5^9 + 3158065139/314420059*c_0101_5^8 - 10315548078/314420059*c_0101_5^7 + 4597432818/314420059*c_0101_5^6 + 6223719286/314420059*c_0101_5^5 - 4500686934/314420059*c_0101_5^4 - 945099092/314420059*c_0101_5^3 + 1010356703/314420059*c_0101_5^2 - 314812999/314420059*c_0101_5 - 130216555/314420059, c_0101_5^15 + 4*c_0101_5^14 - 3*c_0101_5^13 - 7*c_0101_5^12 + 30*c_0101_5^11 - 37*c_0101_5^10 - 63*c_0101_5^9 + 84*c_0101_5^8 + 14*c_0101_5^7 - 93*c_0101_5^6 + 16*c_0101_5^5 + 36*c_0101_5^4 - 14*c_0101_5^3 - 4*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB