Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 728413957] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s169 geometric_solution 4.25957200 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 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 1 0 -1 -1 0 1 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.776665140505 0.751187216301 3 2 2 0 0132 3012 1230 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 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.071797071646 0.750497653885 1 3 0 1 1230 3201 0132 3012 0 0 0 0 0 -1 0 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 0 -1 1 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 1.071797071646 0.750497653885 1 4 2 4 0132 0132 2310 2310 0 0 0 0 0 1 -1 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 -1 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 1.220274472177 0.493680209246 3 3 5 5 3201 0132 3201 0132 0 0 0 0 0 -1 0 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 -1 0 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.461204323136 0.297571362594 4 5 4 5 2310 2310 0132 3201 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.294768854310 0.381443394554 ==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' : negation(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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 45427939232/5970352985*c_0101_5^11 + 54972266389/1194070597*c_0101_5^10 - 762010407719/5970352985*c_0101_5^9 - 121550353421/1194070597*c_0101_5^8 + 2241412400473/5970352985*c_0101_5^7 + 421602686762/5970352985*c_0101_5^6 - 2484917753471/5970352985*c_0101_5^5 - 2161368871953/5970352985*c_0101_5^4 + 4328742652366/5970352985*c_0101_5^3 - 284237639102/1194070597*c_0101_5^2 + 277652750106/5970352985*c_0101_5 - 178143507907/5970352985, c_0011_0 - 1, c_0011_1 - 2233234626/5970352985*c_0101_5^11 - 2909569647/1194070597*c_0101_5^10 + 30544556947/5970352985*c_0101_5^9 + 8599688978/1194070597*c_0101_5^8 - 87478887379/5970352985*c_0101_5^7 - 58449711246/5970352985*c_0101_5^6 + 85376052468/5970352985*c_0101_5^5 + 143310613304/5970352985*c_0101_5^4 - 133869158533/5970352985*c_0101_5^3 + 3266507805/1194070597*c_0101_5^2 - 22980235653/5970352985*c_0101_5 - 1606200479/5970352985, c_0011_5 - 2988062499/5970352985*c_0101_5^11 - 3909980471/1194070597*c_0101_5^10 + 39987061278/5970352985*c_0101_5^9 + 11230025533/1194070597*c_0101_5^8 - 113950122896/5970352985*c_0101_5^7 - 72376371189/5970352985*c_0101_5^6 + 111432289882/5970352985*c_0101_5^5 + 179870969191/5970352985*c_0101_5^4 - 180324666712/5970352985*c_0101_5^3 + 7399804208/1194070597*c_0101_5^2 - 23228923677/5970352985*c_0101_5 - 1296505551/5970352985, c_0101_0 - 948224564/5970352985*c_0101_5^11 - 1279628500/1194070597*c_0101_5^10 + 11855049098/5970352985*c_0101_5^9 + 4739574710/1194070597*c_0101_5^8 - 35181854111/5970352985*c_0101_5^7 - 41356471844/5970352985*c_0101_5^6 + 36927023907/5970352985*c_0101_5^5 + 81841550641/5970352985*c_0101_5^4 - 47505458722/5970352985*c_0101_5^3 - 5470513505/1194070597*c_0101_5^2 + 1262603563/5970352985*c_0101_5 - 3608672031/5970352985, c_0101_1 + 2407297003/5970352985*c_0101_5^11 + 3241286260/1194070597*c_0101_5^10 - 29351266301/5970352985*c_0101_5^9 - 10444065512/1194070597*c_0101_5^8 + 84284849952/5970352985*c_0101_5^7 + 78943063878/5970352985*c_0101_5^6 - 80828932739/5970352985*c_0101_5^5 - 164576721107/5970352985*c_0101_5^4 + 119107435819/5970352985*c_0101_5^3 + 41309876/1194070597*c_0101_5^2 + 11657937574/5970352985*c_0101_5 + 5908054527/5970352985, c_0101_5^12 + 6*c_0101_5^11 - 17*c_0101_5^10 - 12*c_0101_5^9 + 49*c_0101_5^8 + 5*c_0101_5^7 - 52*c_0101_5^6 - 42*c_0101_5^5 + 94*c_0101_5^4 - 42*c_0101_5^3 + 13*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB