Demers: Here is the promised Fast Fourier Transform example. It worked for the two examples I tried, so I'm fairly sure it's correct.
Student: Proof by exhaustive testing?
Demers: Well, it sure exhausted me.