Nuprl Definition : fast-rexp

fast-rexp(x) ==
  eval a = x 200 in
  eval u = (r(a + 2))/400 in
  eval l = (r(a - 2))/400 in
  eval B = canonical-bound(e^u) in
    approx-arg-interval(λx.e^x;l;u;B;x)

Definitions occuring in Statement : approx-arg-interval: approx-arg-interval(f;l;u;B;x), rexp: e^x, int-rdiv: (a)/k1, canonical-bound: canonical-bound(r), int-to-real: r(n), callbyvalue: callbyvalue, apply: f a, lambda: λx.A[x], subtract: n - m, add: n + m, natural_number: $n
Definitions occuring in definition : apply: f a, add: n + m, int-rdiv: (a)/k1, int-to-real: r(n), subtract: n - m, natural_number: $n, callbyvalue: callbyvalue, canonical-bound: canonical-bound(r), approx-arg-interval: approx-arg-interval(f;l;u;B;x), lambda: λx.A[x], rexp: e^x
FDL editor aliases : fast-rexp

Latex:
fast-rexp(x) == eval a = x 200 in eval u = (r(a + 2))/400 in eval l = (r(a - 2))/400 in eval B = canonical-bound(e\^{}u) in approx-arg-interval(\mlambda{}x.e\^{}x;l;u;B;x) Date html generated: 2017_10_04-PM-10_38_21 Last ObjectModification: 2017_06_05-PM-11_23_12 Theory : reals_2 Home Index