fpf-restrict(f;P) == mk_fpf(filter(P;fpf-domain(f));snd(f))
Definitions :
mk_fpf: mk_fpf(L;f),
filter: filter(P;l),
fpf-domain: fpf-domain(f),
pi2: snd(t)
FDL editor aliases :
fpf-restrict
fpf-restrict(f;P) == mk\_fpf(filter(P;fpf-domain(f));snd(f))
Date html generated:
2010_08_27-AM-12_00_58
Last ObjectModification:
2008_02_27-PM-09_46_49
Home
Index