Continued_Fractions

Quadratic_Irrationals

E_CFrac

Sqrt_Nat_Cfrac

Pell_Lifting

Pell_Continued_Fraction

Pell_Continued_Fraction_Tests

Continued_Fraction_Approximation