Nuprl Definition : coded-pair
coded-pair(m) == eval n = m in eval x = tsqrt(n) in eval a = n - t(x) in eval b = x - a in <a, b>
Definitions occuring in Statement :
tsqrt: tsqrt(n),
triangular-num: t(n),
callbyvalue: callbyvalue,
pair: <a, b>,
subtract: n - m
Definitions occuring in definition :
tsqrt: tsqrt(n),
triangular-num: t(n),
callbyvalue: callbyvalue,
subtract: n - m,
pair: <a, b>
FDL editor aliases :
coded-pair
Latex:
coded-pair(m) == eval n = m in eval x = tsqrt(n) in eval a = n - t(x) in eval b = x - a in <a, b>
Date html generated:
2016_05_15-PM-05_20_57
Last ObjectModification:
2015_09_23-AM-07_53_23
Theory : general
Home
Index