Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 4299980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1623 geometric_solution 5.37655779 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.614053418014 0.234881257948 0 2 2 0 3201 0132 1023 0132 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 1 -1 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 1.248728001695 0.531194718539 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384506217018 0.434924465719 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.766906350810 0.880496054758 6 3 2 5 2310 0321 0132 1023 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 0 0 0 0 0.766906350810 0.880496054758 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537110059509 0.383525848729 6 6 4 3 1230 3012 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.248416551622 0.974938436456 ==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_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0011_6, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 3203/269*c_0101_6^7 + 8982/269*c_0101_6^6 + 10980/269*c_0101_6^5 + 23233/269*c_0101_6^4 + 27067/269*c_0101_6^3 + 16269/269*c_0101_6^2 + 5237/269*c_0101_6 - 21524/269, c_0011_0 - 1, c_0011_1 + 53/269*c_0101_6^7 + 154/269*c_0101_6^6 + 233/269*c_0101_6^5 + 468/269*c_0101_6^4 + 496/269*c_0101_6^3 + 512/269*c_0101_6^2 + 131/269*c_0101_6 - 239/269, c_0011_4 - 76/269*c_0101_6^7 - 165/269*c_0101_6^6 - 192/269*c_0101_6^5 - 463/269*c_0101_6^4 - 493/269*c_0101_6^3 - 318/269*c_0101_6^2 + 71/269*c_0101_6 + 160/269, c_0011_6 + 26/269*c_0101_6^7 + 106/269*c_0101_6^6 + 94/269*c_0101_6^5 + 123/269*c_0101_6^4 + 289/269*c_0101_6^3 + 38/269*c_0101_6^2 - 88/269*c_0101_6 - 168/269, c_0101_0 + 8/269*c_0101_6^7 + 74/269*c_0101_6^6 + 91/269*c_0101_6^5 + 162/269*c_0101_6^4 + 420/269*c_0101_6^3 + 260/269*c_0101_6^2 + 304/269*c_0101_6 - 31/269, c_0101_6^8 + 3*c_0101_6^7 + 4*c_0101_6^6 + 8*c_0101_6^5 + 10*c_0101_6^4 + 7*c_0101_6^3 + 3*c_0101_6^2 - 6*c_0101_6 - 1, c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 4225309/958*c_0110_5^13 + 7409641/479*c_0110_5^12 - 150948483/958*c_0110_5^11 - 465601086/479*c_0110_5^10 - 599000008/479*c_0110_5^9 + 3025411467/958*c_0110_5^8 + 5576326139/479*c_0110_5^7 + 6661137186/479*c_0110_5^6 + 6114620463/958*c_0110_5^5 - 270614270/479*c_0110_5^4 - 1377458121/958*c_0110_5^3 - 164581536/479*c_0110_5^2 + 7950554/479*c_0110_5 + 4282409/479, c_0011_0 - 1, c_0011_1 + 91469/958*c_0110_5^13 + 319205/958*c_0110_5^12 - 1636383/479*c_0110_5^11 - 10049890/479*c_0110_5^10 - 25602313/958*c_0110_5^9 + 32919278/479*c_0110_5^8 + 240191149/958*c_0110_5^7 + 284607387/958*c_0110_5^6 + 64259428/479*c_0110_5^5 - 12904821/958*c_0110_5^4 - 14668387/479*c_0110_5^3 - 3396254/479*c_0110_5^2 + 370987/958*c_0110_5 + 178635/958, c_0011_4 - 13783/1916*c_0110_5^13 - 24801/958*c_0110_5^12 + 489003/1916*c_0110_5^11 + 3085525/1916*c_0110_5^10 + 1036739/479*c_0110_5^9 - 2427628/479*c_0110_5^8 - 18716029/958*c_0110_5^7 - 22970281/958*c_0110_5^6 - 5451736/479*c_0110_5^5 + 417176/479*c_0110_5^4 + 4881165/1916*c_0110_5^3 + 1156999/1916*c_0110_5^2 - 31163/958*c_0110_5 - 28663/1916, c_0011_6 + 61141/958*c_0110_5^13 + 108161/479*c_0110_5^12 - 1089437/479*c_0110_5^11 - 6772731/479*c_0110_5^10 - 17704463/958*c_0110_5^9 + 43483697/958*c_0110_5^8 + 81462570/479*c_0110_5^7 + 196762351/958*c_0110_5^6 + 91827357/958*c_0110_5^5 - 3684662/479*c_0110_5^4 - 10302047/479*c_0110_5^3 - 2498078/479*c_0110_5^2 + 244387/958*c_0110_5 + 65858/479, c_0101_0 + 114639/1916*c_0110_5^13 + 401339/1916*c_0110_5^12 - 1024595/479*c_0110_5^11 - 25239745/1916*c_0110_5^10 - 32328431/1916*c_0110_5^9 + 82357483/1916*c_0110_5^8 + 302086453/1916*c_0110_5^7 + 359184547/1916*c_0110_5^6 + 162980809/1916*c_0110_5^5 - 15958871/1916*c_0110_5^4 - 9269283/479*c_0110_5^3 - 8606735/1916*c_0110_5^2 + 461221/1916*c_0110_5 + 112145/958, c_0101_6 + 20975/479*c_0110_5^13 + 290247/1916*c_0110_5^12 - 3009949/1916*c_0110_5^11 - 4585581/479*c_0110_5^10 - 22956711/1916*c_0110_5^9 + 60904153/1916*c_0110_5^8 + 218254253/1916*c_0110_5^7 + 255112069/1916*c_0110_5^6 + 112308035/1916*c_0110_5^5 - 13106765/1916*c_0110_5^4 - 25989195/1916*c_0110_5^3 - 1448383/479*c_0110_5^2 + 344967/1916*c_0110_5 + 152293/1916, c_0110_5^14 + 4*c_0110_5^13 - 34*c_0110_5^12 - 238*c_0110_5^11 - 392*c_0110_5^10 + 577*c_0110_5^9 + 2993*c_0110_5^8 + 4451*c_0110_5^7 + 2993*c_0110_5^6 + 577*c_0110_5^5 - 392*c_0110_5^4 - 238*c_0110_5^3 - 34*c_0110_5^2 + 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB