(gcd) ( b a x y -- a d )

Vocabulary

math.private

Inputs

b	an object
a	an object
x	an object
y	an object

Outputs

a	an object
d	an object

Definition

USING: kernel math ;

IN: math.private

: (gcd) ( b a x y -- a d )
    swap
    [ nip ] [ [ /mod [ over * swapd - ] dip ] keep (gcd) ]
    if-zero ; inline recursive