Magma V2.19-8 Tue Aug 20 2013 16:18:59 on localhost [Seed = 997893719] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3132 geometric_solution 6.29410402 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 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 1 -1 -1 0 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.772853974018 0.450693072793 3 0 5 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -1 1 0 0 1 -1 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.758639753846 0.434102714782 4 6 0 3 1023 0132 0132 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 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 0.758639753846 0.434102714782 1 6 2 5 0132 2031 0132 1302 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 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633913173352 0.355266926465 4 2 1 4 3012 1023 0132 1230 0 0 0 0 0 0 1 -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 0 -1 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.710143625007 0.740935541709 6 6 3 1 2103 0321 2031 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 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 0 0 0 0 0 0.588969423208 0.686200779032 3 2 5 5 1302 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.588969423208 0.686200779032 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_1001_1'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_1001_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_2, c_0011_5, c_0101_1, c_0101_2, c_0101_3, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1854247541404949/2131665059106240*c_1001_1^14 - 14313199042093577/2131665059106240*c_1001_1^13 + 20876668719282003/710555019702080*c_1001_1^12 - 9752739950016901/106583252955312*c_1001_1^11 + 149724345863100179/710555019702080*c_1001_1^10 - 780143231267366993/2131665059106240*c_1001_1^9 + 100254035060452921/213166505910624*c_1001_1^8 - 145787790293842983/355277509851040*c_1001_1^7 + 317819780046122629/2131665059106240*c_1001_1^6 + 321513806871635611/2131665059106240*c_1001_1^5 - 105197085757388083/710555019702080*c_1001_1^4 - 192265852981539047/1065832529553120*c_1001_1^3 + 762279286978267769/2131665059106240*c_1001_1^2 - 52650489241303683/355277509851040*c_1001_1 - 26945260118771459/2131665059106240, c_0011_0 - 1, c_0011_2 + 100699047547/2537696498936*c_1001_1^14 - 660994897283/2537696498936*c_1001_1^13 + 7933839340669/7613089496808*c_1001_1^12 - 2814492398246/951636187101*c_1001_1^11 + 46388381950001/7613089496808*c_1001_1^10 - 23294019886911/2537696498936*c_1001_1^9 + 35817477403235/3806544748404*c_1001_1^8 - 18042488518871/3806544748404*c_1001_1^7 - 27977561744627/7613089496808*c_1001_1^6 + 63348897370855/7613089496808*c_1001_1^5 - 10741582436729/7613089496808*c_1001_1^4 - 35407873274131/3806544748404*c_1001_1^3 + 54228329874701/7613089496808*c_1001_1^2 + 2890801551363/1268848249468*c_1001_1 - 14904890420419/7613089496808, c_0011_5 - 42758890481/7613089496808*c_1001_1^14 + 399382960705/7613089496808*c_1001_1^13 - 2182289930381/7613089496808*c_1001_1^12 + 326361417482/317212062367*c_1001_1^11 - 7094910965963/2537696498936*c_1001_1^10 + 43830147545245/7613089496808*c_1001_1^9 - 11426984201653/1268848249468*c_1001_1^8 + 39438945435535/3806544748404*c_1001_1^7 - 57197529884645/7613089496808*c_1001_1^6 + 8760920006089/7613089496808*c_1001_1^5 + 34169962205057/7613089496808*c_1001_1^4 - 6553857635645/3806544748404*c_1001_1^3 - 43647497077709/7613089496808*c_1001_1^2 + 27677808300059/3806544748404*c_1001_1 - 11076949790749/7613089496808, c_0101_1 - 42758890481/7613089496808*c_1001_1^14 + 399382960705/7613089496808*c_1001_1^13 - 2182289930381/7613089496808*c_1001_1^12 + 326361417482/317212062367*c_1001_1^11 - 7094910965963/2537696498936*c_1001_1^10 + 43830147545245/7613089496808*c_1001_1^9 - 11426984201653/1268848249468*c_1001_1^8 + 39438945435535/3806544748404*c_1001_1^7 - 57197529884645/7613089496808*c_1001_1^6 + 8760920006089/7613089496808*c_1001_1^5 + 34169962205057/7613089496808*c_1001_1^4 - 6553857635645/3806544748404*c_1001_1^3 - 43647497077709/7613089496808*c_1001_1^2 + 27677808300059/3806544748404*c_1001_1 - 11076949790749/7613089496808, c_0101_2 + 95644273/1217704654*c_1001_1^14 - 721661421/1217704654*c_1001_1^13 + 3126142867/1217704654*c_1001_1^12 - 4820790781/608852327*c_1001_1^11 + 21987279421/1217704654*c_1001_1^10 - 37811126393/1217704654*c_1001_1^9 + 24013137203/608852327*c_1001_1^8 - 20675571199/608852327*c_1001_1^7 + 14329152163/1217704654*c_1001_1^6 + 15362806909/1217704654*c_1001_1^5 - 13485629721/1217704654*c_1001_1^4 - 9952761110/608852327*c_1001_1^3 + 35489414125/1217704654*c_1001_1^2 - 6643935525/608852327*c_1001_1 - 75732861/1217704654, c_0101_3 + 51116704295/7613089496808*c_1001_1^14 - 745729372943/7613089496808*c_1001_1^13 + 1343324415753/2537696498936*c_1001_1^12 - 1829563954747/951636187101*c_1001_1^11 + 13016569404165/2537696498936*c_1001_1^10 - 77547581600987/7613089496808*c_1001_1^9 + 57937257869129/3806544748404*c_1001_1^8 - 20590941318515/1268848249468*c_1001_1^7 + 78333587692291/7613089496808*c_1001_1^6 + 6093054767305/7613089496808*c_1001_1^5 - 17847408855757/2537696498936*c_1001_1^4 - 4193595241409/3806544748404*c_1001_1^3 + 92528169309347/7613089496808*c_1001_1^2 - 12062326830415/1268848249468*c_1001_1 + 5533868879923/7613089496808, c_1001_1^15 - 8*c_1001_1^14 + 36*c_1001_1^13 - 115*c_1001_1^12 + 273*c_1001_1^11 - 492*c_1001_1^10 + 665*c_1001_1^9 - 632*c_1001_1^8 + 311*c_1001_1^7 + 124*c_1001_1^6 - 226*c_1001_1^5 - 151*c_1001_1^4 + 471*c_1001_1^3 - 297*c_1001_1^2 + 39*c_1001_1 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB