(simplest) ( n d n' d' -- val )


Vocabulary
math.approx.private

Inputs
nan object
dan object
n'an object
d'an object


Outputs
valan object


Definition


:: (simplest) ( n d n' d' -- val )
n d /mod :> ( q r ) n' d' /mod :> ( q' r' ) {
{ [ r zero? ] [ q ] }
{ [ q q' = not ] [ q 1 + ] }
[
d' r' d r (simplest)
>fraction :> ( n'' d'' ) q n'' * d'' + n'' /
]
} cond ;