Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2261195430] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s270 geometric_solution 4.43839558 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 1 0132 0132 3201 1023 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 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 1.495542196590 0.472112465127 0 3 4 0 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 1 0 0 -1 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 1 -1 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.106250438542 0.597529963990 0 0 2 2 2310 0132 1230 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.643569290214 0.149130633355 4 1 5 4 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.142430468252 0.805344937421 5 3 3 1 2310 1302 3201 0132 0 0 0 0 0 1 0 -1 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.142430468252 0.805344937421 5 5 4 3 1230 3012 3201 0132 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 -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.791555670855 0.858974511432 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], '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' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_2']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 484833936368/24044793599*c_0101_2^15 - 4971580604518/24044793599*c_0101_2^14 + 22378980298754/24044793599*c_0101_2^13 + 10331450658764/24044793599*c_0101_2^12 - 110453326043601/24044793599*c_0101_2^11 + 22071144134016/24044793599*c_0101_2^10 + 225948398090601/24044793599*c_0101_2^9 - 78131474260832/24044793599*c_0101_2^8 - 210954809127615/24044793599*c_0101_2^7 + 65199491034331/24044793599*c_0101_2^6 + 97383462508442/24044793599*c_0101_2^5 - 15976324868699/24044793599*c_0101_2^4 - 23471656617003/24044793599*c_0101_2^3 - 752057614369/24044793599*c_0101_2^2 + 2559877539543/24044793599*c_0101_2 + 350685715155/24044793599, c_0011_0 - 1, c_0011_4 + 42205411660/24044793599*c_0101_2^15 + 468439605517/24044793599*c_0101_2^14 - 1590519946378/24044793599*c_0101_2^13 - 2625699421464/24044793599*c_0101_2^12 + 9241307140003/24044793599*c_0101_2^11 + 6233422401042/24044793599*c_0101_2^10 - 22946769231583/24044793599*c_0101_2^9 - 8914886819915/24044793599*c_0101_2^8 + 26790882535343/24044793599*c_0101_2^7 + 7820843769528/24044793599*c_0101_2^6 - 14736763179254/24044793599*c_0101_2^5 - 4310509762983/24044793599*c_0101_2^4 + 3419806185902/24044793599*c_0101_2^3 + 1264915238828/24044793599*c_0101_2^2 - 222274736313/24044793599*c_0101_2 - 93040831093/24044793599, c_0011_5 - 125669433812/24044793599*c_0101_2^15 - 1315060441972/24044793599*c_0101_2^14 + 5522600421676/24044793599*c_0101_2^13 + 3823991084128/24044793599*c_0101_2^12 - 27744847600232/24044793599*c_0101_2^11 - 134834812942/24044793599*c_0101_2^10 + 58270296428306/24044793599*c_0101_2^9 - 7870004439763/24044793599*c_0101_2^8 - 56018396719118/24044793599*c_0101_2^7 + 5277628629731/24044793599*c_0101_2^6 + 26196877468064/24044793599*c_0101_2^5 + 539675571763/24044793599*c_0101_2^4 - 5807035477738/24044793599*c_0101_2^3 - 867661051045/24044793599*c_0101_2^2 + 445757979635/24044793599*c_0101_2 + 82755683499/24044793599, c_0101_0 + 21848667491/24044793599*c_0101_2^15 + 247144531241/24044793599*c_0101_2^14 - 767635370481/24044793599*c_0101_2^13 - 1484139980600/24044793599*c_0101_2^12 + 4384745990140/24044793599*c_0101_2^11 + 3898902347951/24044793599*c_0101_2^10 - 10673283961406/24044793599*c_0101_2^9 - 6031667784178/24044793599*c_0101_2^8 + 11951633860309/24044793599*c_0101_2^7 + 5002348742701/24044793599*c_0101_2^6 - 6416148697410/24044793599*c_0101_2^5 - 2307881874636/24044793599*c_0101_2^4 + 1494055610223/24044793599*c_0101_2^3 + 638653129209/24044793599*c_0101_2^2 - 96512470806/24044793599*c_0101_2 - 79540366899/24044793599, c_0101_1 - 55495573300/24044793599*c_0101_2^15 - 576804400491/24044793599*c_0101_2^14 + 2472138560459/24044793599*c_0101_2^13 + 1433582250081/24044793599*c_0101_2^12 - 12056779904600/24044793599*c_0101_2^11 + 1053820193260/24044793599*c_0101_2^10 + 24292848888449/24044793599*c_0101_2^9 - 5364936722294/24044793599*c_0101_2^8 - 21938101159022/24044793599*c_0101_2^7 + 3698117810291/24044793599*c_0101_2^6 + 9870464901699/24044793599*c_0101_2^5 - 76833378690/24044793599*c_0101_2^4 - 2353746282564/24044793599*c_0101_2^3 - 384144144223/24044793599*c_0101_2^2 + 217825263890/24044793599*c_0101_2 + 41016897506/24044793599, c_0101_2^16 + 10*c_0101_2^15 - 49*c_0101_2^14 - 12*c_0101_2^13 + 244*c_0101_2^12 - 98*c_0101_2^11 - 508*c_0101_2^10 + 289*c_0101_2^9 + 504*c_0101_2^8 - 282*c_0101_2^7 - 268*c_0101_2^6 + 117*c_0101_2^5 + 84*c_0101_2^4 - 20*c_0101_2^3 - 15*c_0101_2^2 + c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB