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 :
pair: <a, b>,
subtract: n - m,
callbyvalue: callbyvalue,
triangular-num: t(n),
tsqrt: tsqrt(n)
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:
2019_06_20-PM-02_38_51
Last ObjectModification:
2019_06_12-PM-00_27_07
Theory : num_thy_1
Home
Index