_Create (Function) VPoly_Create_0
ef0 ElemFun ef
start. Input s0 LREAL
. Pre: 0 <= x <= ef
TaskCycle (0 <= tRest < bus
Const ef ElemFun v0
least MAX(0, k-1
Const cs0 Elem
. For T=0, the filter