Nuprl Definition : rpoly-nth-deriv
rpoly-nth-deriv(n;d;a;x) == if d <z n then r0 else (Σi≤d - n. poly-nth-deriv(n;a)_i * x^i) fi
Definitions occuring in Statement :
poly-nth-deriv: poly-nth-deriv(n;a),
rpolynomial: (Σi≤n. a_i * x^i),
int-to-real: r(n),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
int-to-real: r(n),
natural_number: $n,
rpolynomial: (Σi≤n. a_i * x^i),
subtract: n - m,
poly-nth-deriv: poly-nth-deriv(n;a)
FDL editor aliases :
rpoly-nth-deriv
Latex:
rpoly-nth-deriv(n;d;a;x) == if d <z n then r0 else (\mSigma{}i\mleq{}d - n. poly-nth-deriv(n;a)\_i * x\^{}i) fi
Date html generated:
2016_05_18-AM-10_09_52
Last ObjectModification:
2015_09_23-AM-09_15_08
Theory : reals
Home
Index