Nuprl Definition : qsqrt-normal2
qsqrt-normal2(a;n) == let v1,v2 = qrep(a) in eval n' = 10^log(10;v1 ÷ v2) + 1 * n in <isqrt2((v1 * n' * n') ÷ v2), n'>
Definitions occuring in Statement :
isqrt2: isqrt2(x),
qrep: qrep(r),
log: log(b;n),
exp: i^n,
callbyvalue: callbyvalue,
spread: spread def,
pair: <a, b>,
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
qrep: qrep(r),
callbyvalue: callbyvalue,
exp: i^n,
add: n + m,
log: log(b;n),
natural_number: $n,
pair: <a, b>,
isqrt2: isqrt2(x),
divide: n ÷ m,
multiply: n * m
FDL editor aliases :
qsqrt-normal2
Latex:
qsqrt-normal2(a;n) ==
let v1,v2 = qrep(a)
in eval n' = 10\^{}log(10;v1 \mdiv{} v2) + 1 * n in
<isqrt2((v1 * n' * n') \mdiv{} v2), n'>
Date html generated:
2016_05_15-PM-11_39_46
Last ObjectModification:
2015_09_23-AM-08_31_01
Theory : rationals
Home
Index