Nuprl Definition : fps-compose
g(x:=f) == λbs.Σ(L∈bag-parts'(eq;bs;x)). g[hd(L) + bag-rep(||tl(L)||;x)] * Πa ∈ tl(L). f[a]
Definitions occuring in Statement :
fps-coeff: f[b],
bag-parts': bag-parts'(eq;bs;x),
bag-rep: bag-rep(n;x),
bag-product: Πx ∈ b. f[x],
bag-summation: Σ(x∈b). f[x],
bag-append: as + bs,
hd: hd(l),
length: ||as||,
tl: tl(l),
infix_ap: x f y,
lambda: λx.A[x],
rng_one: 1,
rng_times: *,
rng_zero: 0,
rng_plus: +r
Definitions occuring in definition :
lambda: λx.A[x],
bag-summation: Σ(x∈b). f[x],
rng_zero: 0,
rng_plus: +r,
bag-parts': bag-parts'(eq;bs;x),
infix_ap: x f y,
bag-append: as + bs,
hd: hd(l),
bag-rep: bag-rep(n;x),
length: ||as||,
bag-product: Πx ∈ b. f[x],
rng_one: 1,
rng_times: *,
tl: tl(l),
fps-coeff: f[b]
FDL editor aliases :
fps-compose
Latex:
g(x:=f) == \mlambda{}bs.\mSigma{}(L\mmember{}bag-parts'(eq;bs;x)). g[hd(L) + bag-rep(||tl(L)||;x)] * \mPi{}a \mmember{} tl(L). f[a]
Date html generated:
2016_05_15-PM-09_53_44
Last ObjectModification:
2015_09_23-AM-08_21_27
Theory : power!series
Home
Index