Called by the generic function Abs(x) when x is of type Workspace.
WORKSPACE_ABS() w1=Workspace |w|
The default procedure definition and the calculation of errors for this procedure is shown below.
PROCEDURE workspace_abs; PARAMETERS w1=workspace; RESULT wres wres = w1 wres.y = abs(w1.y) wres.e = w1.e ENDPROCEDURE