Nuprl Definition : approx-root

k-th root(q) within 1/err ==  TERMOF{qroot-ext:o, 1:l} k q err


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  qroot-ext
FDL editor aliases :  approx-root
Latex:
k-th  root(q)  within  1/err  ==    TERMOF\{qroot-ext:o,  1:l\}  k  q  err


Date html generated: 2016_05_15-PM-11_36_53
Last ObjectModification: 2015_09_23-AM-08_30_30

Theory : rationals


Home Index