Nuprl Definition : qsqrt

qsqrt(r;n) ==  TERMOF{approximate-qsqrt-ext:o, 1:l} r n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  approximate-qsqrt-ext
FDL editor aliases :  qsqrt
Latex:
qsqrt(r;n)  ==    TERMOF\{approximate-qsqrt-ext:o,  1:l\}  r  n


Date html generated: 2016_05_15-PM-11_38_59
Last ObjectModification: 2015_09_23-AM-08_30_39

Theory : rationals


Home Index