continued fractions

Stream: maths

[Yury G. Kudryashov]

@Kevin Kappelmann Do we already have $|α - \frac{p_n}{q_n}|\le \frac{1}{q_nq_{n+1}}$?

[Kevin Kappelmann]

Just on my laptop so far, but I am pushing PRs whenever I find time to polish parts of the code I still haven't submitted. One PR is open to be reviewed at the very moment. I think there are 3 or 4 more PRs to come until this result is there.