Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 2496989260] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0814 geometric_solution 4.74786052 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.447615463293 1.940553616180 0 1 0 1 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332114354825 0.057277798260 0 0 4 3 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 1 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 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.369542886800 0.478910939119 4 5 2 4 1230 0132 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 -1 1 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.828352959683 0.635244026515 5 3 3 2 3201 3012 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 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.828352959683 0.635244026515 6 3 6 4 0132 0132 1023 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 1 -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 0 0 0 1.919579102304 1.206571804038 5 6 5 6 0132 2310 1023 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 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.492373214955 0.454787456339 ==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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], '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_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 13254327239953/75034441600*c_0101_3*c_0101_5^12 - 143317739122879/75034441600*c_0101_3*c_0101_5^11 + 5183147151769/1172413150*c_0101_3*c_0101_5^10 + 3172623959932999/75034441600*c_0101_3*c_0101_5^9 - 1185495157695217/37517220800*c_0101_3*c_0101_5^8 - 13487575646195653/75034441600*c_0101_3*c_0101_5^7 + 211764245819759/75034441600*c_0101_3*c_0101_5^6 + 7970778073644803/37517220800*c_0101_3*c_0101_5^5 + 10067021970101149/75034441600*c_0101_3*c_0101_5^4 + 1060872443469761/37517220800*c_0101_3*c_0101_5^3 + 1142435955470559/75034441600*c_0101_3*c_0101_5^2 + 770003360446133/75034441600*c_0101_3*c_0101_5 + 6211659741997/9379305200*c_0101_3, c_0011_0 - 1, c_0011_3 + 479496116141/2592439957280*c_0101_3*c_0101_5^12 + 645504999227/324054994660*c_0101_3*c_0101_5^11 - 12189962382871/2592439957280*c_0101_3*c_0101_5^10 - 113908951947447/2592439957280*c_0101_3*c_0101_5^9 + 89616447614363/2592439957280*c_0101_3*c_0101_5^8 + 476815816474901/2592439957280*c_0101_3*c_0101_5^7 - 2133713586889/324054994660*c_0101_3*c_0101_5^6 - 550073528842813/2592439957280*c_0101_3*c_0101_5^5 - 72264076715369/518487991456*c_0101_3*c_0101_5^4 - 88237241111593/2592439957280*c_0101_3*c_0101_5^3 - 39172798264509/2592439957280*c_0101_3*c_0101_5^2 - 748365295726/81013748665*c_0101_3*c_0101_5 - 2056584376719/2592439957280*c_0101_3, c_0101_0 + 781171836723/2592439957280*c_0101_3*c_0101_5^12 + 2110865704417/648109989320*c_0101_3*c_0101_5^11 - 19635680971233/2592439957280*c_0101_3*c_0101_5^10 - 187396651087741/2592439957280*c_0101_3*c_0101_5^9 + 142193119738429/2592439957280*c_0101_3*c_0101_5^8 + 804744003229603/2592439957280*c_0101_3*c_0101_5^7 - 4240321288117/324054994660*c_0101_3*c_0101_5^6 - 974065545402619/2592439957280*c_0101_3*c_0101_5^5 - 110974193941711/518487991456*c_0101_3*c_0101_5^4 - 93155924241519/2592439957280*c_0101_3*c_0101_5^3 - 65107353324807/2592439957280*c_0101_3*c_0101_5^2 - 2665068674601/162027497330*c_0101_3*c_0101_5 + 907351714523/2592439957280*c_0101_3, c_0101_1 + 1139425119/648109989320*c_0101_5^12 + 6949920239/324054994660*c_0101_5^11 - 1641126026/81013748665*c_0101_5^10 - 64979629873/129621997864*c_0101_5^9 - 77217968547/648109989320*c_0101_5^8 + 819992953031/324054994660*c_0101_5^7 + 111572970709/648109989320*c_0101_5^6 - 702901542467/648109989320*c_0101_5^5 + 179291438899/81013748665*c_0101_5^4 - 2332389033721/324054994660*c_0101_5^3 - 3331487454947/648109989320*c_0101_5^2 + 390255515197/324054994660*c_0101_5 - 110957850289/324054994660, c_0101_3^2 + 563365663531/2592439957280*c_0101_5^12 + 1493429376289/648109989320*c_0101_5^11 - 3073681655537/518487991456*c_0101_5^10 - 131788905400597/2592439957280*c_0101_5^9 + 25857330268753/518487991456*c_0101_5^8 + 549086035022927/2592439957280*c_0101_5^7 - 34262933233591/648109989320*c_0101_5^6 - 650232411332547/2592439957280*c_0101_5^5 - 258362839537039/2592439957280*c_0101_5^4 - 48221370862779/2592439957280*c_0101_5^3 - 10744974240427/518487991456*c_0101_5^2 - 607785357426/81013748665*c_0101_5 - 2548798778441/2592439957280, c_0101_4 - 86427202529/648109989320*c_0101_5^12 - 1845799710637/1296219978640*c_0101_5^11 + 4556284338427/1296219978640*c_0101_5^10 + 2535678703383/81013748665*c_0101_5^9 - 7174540346305/259243995728*c_0101_5^8 - 83437844703773/648109989320*c_0101_5^7 + 20787803649559/1296219978640*c_0101_5^6 + 188177279971299/1296219978640*c_0101_5^5 + 55742432194789/648109989320*c_0101_5^4 + 31278798095059/1296219978640*c_0101_5^3 + 8724742583529/648109989320*c_0101_5^2 + 10122207227129/1296219978640*c_0101_5 + 1075351193089/1296219978640, c_0101_5^13 + 11*c_0101_5^12 - 23*c_0101_5^11 - 244*c_0101_5^10 + 134*c_0101_5^9 + 1050*c_0101_5^8 + 175*c_0101_5^7 - 1201*c_0101_5^6 - 984*c_0101_5^5 - 308*c_0101_5^4 - 120*c_0101_5^3 - 75*c_0101_5^2 - 15*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB