eugh, now I have to prove this algorithm is correct

@christianp If the proof wasn't developed alongside the algorithm, that's really, really hard. When I was faced with that I often worked on it for a bit, then gave up and derived the algorithm from the ground up with its proof, often finding bugs along the way.

It's been a long time since I did that, though.

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.