RealUncNumber PolyVal(
RealUncArray p,
RealUncNumber x
)Function PolyVal (
p As RealUncArray,
x As RealUncNumber
) As RealUncNumberRealUncNumber^ PolyVal(
RealUncArray^ p,
RealUncNumber^ x
)abstract PolyVal :
p : RealUncArray *
x : RealUncNumber -> RealUncNumber