Nuprl Definition : fps-elim
fps-elim(x) == λf,b. if bag-deq-member(eq;x;b) then 0 else f[b] fi
Definitions occuring in Statement :
fps-coeff: f[b],
bag-deq-member: bag-deq-member(eq;x;b),
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 ,
bag-deq-member: bag-deq-member(eq;x;b),
rng_zero: 0,
fps-coeff: f[b]
FDL editor aliases :
fps-elim
Latex:
fps-elim(x) == \mlambda{}f,b. if bag-deq-member(eq;x;b) then 0 else f[b] fi
Date html generated:
2016_05_15-PM-09_53_03
Last ObjectModification:
2015_09_23-AM-08_21_24
Theory : power!series
Home
Index