polynomial a[0] + … + a[pv

, or 0 if the queue

0 if the queue

_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