Nuprl Definition : rroot-abs
rroot-abs(i;x) == eval b = 2^i - 1 in λn.eval k = n^i in eval z = |x| k in iroot(i;b * z)
Definitions occuring in Statement :
rabs: |x|,
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x],
multiply: n * m,
subtract: n - m,
natural_number: $n,
iroot: iroot(n;x),
fastexp: i^n
Definitions occuring in definition :
subtract: n - m,
natural_number: $n,
lambda: λx.A[x],
fastexp: i^n,
callbyvalue: callbyvalue,
apply: f a,
rabs: |x|,
iroot: iroot(n;x),
multiply: n * m
FDL editor aliases :
rroot-abs
Latex:
rroot-abs(i;x) == eval b = 2\^{}i - 1 in \mlambda{}n.eval k = n\^{}i in eval z = |x| k in iroot(i;b * z)
Date html generated:
2016_05_18-AM-09_36_32
Last ObjectModification:
2015_09_23-AM-09_12_02
Theory : reals
Home
Index