Nuprl Definition : qsqrt-normal
qsqrt-normal(r;n) == let e,d = TERMOF{approximate-qsqrt-ext:o, 1:l} r n in <(e * 10 * n) ÷ d, 10 * n>
Definitions occuring in Statement :
apply: f a,
spread: spread def,
pair: <a, b>,
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
apply: f a,
pair: <a, b>,
divide: n ÷ m,
multiply: n * m,
natural_number: $n
TermOfs occuring in Definition :
approximate-qsqrt-ext
FDL editor aliases :
qsqrt-normal
Latex:
qsqrt-normal(r;n) ==
let e,d = TERMOF\{approximate-qsqrt-ext:o, 1:l\} r n
in <(e * 10 * n) \mdiv{} d, 10 * n>
Date html generated:
2016_05_15-PM-11_39_36
Last ObjectModification:
2015_09_23-AM-08_30_51
Theory : rationals
Home
Index