Nuprl Definition : approx-in-interval

approx-in-interval(l;u;x;n) ==
eval a = x n in
eval m = 2 * n in

    if (a * 2) < ((l m) + 2)  then l  else if ((u m) - 2) < (a * 2)  then u  else (r(a))/m

Definitions occuring in Statement : int-rdiv: (a)/k1, int-to-real: r(n), callbyvalue: callbyvalue, less: if (a) < (b) then c else d, apply: f a, multiply: n * m, subtract: n - m, add: n + m, natural_number: $n
Definitions occuring in definition : int-to-real: r(n), int-rdiv: (a)/k1, natural_number: $n, multiply: n * m, apply: f a, subtract: n - m, less: if (a) < (b) then c else d, add: n + m, callbyvalue: callbyvalue
FDL editor aliases : approx-in-interval

Latex:
approx-in-interval(l;u;x;n) == eval a = x n in eval m = 2 * n in if (a * 2) < ((l m) + 2) then l else if ((u m) - 2) < (a * 2) then u else (r(a))/m Date html generated: 2017_01_09-AM-09_04_11 Last ObjectModification: 2016_11_26-PM-02_50_58 Theory : reals Home Index