Important: The procbody function has been deprecated.  Use the superseding functions ToInert and FromInert instead to translate between Maple expressions and the corresponding inert forms.

This routine creates a ``neutralized form'' of a Maple procedure.  This ``neutralized form'' can be examined, or modified in ways the original procedure cannot be.  This routine is probably more useful in writing other routines to manipulate procedures than for interactive use. The function procmake creates a procedure from a ``neutralized form''.

The neutralized form replaces statements, local variables, parameters, and some functions with ``neutral'' equivalents. These neutral forms are described in the help file for procmake.

Do not evaluate the ``neutral form'' since this will almost certainly corrupt it due to such expressions as Digits being changed into 10 .

a := proc(x) if x<0 then -x^2 else x^2 end if end proc:

$\mathrm{procbody}\left(a\right)$

$\mathrm{\&proc}\left(\&expseq\left(x\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&if}\left({\mathrm{\&args}}_1<0\&comma;-{\mathrm{\&args}}_1^2\&comma;{\mathrm{\&args}}_1^2\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\&binary\left(1\right)\right)$

b := proc(x) local a; for a in x do print(a) end do; a; end proc:

$\mathrm{procbody}\left(b\right)$

$\mathrm{\&proc}\left(\&expseq\left(x\right)\&comma;\&expseq\left(a\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\left(\mathrm{\&for}\left({\mathrm{\&local}}_1\&comma;{\mathrm{\&args}}_1\&comma;\mathrm{true}\&comma;\mathrm{print}\&function\left(\&expseq\left({\mathrm{\&local}}_1\right)\right)\&comma;\mathrm{false}\right)\right)\&statseq{\mathrm{\&local}}_1\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\mathrm{\&expseq}\left(\right)\&comma;\&binary\left(1\right)\right)$