Nuprl Definition : better-gcd
better-gcd(a;b) == fix((λbetter-gcd,a,b. if (b =z 0) then a else eval r = a rem b in better-gcd b r fi )) a b
Definitions occuring in Statement :
callbyvalue: callbyvalue,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
fix: fix(F),
lambda: λx.A[x],
remainder: n rem m,
natural_number: $n
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n,
callbyvalue: callbyvalue,
remainder: n rem m,
apply: f a
FDL editor aliases :
better-gcd
Latex:
better-gcd(a;b) ==
fix((\mlambda{}better-gcd,a,b. if (b =\msubz{} 0) then a else eval r = a rem b in better-gcd b r fi )) a b
Date html generated:
2016_05_13-PM-03_36_57
Last ObjectModification:
2015_09_22-PM-05_45_02
Theory : arithmetic
Home
Index