Nuprl Definition : arcsine-approx
arcsine-approx(a;n) ==
eval n2 = 2 * n in
eval nn = cubic_converge(10;n2) in
eval n4 = 2 * n2 in
eval y = approx-iter-arcsine(a;n4;nn) in
(r(y))/2 * n4
Definitions occuring in Statement :
approx-iter-arcsine: approx-iter-arcsine(a;k;n),
cubic_converge: cubic_converge(b;m),
int-rdiv: (a)/k1,
int-to-real: r(n),
callbyvalue: callbyvalue,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
multiply: n * m,
int-to-real: r(n),
int-rdiv: (a)/k1,
approx-iter-arcsine: approx-iter-arcsine(a;k;n),
callbyvalue: callbyvalue,
cubic_converge: cubic_converge(b;m)
FDL editor aliases :
arcsine-approx
Latex:
arcsine-approx(a;n) ==
eval n2 = 2 * n in
eval nn = cubic\_converge(10;n2) in
eval n4 = 2 * n2 in
eval y = approx-iter-arcsine(a;n4;nn) in
(r(y))/2 * n4
Date html generated:
2016_10_26-PM-00_47_10
Last ObjectModification:
2016_10_14-PM-01_14_41
Theory : reals_2
Home
Index