Nuprl Definition : fps-slice
[f]_n == λb.if (#(b) =z n) then f b else 0 fi
Definitions occuring in Statement :
bag-size: #(bs),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
lambda: λx.A[x],
rng_zero: 0
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
bag-size: #(bs),
apply: f a,
rng_zero: 0
FDL editor aliases :
fps-slice
Latex:
[f]\_n == \mlambda{}b.if (\#(b) =\msubz{} n) then f b else 0 fi
Date html generated:
2016_05_15-PM-09_49_11
Last ObjectModification:
2015_09_23-AM-08_21_18
Theory : power!series
Home
Index