Nuprl Definition : qsqrt2
qsqrt2(r;n) == let e ⟵ (1/n) in nqsqrt(e;r;1)
Definitions occuring in Statement :
nqsqrt: nqsqrt(err;q;r),
qdiv: (r/s),
callbyvalueall: callbyvalueall,
natural_number: $n
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
qdiv: (r/s),
nqsqrt: nqsqrt(err;q;r),
natural_number: $n
FDL editor aliases :
qsqrt2
Latex:
qsqrt2(r;n) == let e \mleftarrow{}{} (1/n) in nqsqrt(e;r;1)
Date html generated:
2016_05_15-PM-11_39_24
Last ObjectModification:
2015_09_23-AM-08_30_43
Theory : rationals
Home
Index