The WhileLoops or ForLoops generated by CreateLoop can be transformed back into a Maple procedure using GenerateProcedure.

The returned procedure may not be the same as the original procedure processed using CreateLoop.  Statements that do not affect the loop variables are removed and the loops are put into a canonical form.

$\mathrm{with}\left(\mathrm{CodeTools}\left[\mathrm{ProgramAnalysis}\right]\right)\:$

p := proc (A, n)
    local i;
    for i from 1 to n do
       A[i] := A[+1]^2:
    end do:
end proc;

$p≔\mathbf{proc}\left(A\,n\right)\mathbf{local}i\;\mathbf{for}i\mathbf{to}n\mathbf{do}A\[i\]≔A\[1\]\^2\mathbf{end\; do}\mathbf{end\; proc}$

$\mathrm{loop}≔\mathrm{CreateLoop}\left(p\right)$

$\mathrm{loop}≔\mathrm{Record}\left(\mathrm{ForLoop}\,\mathrm{body}=\left[\left[\left[\right]\,\left[A_i=A_1^2\right]\right]\right]\,\mathrm{layers}=\left[\left[i\,1\,1\,n\right]\right]\,\mathrm{initialization}=\left[\right]\,\mathrm{variables}=\left[i\right]\,\mathrm{parameters}=\left[n\right]\,\mathrm{arrays}=\left[A\right]\right)$

$\mathrm{GenerateProcedure}\left(\mathrm{loop}\right)$

$\mathbf{proc}\left(A\,n\right)\mathbf{local}i\;\mathbf{for}i\mathbf{to}n\mathbf{do}A\[i\]≔A\[1\]\^2\mathbf{end\; do}\;\mathbf{return}\mathbf{end\; proc}$

The CodeTools[ProgramAnalysis][GenerateProcedure] command was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.