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