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

m
Line 3,423:
then (CF = lazy_list(delay((func) = nil)))
else (CF = lazy_list(delay(Cons)),
((func) = CF1Cell :-
CF1(Cell = cons(Quotient, r2cf(Denominator, Remainder)),
(
%% What follows is division with truncation towards zero.
CF1 = cons(Quotient, r2cf(Denominator, Remainder)),
divide_with_rem(Numerator, Denominator,
%% What follows is division with truncation towards
%% zero Quotient, Remainder))) = Cons)).
divide_with_rem(Numerator, Denominator,
Quotient, Remainder)
)) = Cons)).
 
%%%-------------------------------------------------------------------
Line 3,532 ⟶ 3,529:
 
{{out}}
<pre>$ mmc --use-subdirs continued_fraction_from_rational_lazy.m && ./continued_fraction_from_rational_lazy
1/2 => [0;2]
3 => [3]
1,448

edits