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