[<<][meta][>>][..]Sat Feb 27 12:24:40 CET 2010
In the RatFunc.hs implementation, can we somehow use the fact that a
history is necessarily finite (data, not codata like streams) since it
is folded over?
B.t.w is there a relation between data/codata and the Banach space
concept of signal/filter (DSP-engineering speak)? I probably mean L^p
I.e. if I recall there are theorems about H1 and Hinf norms for Banach
spaces that are used in control theory, and a symmetric version for H2
norm for Hilbert spaces.