Continued fraction/Arithmetic/Construct from rational number: Difference between revisions

Content added Content deleted

Inline

@@ Line 3,423: / Line 3,423: @@
    then (CF = lazy_list(delay((func) = nil)))
    else (CF = lazy_list(delay(Cons)),
-         Cons = ((func) = cons(Quotient,
+         ((func) = CF1 :-
-                               r2cf(Denominator, Remainder))),
+            (
+              CF1 = cons(Quotient, r2cf(Denominator, Remainder)),
-         %% What follows is division with truncation towards zero.
+              %% What follows is division with truncation towards
-         divide_with_rem(Numerator, Denominator,
-                         Quotient, Remainder))).
+              %% zero.
+              divide_with_rem(Numerator, Denominator,
+                              Quotient, Remainder)
+            )) = Cons)).
 %%%-------------------------------------------------------------------