diff --git a/specifications/ContinuedFractions/README.md b/specifications/ContinuedFractions/README.md new file mode 100644 index 00000000..ed45bea6 --- /dev/null +++ b/specifications/ContinuedFractions/README.md @@ -0,0 +1,10 @@ +Continued Fractions - Core Algorithms +===================================== + +TLA specs for: + +1. Core algorithm for finding the (unique) simple continued fraction of a rational number based on Euclidean division. +2. Algorithm for constructing a rational number from the sequence of coefficients of a simple continued fraction. +3. Algorithm for finding the k-th convergent of a simple continued fraction. +4. Algorithm for finding the k-th remainder of a simple continued fraction. +5. Algorithm for finding the semiconvergent of two consecutive convergents of a simple continued fraction.