Magma V2.19-8 Tue Aug 20 2013 16:08:58 on localhost [Seed = 2429619755] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m228 geometric_solution 4.14322402 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 5 1 1 2 3 0132 3201 0132 0132 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 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.388348170671 2.211444275632 0 1 0 1 0132 1302 2310 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.531966400458 0.680941460791 4 3 4 0 0132 1023 2310 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 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 0.608107394056 0.847124993812 2 4 0 4 1023 3201 0132 1023 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 -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.608107394056 0.847124993812 2 2 3 3 0132 3201 2310 1023 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 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.524256143132 0.319069502999 ==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' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_4' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], '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 6 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 2416698460847/120550346891520*c_0101_2^12 + 1372300873091/12055034689152*c_0101_2^11 - 1654537631339/7534396680720*c_0101_2^10 + 83634727209407/120550346891520*c_0101_2^9 + 44438818470499/60275173445760*c_0101_2^8 - 1879016596647/40183448963840*c_0101_2^7 + 26023051611187/30137586722880*c_0101_2^6 + 1867771623037/772758633920*c_0101_2^5 + 19521303433279/3013758672288*c_0101_2^4 - 17367102825083/1883599170180*c_0101_2^3 - 1040160757709/72446121930*c_0101_2^2 - 39610320847207/1883599170180*c_0101_2 - 3219133274962/470899792545, c_0011_0 - 1, c_0011_2 - 1144369299/2511465560240*c_0101_2^12 + 1419540249/502293112048*c_0101_2^11 - 1396517281/313933195030*c_0101_2^10 + 853240569/156966597515*c_0101_2^9 + 104300663801/2511465560240*c_0101_2^8 - 243040061717/2511465560240*c_0101_2^7 + 4662303419/627866390060*c_0101_2^6 + 9394304357/48297414620*c_0101_2^5 - 59974896413/502293112048*c_0101_2^4 - 61413208459/156966597515*c_0101_2^3 - 19115683621/48297414620*c_0101_2^2 + 66626132094/156966597515*c_0101_2 - 27499804769/156966597515, c_0101_0 + 598279489/627866390060*c_0101_2^12 - 7832884235/1004586224096*c_0101_2^11 + 61880243137/2511465560240*c_0101_2^10 - 38558411589/627866390060*c_0101_2^9 + 228123220047/5022931120480*c_0101_2^8 + 216247583173/2511465560240*c_0101_2^7 - 539663933293/5022931120480*c_0101_2^6 - 942421407/12074353655*c_0101_2^5 + 44236542969/251146556024*c_0101_2^4 + 179926015196/156966597515*c_0101_2^3 - 8770603759/12074353655*c_0101_2^2 - 188898071457/313933195030*c_0101_2 - 49098022654/156966597515, c_0101_1 + 807840039/2511465560240*c_0101_2^12 - 275871775/125573278012*c_0101_2^11 + 2989518517/627866390060*c_0101_2^10 - 25294704319/2511465560240*c_0101_2^9 - 1427989666/156966597515*c_0101_2^8 + 105137402037/2511465560240*c_0101_2^7 + 36277817637/1255732780120*c_0101_2^6 - 4491469977/48297414620*c_0101_2^5 + 10354150589/125573278012*c_0101_2^4 + 30496434404/156966597515*c_0101_2^3 + 10998871791/48297414620*c_0101_2^2 - 33242315114/156966597515*c_0101_2 - 86968198311/156966597515, c_0101_2^13 - 6*c_0101_2^12 + 12*c_0101_2^11 - 33*c_0101_2^10 - 38*c_0101_2^9 + 47*c_0101_2^8 - 32*c_0101_2^7 - 152*c_0101_2^6 - 224*c_0101_2^5 + 656*c_0101_2^4 + 672*c_0101_2^3 + 256*c_0101_2^2 - 128*c_0101_2 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB