Nuprl Definition : faster-sin
faster-sin(x) == eval N = 8 * ((((x/MachinPi4()))/8 1) ÷ 2) in rsin(x - N * MachinPi4())
Definitions occuring in Statement :
MachinPi4: MachinPi4(),
rsin: rsin(x),
rdiv: (x/y),
int-rdiv: (a)/k1,
int-rmul: k1 * a,
rsub: x - y,
callbyvalue: callbyvalue,
apply: f a,
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
callbyvalue: callbyvalue,
multiply: n * m,
divide: n ÷ m,
apply: f a,
int-rdiv: (a)/k1,
rdiv: (x/y),
natural_number: $n,
rsin: rsin(x),
rsub: x - y,
int-rmul: k1 * a,
MachinPi4: MachinPi4()
FDL editor aliases :
faster-sin
Latex:
faster-sin(x) == eval N = 8 * ((((x/MachinPi4()))/8 1) \mdiv{} 2) in rsin(x - N * MachinPi4())
Date html generated:
2019_10_31-AM-06_08_14
Last ObjectModification:
2019_01_29-PM-03_13_25
Theory : reals_2
Home
Index