From ebc5c156d7090d70d286f6057ac6b8f3b63c8cba Mon Sep 17 00:00:00 2001 From: Sandeep Murthy Date: Sat, 3 Oct 2026 11:36:44 +0100 Subject: [PATCH] Add specs folder for continued fractions, with initial README outlining algorithms to be specified Signed-off-by: Sandeep Murthy --- specifications/ContinuedFractions/README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 specifications/ContinuedFractions/README.md 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.