Nuprl Definition : fps-restrict
fps-restrict(eq;r;f;d) == λb.if deq-sub-bag(eq;b;d) then f[b] else 0 fi
Definitions occuring in Statement :
fps-coeff: f[b],
deq-sub-bag: deq-sub-bag(eq;as;bs),
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
rng_zero: 0
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
deq-sub-bag: deq-sub-bag(eq;as;bs),
fps-coeff: f[b],
rng_zero: 0
FDL editor aliases :
fps-restrict
Latex:
fps-restrict(eq;r;f;d) == \mlambda{}b.if deq-sub-bag(eq;b;d) then f[b] else 0 fi
Date html generated:
2016_05_15-PM-09_56_39
Last ObjectModification:
2015_09_23-AM-08_21_28
Theory : power!series
Home
Index