Nuprl Definition : fast-rsqrt
fast-rsqrt(a;x) ==
λm.eval r = (rroot(2;x) a) - 2 in
eval n = (m * 2 * a) ÷ r in
eval y = (x within 1/n) in
rroot(2;y) m
Definitions occuring in Statement :
rroot: rroot(i;x),
rational-approx: (x within 1/n),
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x],
divide: n ÷ m,
multiply: n * m,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
subtract: n - m,
divide: n ÷ m,
multiply: n * m,
callbyvalue: callbyvalue,
rational-approx: (x within 1/n),
apply: f a,
rroot: rroot(i;x),
natural_number: $n
FDL editor aliases :
fast-rsqrt
Latex:
fast-rsqrt(a;x) ==
\mlambda{}m.eval r = (rroot(2;x) a) - 2 in
eval n = (m * 2 * a) \mdiv{} r in
eval y = (x within 1/n) in
rroot(2;y) m
Date html generated:
2016_05_18-AM-09_44_06
Last ObjectModification:
2015_09_23-AM-09_12_34
Theory : reals
Home
Index