这里有动画的制作版本： https://de.wikibooks.org/wiki/Datei:AnimatedPendulum.gif 动画脚本如下：

#!/bin/bash

set -eu
DIR="animate"
FILE="Pendulum"

NUM=0
rm -f ${DIR}/frame???.png

for ANG in $(seq 0 20 350) ; do
    POS=$(echo "30*c($ANG/45*a(1))" | bc -l)
    echo $POS $ANG
    sed -i "s/\\\def\\\a{.\+}/\\\def\\\a{$POS}/" $FILE.tex
    echo "Creating frame $NUM for $ANG ..."
    pdflatex -shell-escape $FILE.tex 1> /dev/null
    echo "Convert to png ..."
    NUMSTR=$(printf "%03d" $NUM)
    convert -density 300 ${FILE}01.svg -shave 3 ${DIR}/frame${NUMSTR}.png
    NUM=$(($NUM+1))
done
cd $DIR
convert -delay 20 -loop 10000 frame*.png  ${FILE}.gif
cd -