Nuprl Definition : poly-approx
poly-approx(a;x;k;N) ==
eval B = 2 * (k + 1) in
eval M = B * N in
eval xM = x M in
eval z = poly-approx-aux(a;x;xM;M;0;k) in
z ÷ B
Definitions occuring in Statement :
poly-approx-aux: poly-approx-aux(a;x;xM;M;n;k)
,
callbyvalue: callbyvalue,
apply: f a
,
divide: n ÷ m
,
multiply: n * m
,
add: n + m
,
natural_number: $n
Definitions occuring in definition :
add: n + m
,
multiply: n * m
,
apply: f a
,
callbyvalue: callbyvalue,
poly-approx-aux: poly-approx-aux(a;x;xM;M;n;k)
,
natural_number: $n
,
divide: n ÷ m
FDL editor aliases :
poly-approx
Latex:
poly-approx(a;x;k;N) ==
eval B = 2 * (k + 1) in
eval M = B * N in
eval xM = x M in
eval z = poly-approx-aux(a;x;xM;M;0;k) in
z \mdiv{} B
Date html generated:
2018_05_22-PM-02_01_22
Last ObjectModification:
2017_10_25-PM-04_49_38
Theory : reals
Home
Index