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