C
ontinued_
F
ractions
Continued_Fractions
Quadratic_Irrationals
E_CFrac
Sqrt_Nat_Cfrac
Pell_Lifting
Pell_Continued_Fraction
Pell_Continued_Fraction_Tests
Continued_Fraction_Approximation