The prep2trans function is used to transform certain symbolic expressions into forms suitable for translation into a target language such as C or Fortran.  For example, piecewise expressions are translated into if statements, symbolic sums are translated into for loops.

The horner function takes as input a Maple procedure and a variable or list or set of variables, and converts all formulae in the procedure to Horner form in x.

The split function is used to break up certain symbolic expressions into computation sequences suitable for automatic differentiation. Long products and complicated compositions are broken up into computation sequences.  If the second argument x is specified, it specifies the independent variables, the variables that the function f will be differentiated in.

The command with(codegen,prep2trans) allows the use of the abbreviated form of this command.

The command with(codegen,split) allows the use of the abbreviated form of this command.

The command with(codegen,horner) allows the use of the abbreviated form of this command.

$\mathrm{with}\left(\mathrm{codegen}\right)\:$

f := proc(x) piecewise(x<0,0,x<1,x,x>1,2-x,0) end proc;

$f≔\mathbf{proc}\left(x\right)\mathrm{piecewise}\left(x<0\&comma;0\&comma;x<1\&comma;x\&comma;1<x\&comma;2-x\&comma;0\right)\mathbf{end\; proc}$

$\mathrm{prep2trans}\left(f\right)$

$\mathbf{proc}\left(x\right)\mathbf{if}x<0\mathbf{then}0\mathbf{elif}x<1\mathbf{then}x\mathbf{elif}1<x\mathbf{then}2-x\mathbf{else}0\mathbf{end\; if}\mathbf{end\; proc}$

f := proc(x) local s; sum(x^i/i!,i=0..n) end proc;

$f≔\mathbf{proc}\left(x\right)\mathbf{local}s\&semi;\mathrm{sum}\left(x\&Hat;i\&sol;\mathrm{factorial}\left(i\right)\&comma;i\&equals;0..n\right)\mathbf{end\; proc}$

$\mathrm{prep2trans}\left(f\right)$

$\mathbf{proc}\left(x\right)\mathbf{local}\mathrm{i1}\&comma;s\&comma;\mathrm{s1}\&comma;\mathrm{t1}\&semi;\mathbf{if}0<\&minus;n\mathbf{then}\mathrm{s1}≔0\mathbf{else}\mathrm{t1}≔1\&semi;\mathrm{s1}≔1\&semi;\mathbf{for}\mathrm{i1}\mathbf{to}n\mathbf{do}\mathrm{t1}≔x\&ast;\mathrm{t1}\&sol;\mathrm{i1}\&semi;\mathrm{s1}≔\mathrm{s1}\&plus;\mathrm{t1}\mathbf{end\; do}\mathbf{end\; if}\&semi;\mathrm{s1}\mathbf{end\; proc}$

f := proc(n,A) local i,j; sum(sum(A[i,j],i=1..n),j=1..n) end proc;

$f≔\mathbf{proc}\left(n\&comma;A\right)\mathbf{local}i\&comma;j\&semi;\mathrm{sum}\left(\mathrm{sum}\left(A\&lsqb;i\&comma;j\&rsqb;\&comma;i\&equals;1..n\right)\&comma;j\&equals;1..n\right)\mathbf{end\; proc}$

$\mathrm{prep2trans}\left(f\right)$

$\mathbf{proc}\left(n\&comma;A\right)\mathbf{local}i\&comma;\mathrm{i1}\&comma;\mathrm{i2}\&comma;j\&comma;\mathrm{s1}\&comma;\mathrm{s2}\&comma;\mathrm{t1}\&comma;\mathrm{t2}\&semi;\mathrm{s1}≔0\&semi;\mathbf{for}\mathrm{i1}\mathbf{to}n\mathbf{do}\mathrm{s2}≔0\&semi;\mathbf{for}\mathrm{i2}\mathbf{to}n\mathbf{do}\mathrm{s2}≔\mathrm{s2}\&plus;A\&lsqb;\mathrm{i2}\&comma;\mathrm{i1}\&rsqb;\mathbf{end\; do}\&semi;\mathrm{s1}≔\mathrm{s1}\&plus;\mathrm{s2}\mathbf{end\; do}\&semi;\mathrm{s1}\mathbf{end\; proc}$

h := proc(x,y,z) 1-2*x*y-x*y^2*z*(1-x) end proc;

$h≔\mathbf{proc}\left(x\&comma;y\&comma;z\right)1-2\&ast;x\&ast;y-x\&ast;y\&Hat;2\&ast;z\&ast;\left(1-x\right)\mathbf{end\; proc}$

$\mathrm{horner}\left(h\&comma;x\right)$

$\mathbf{proc}\left(x\&comma;y\&comma;z\right)1\&plus;\left(x\&ast;y\&Hat;2\&ast;z-y\&Hat;2\&ast;z-2\&ast;y\right)\&ast;x\mathbf{end\; proc}$

$\mathrm{horner}\left(h\&comma;\left[x\&comma;y\right]\right)$

$\mathbf{proc}\left(x\&comma;y\&comma;z\right)1\&plus;\left(\left(\&minus;y\&ast;z-2\right)\&ast;y\&plus;x\&ast;y\&Hat;2\&ast;z\right)\&ast;x\mathbf{end\; proc}$

$\mathrm{split}\left(h\right)$

$\mathbf{proc}\left(x\&comma;y\&comma;z\right)\mathbf{local}\mathrm{s0}\&comma;\mathrm{s1}\&semi;\mathrm{s0}≔x\&ast;z\&semi;\mathrm{s1}≔y\&Hat;2\&ast;\left(1-x\right)\&semi;\mathbf{return}\&minus;\mathrm{s0}\&ast;\mathrm{s1}-2\&ast;x\&ast;y\&plus;1\mathbf{end\; proc}$

g := proc(x,y,t) 2*sin(x^2*y)*exp(-t^2) end proc;

$g≔\mathbf{proc}\left(x\&comma;y\&comma;t\right)2\&ast;\sin \left(x\&Hat;2\&ast;y\right)\&ast;\exp \left(\&minus;t\&Hat;2\right)\mathbf{end\; proc}$

$\mathrm{split}\left(g\right)$

$\mathbf{proc}\left(x\&comma;y\&comma;t\right)\mathbf{local}\mathrm{s0}\&comma;\mathrm{s1}\&semi;\mathrm{s0}≔x\&Hat;2\&ast;y\&semi;\mathrm{s1}≔\&minus;t\&Hat;2\&semi;\mathbf{return}2\&ast;\exp \left(\mathrm{s1}\right)\&ast;\sin \left(\mathrm{s0}\right)\mathbf{end\; proc}$

$\mathrm{split}\left(g\&comma;\left[x\&comma;y\right]\right)$

$\mathbf{proc}\left(x\&comma;y\&comma;t\right)\mathbf{local}\mathrm{s0}\&semi;\mathrm{s0}≔x\&Hat;2\&ast;y\&semi;\mathbf{return}2\&ast;\exp \left(\&minus;t\&Hat;2\right)\&ast;\sin \left(\mathrm{s0}\right)\mathbf{end\; proc}$