Nuprl Definition : fps-mul
(f*g) == λb.Σ(p∈bag-partitions(eq;b)). * f[fst(p)] g[snd(p)]
Definitions occuring in Statement :
fps-coeff: f[b],
bag-partitions: bag-partitions(eq;bs),
bag-summation: Σ(x∈b). f[x],
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
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-partitions: bag-partitions(eq;bs),
apply: f a,
rng_times: *,
pi1: fst(t),
fps-coeff: f[b],
pi2: snd(t)
FDL editor aliases :
fps-mul
Latex:
(f*g) == \mlambda{}b.\mSigma{}(p\mmember{}bag-partitions(eq;b)). * f[fst(p)] g[snd(p)]
Date html generated:
2016_05_15-PM-09_47_37
Last ObjectModification:
2015_09_23-AM-08_21_13
Theory : power!series
Home
Index