Nuprl Definition : lcm
lcm(a;b) ==
eval a' = a in
eval b' = b in
if (a' =z 0) then 0
if (b' =z 0) then 0
else eval g = gcd(a';b') in
(a' * b') ÷ g
fi
Definitions occuring in Statement :
gcd: gcd(a;b),
callbyvalue: callbyvalue,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n,
callbyvalue: callbyvalue,
gcd: gcd(a;b),
divide: n ÷ m,
multiply: n * m
FDL editor aliases :
lcm
Latex:
lcm(a;b) ==
eval a' = a in
eval b' = b in
if (a' =\msubz{} 0) then 0
if (b' =\msubz{} 0) then 0
else eval g = gcd(a';b') in
(a' * b') \mdiv{} g
fi
Date html generated:
2016_05_14-PM-09_24_35
Last ObjectModification:
2015_09_22-PM-06_03_03
Theory : num_thy_1
Home
Index