Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 1781266286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3342 geometric_solution 6.48756265 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 1 0 -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.579493531569 0.805823707029 0 4 2 5 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 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 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.533280003435 0.801866217897 0 0 3 1 3201 0132 3012 3012 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 -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.461317214909 0.827063170956 5 2 4 0 3201 1230 3201 0132 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 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.533280003435 0.801866217897 3 1 6 6 2310 0132 0132 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 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.243344121057 1.129873538672 5 5 1 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446345982642 0.784154477084 6 4 6 4 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.723665130800 0.584400818602 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0011_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' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0011_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_0011_5, c_0011_6, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 397852551/69592801*c_0101_1*c_0101_4^13 - 762334355/139185602*c_0101_1*c_0101_4^12 - 4097048887/278371204*c_0101_1*c_0101_4^11 - 2044190286/69592801*c_0101_1*c_0101_4^10 - 14150602039/278371204*c_0101_1*c_0101_4^9 - 2984908041/69592801*c_0101_1*c_0101_4^8 - 19819588587/278371204*c_0101_1*c_0101_4^7 + 2443259625/139185602*c_0101_1*c_0101_4^6 + 8016288155/139185602*c_0101_1*c_0101_4^5 + 11872359714/69592801*c_0101_1*c_0101_4^4 + 17125215026/69592801*c_0101_1*c_0101_4^3 + 36214430267/139185602*c_0101_1*c_0101_4^2 + 27934126747/278371204*c_0101_1*c_0101_4 + 3977717657/139185602*c_0101_1, c_0011_0 - 1, c_0011_3 + 330946/3662779*c_0101_1*c_0101_4^13 + 951028/3662779*c_0101_1*c_0101_4^12 + 2589683/7325558*c_0101_1*c_0101_4^11 + 3588711/3662779*c_0101_1*c_0101_4^10 + 6672385/3662779*c_0101_1*c_0101_4^9 + 9006077/3662779*c_0101_1*c_0101_4^8 + 11667805/3662779*c_0101_1*c_0101_4^7 + 26958873/7325558*c_0101_1*c_0101_4^6 + 4801640/3662779*c_0101_1*c_0101_4^5 + 3988683/7325558*c_0101_1*c_0101_4^4 - 22546003/7325558*c_0101_1*c_0101_4^3 - 17911990/3662779*c_0101_1*c_0101_4^2 - 20068631/7325558*c_0101_1*c_0101_4 + 354661/7325558*c_0101_1, c_0011_5 - 486377/7325558*c_0101_1*c_0101_4^13 + 132987/7325558*c_0101_1*c_0101_4^12 - 690511/7325558*c_0101_1*c_0101_4^11 - 1265941/7325558*c_0101_1*c_0101_4^10 - 1391007/7325558*c_0101_1*c_0101_4^9 + 536084/3662779*c_0101_1*c_0101_4^8 - 2347969/7325558*c_0101_1*c_0101_4^7 + 3613748/3662779*c_0101_1*c_0101_4^6 + 1792207/7325558*c_0101_1*c_0101_4^5 + 7366107/7325558*c_0101_1*c_0101_4^4 + 6988935/7325558*c_0101_1*c_0101_4^3 - 1155865/3662779*c_0101_1*c_0101_4^2 - 12122491/7325558*c_0101_1*c_0101_4 - 1201079/7325558*c_0101_1, c_0011_6 - 589767/3662779*c_0101_4^13 - 222691/3662779*c_0101_4^12 - 1490375/3662779*c_0101_4^11 - 2667999/3662779*c_0101_4^10 - 4794414/3662779*c_0101_4^9 - 3837978/3662779*c_0101_4^8 - 9899898/3662779*c_0101_4^7 - 773803/3662779*c_0101_4^6 - 5402143/3662779*c_0101_4^5 + 5320574/3662779*c_0101_4^4 + 5841936/3662779*c_0101_4^3 + 8513087/3662779*c_0101_4^2 - 2670297/3662779*c_0101_4 + 1761491/3662779, c_0101_1^2 - 1340774/106220591*c_0101_4^13 - 5296638/106220591*c_0101_4^12 - 14542328/106220591*c_0101_4^11 - 13575933/106220591*c_0101_4^10 - 43888797/106220591*c_0101_4^9 - 75569000/106220591*c_0101_4^8 - 77978257/106220591*c_0101_4^7 - 42549083/106220591*c_0101_4^6 - 108542423/106220591*c_0101_4^5 + 63811249/106220591*c_0101_4^4 + 115984248/106220591*c_0101_4^3 + 140827029/106220591*c_0101_4^2 - 56019472/106220591*c_0101_4 - 69632838/106220591, c_0101_3 + 21264/3662779*c_0101_4^13 + 566718/3662779*c_0101_4^12 + 468681/3662779*c_0101_4^11 + 1609141/3662779*c_0101_4^10 + 3218039/3662779*c_0101_4^9 + 5073103/3662779*c_0101_4^8 + 5622172/3662779*c_0101_4^7 + 10151448/3662779*c_0101_4^6 + 2820906/3662779*c_0101_4^5 + 2877267/3662779*c_0101_4^4 - 4037424/3662779*c_0101_4^3 - 10634802/3662779*c_0101_4^2 - 8947399/3662779*c_0101_4 - 65858/3662779, c_0101_4^14 + c_0101_4^13 + 3*c_0101_4^12 + 6*c_0101_4^11 + 11*c_0101_4^10 + 12*c_0101_4^9 + 21*c_0101_4^8 + 10*c_0101_4^7 + 10*c_0101_4^6 - 7*c_0101_4^5 - 18*c_0101_4^4 - 25*c_0101_4^3 - 5*c_0101_4^2 - 2*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB