Nuprl Definition : nqsqrt
nqsqrt(err;q;r) == Y (λnqsqrt,r. eval s = (r + (q/r)/2) in if q_less((s * s) - q;err) then s else nqsqrt s fi ) r
Definitions occuring in Statement :
q_less: q_less(r;s),
qsub: r - s,
qdiv: (r/s),
qmul: r * s,
qadd: r + s,
callbyvalue: callbyvalue,
ifthenelse: if b then t else f fi ,
ycomb: Y,
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
ycomb: Y,
lambda: λx.A[x],
callbyvalue: callbyvalue,
qadd: r + s,
qdiv: (r/s),
natural_number: $n,
ifthenelse: if b then t else f fi ,
q_less: q_less(r;s),
qsub: r - s,
qmul: r * s,
apply: f a
FDL editor aliases :
nqsqrt
Latex:
nqsqrt(err;q;r) ==
Y (\mlambda{}nqsqrt,r. eval s = (r + (q/r)/2) in if q\_less((s * s) - q;err) then s else nqsqrt s fi ) r
Date html generated:
2016_05_15-PM-11_37_14
Last ObjectModification:
2015_09_23-AM-08_30_34
Theory : rationals
Home
Index