eps to png format was done with the Unix command convert: convert -antialias -density 400x400 -scale 10% Heronian_trig.eps Heronian_trig.png function...
