Nuprl Definition : rpolynomial
(Σi≤n. a_i * x^i) == Σ{(a i) * x^i | 0≤i≤n}
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
rnexp: x^k1,
rmul: a * b,
apply: f a,
natural_number: $n
Definitions occuring in definition :
rsum: Σ{x[k] | n≤k≤m},
natural_number: $n,
rmul: a * b,
apply: f a,
rnexp: x^k1
FDL editor aliases :
rpolynomial
Latex:
(\mSigma{}i\mleq{}n. a\_i * x\^{}i) == \mSigma{}\{(a i) * x\^{}i | 0\mleq{}i\mleq{}n\}
Date html generated:
2016_05_18-AM-07_44_02
Last ObjectModification:
2015_09_23-AM-09_02_37
Theory : reals
Home
Index