mathlib documentation

algebra.continued_fractions.terminated_stable

Stabilisation of gcf Computations Under Termination

Summary

We show that the continuants and convergents of a gcf stabilise once the gcf terminates.

If a gcf terminated at position n, it also terminated at m ≥ n.