Nuprl Definition : ratreduce
ratreduce(x) == let a,b = x in eval g = |better-gcd(a;b)| in eval a' = a ÷ g in eval b' = b ÷ g in <a', b'>
Definitions occuring in Statement :
better-gcd: better-gcd(a;b),
absval: |i|,
callbyvalue: callbyvalue,
spread: spread def,
pair: <a, b>,
divide: n ÷ m
Definitions occuring in definition :
spread: spread def,
absval: |i|,
better-gcd: better-gcd(a;b),
callbyvalue: callbyvalue,
divide: n ÷ m,
pair: <a, b>
FDL editor aliases :
ratreduce
Latex:
ratreduce(x) ==
let a,b = x
in eval g = |better-gcd(a;b)| in
eval a' = a \mdiv{} g in
eval b' = b \mdiv{} g in
<a', b'>
Date html generated:
2019_10_30-AM-09_19_04
Last ObjectModification:
2019_01_10-PM-01_10_41
Theory : reals
Home
Index