21 Dec
2012
21 Dec
'12
12:56 p.m.
How did you produce a video out of the PDF?
I wrote a BASH script to automate this process, but essentially it involves converting each "frame"/page of the PDF to JPG and then combining the JPG sequence into a MP4 movie. The hypocycloid example has 191 frames, and so I did something like: let n=0; while [ $n -lt 191 ] do convert -density 720 hypocycloid.pdf[$n] -resize "x720" -flatten -gravity center -extent "1280x720" -quality 100 hypocycloid-$n.jpg done ffmpeg -r 13 -i hypocycloid-%d.jpg -b 5000k -vcodec libx264 -y hypocycloid.mp4