The function CompSeq is a placeholder for representing a computation sequence.

Specification of local and global variables as well as parameters is optional.

The actual computation sequence is specified as a list of the form name=expression and represents an assignment of the value of the expression to the name. The last assignment in the list is also the result of the computation sequence.

Computation sequences can be converted to and from procedures, simplified and optimized. For more information, see codegen[optimize].

f:= proc(a,b) local i,j; global x,y;
x:=a+b; i := a*b; j := x+i; y := a+sin(x) end proc;

$f≔\mathbf{proc}\left(a\,b\right)\mathbf{local}i\,j\;\mathbf{global}x\,y\;x≔a\+b\;i≔a\*b\;j≔x\+i\;y≔a\+\sin \left(x\right)\mathbf{end\; proc}$

$s≔\mathrm{convert}\left(f\,\mathrm{CompSeq}\right)$

$s≔\mathrm{CompSeq}\left(\mathrm{locals}=\left[i\,j\right]\,\mathrm{globals}=\left[x\,y\right]\,\mathrm{params}=\left[a\,b\right]\,\left[x=a+b\,i=ab\,j=x+i\,y=a+\sin \left(x\right)\right]\right)$

$\mathrm{simplify}\left(s\right)$

$\mathrm{CompSeq}\left(\mathrm{globals}=\left[x\,y\right]\,\mathrm{params}=\left[a\,b\right]\,\left[x=a+b\,y=a+\sin \left(x\right)\right]\right)$

$\mathrm{type}\left(s\,\mathrm{CompSeq}\right)$

$\mathrm{true}$

$\mathrm{convert}\left(s\,\mathrm{procedure}\right)$

$\mathbf{proc}\left(a\,b\right)\mathbf{local}i\,j\;\mathbf{global}x\,y\;x≔a\+b\;i≔a\*b\;j≔x\+i\;y≔a\+\sin \left(x\right)\mathbf{end\; proc}$