Nuprl Definition : gcd
gcd(a;b) == fix((λgcd,a,b. if (b =z 0) then a else gcd b (a rem b) fi )) a b
Definitions occuring in Statement :
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,
apply: f a,
remainder: n rem m
FDL editor aliases :
gcd
Latex:
gcd(a;b) == fix((\mlambda{}gcd,a,b. if (b =\msubz{} 0) then a else gcd b (a rem b) fi )) a b
Date html generated:
2016_05_13-PM-03_36_47
Last ObjectModification:
2015_09_22-PM-05_45_00
Theory : arithmetic
Home
Index