Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 4206585574] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s675 geometric_solution 5.17545814 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 1 0 -1 0 0 1 -1 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.448397396155 0.406985203397 0 3 2 4 0132 0132 1230 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 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.777199771907 1.109867282485 3 0 4 1 3201 0132 2310 3012 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 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.777199771907 1.109867282485 3 1 3 2 2310 0132 3201 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 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.227646986367 0.920703876500 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645768101706 0.502009571877 4 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 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.237341119064 0.508824392503 ==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' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 28035213118039240/41857351884043*c_0101_5^15 - 121793783859258321/41857351884043*c_0101_5^14 + 827169986797526417/41857351884043*c_0101_5^13 - 724396124978546554/41857351884043*c_0101_5^12 - 474081698226414578/41857351884043*c_0101_5^11 + 790180602480491834/41857351884043*c_0101_5^10 - 3904915181345942062/41857351884043*c_0101_5^9 + 4150205997389765703/41857351884043*c_0101_5^8 + 4122147280880044274/41857351884043*c_0101_5^7 - 4974156794254082723/41857351884043*c_0101_5^6 - 1630804460913019740/41857351884043*c_0101_5^5 + 1654258861453704347/41857351884043*c_0101_5^4 + 1524196679818190448/41857351884043*c_0101_5^3 - 63624859665702250/41857351884043*c_0101_5^2 - 415702568069701973/41857351884043*c_0101_5 + 80783725480526364/41857351884043, c_0011_0 - 1, c_0011_4 + 30760742581853/41857351884043*c_0101_5^15 + 146524480534160/41857351884043*c_0101_5^14 - 849865522502350/41857351884043*c_0101_5^13 + 423550804808604/41857351884043*c_0101_5^12 + 808038820914296/41857351884043*c_0101_5^11 - 656768041629143/41857351884043*c_0101_5^10 + 4022929992817248/41857351884043*c_0101_5^9 - 2806563253570298/41857351884043*c_0101_5^8 - 6224274886591151/41857351884043*c_0101_5^7 + 3533625939019303/41857351884043*c_0101_5^6 + 3431219558464017/41857351884043*c_0101_5^5 - 862844155255151/41857351884043*c_0101_5^4 - 2032644975798277/41857351884043*c_0101_5^3 - 676257557612090/41857351884043*c_0101_5^2 + 311329376720283/41857351884043*c_0101_5 + 21878101970478/41857351884043, c_0101_0 + 577476482003223/41857351884043*c_0101_5^15 + 2494511650891269/41857351884043*c_0101_5^14 - 17103057141004578/41857351884043*c_0101_5^13 + 15326711525543982/41857351884043*c_0101_5^12 + 9479256984582454/41857351884043*c_0101_5^11 - 16555883864536194/41857351884043*c_0101_5^10 + 80760087960660406/41857351884043*c_0101_5^9 - 87409624224914096/41857351884043*c_0101_5^8 - 83180786078325315/41857351884043*c_0101_5^7 + 104802677591817310/41857351884043*c_0101_5^6 + 31661932255065838/41857351884043*c_0101_5^5 - 35227150363101159/41857351884043*c_0101_5^4 - 30938569854433343/41857351884043*c_0101_5^3 + 2162913298726947/41857351884043*c_0101_5^2 + 8717299524029997/41857351884043*c_0101_5 - 1804883906608875/41857351884043, c_0101_1 + 708433620920336/41857351884043*c_0101_5^15 + 3062991506285165/41857351884043*c_0101_5^14 - 20968314696078844/41857351884043*c_0101_5^13 + 18726325575237926/41857351884043*c_0101_5^12 + 11671586278102604/41857351884043*c_0101_5^11 - 20258252062819809/41857351884043*c_0101_5^10 + 99023454968366515/41857351884043*c_0101_5^9 - 106860562794615938/41857351884043*c_0101_5^8 - 102314737802089211/41857351884043*c_0101_5^7 + 128115116133566674/41857351884043*c_0101_5^6 + 39107232641167557/41857351884043*c_0101_5^5 - 42985935244701006/41857351884043*c_0101_5^4 - 37940550789870266/41857351884043*c_0101_5^3 + 2545327249309351/41857351884043*c_0101_5^2 + 10677815863628570/41857351884043*c_0101_5 - 2213793702311662/41857351884043, c_0101_2 - 359041586849430/41857351884043*c_0101_5^15 - 1536420744643355/41857351884043*c_0101_5^14 + 10700807102264028/41857351884043*c_0101_5^13 - 9938470174772174/41857351884043*c_0101_5^12 - 5628765623089930/41857351884043*c_0101_5^11 + 10591787277393006/41857351884043*c_0101_5^10 - 50512282131467031/41857351884043*c_0101_5^9 + 56269043682119904/41857351884043*c_0101_5^8 + 50098678170905185/41857351884043*c_0101_5^7 - 67642021295638087/41857351884043*c_0101_5^6 - 17918680086391946/41857351884043*c_0101_5^5 + 23274189165322567/41857351884043*c_0101_5^4 + 18803141349403578/41857351884043*c_0101_5^3 - 2321814544998965/41857351884043*c_0101_5^2 - 5681946203415398/41857351884043*c_0101_5 + 1273959032618621/41857351884043, c_0101_5^16 + 4*c_0101_5^15 - 31*c_0101_5^14 + 36*c_0101_5^13 + 8*c_0101_5^12 - 34*c_0101_5^11 + 149*c_0101_5^10 - 196*c_0101_5^9 - 96*c_0101_5^8 + 228*c_0101_5^7 - 3*c_0101_5^6 - 79*c_0101_5^5 - 34*c_0101_5^4 + 21*c_0101_5^3 + 14*c_0101_5^2 - 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB