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

This routine takes the ``neutral form'' of a procedure (such as that generated by procbody) and creates an executable procedure.

There are ``neutral forms'' for statements, local variables, parameters, and several functions.  The function procmake does not require a ``neutral form'' exactly equivalent to the internal representation. For example,  is accepted as well as  and . Similar examples exist for table references, sets, and lists.

Do not fully evaluate the ``neutral form'' as this will probably invoke functions that are part of procedures, such as . When entering such function calls, it is best to use the  form for example  or quote them, as with .

The short specific neutral form is:

The expression `&proc`(A, B, C, D) is a procedure, where:

The long specific neutral form is:

The expression `&proc`(P, L, O, R, B, S, G, X) is a procedure, where:

Inside a procedure, arguments are represented by  where n is the position in A and local variables by `&local`[n] where n is the position by B. The three special names, nargs, args, and procname, are represented by , , and . If there are no statements in the procedure, use .

The expression  is a statement sequence, where A, B, and C are statements.

The expression  is an expression sequence, where A, B, and C are expressions.

The empty expression sequence (NULL) is represented by .

The expression  is an assignment statement, where A is assigned the value of B.

The expression  is an if statement, where  are the conditions,  are the matching statements, E is the else part (if there is an odd number of arguments).

The expression  is a for-from statement, where:

If any of VAR, FIN, or STAT is missing, use  instead.  If there is no looping condition, use true.  Note that break and next are represented by  and .

The expression  is a for-in statement, where:

If there is no statement sequence, use  instead.  If there is no looping condition, use true.  Note that break and next are represented by  and .

The strings , , and  are all accepted for the quit statement.

The strings , , and  represent , , and .

The expressions  and  are the read and save statements, where A is a name being saved and B is the file being saved to. The functions  and  accept any arrangement of arguments that read and save would accept.

Any function call can be represented by the  function. For example  would be .

The functions  and  represent ERROR() and RETURN() or use the above general function call syntax.

An unevaluated expression is represented with the  function. For example  would be .

An unevaluated catenated name is represented by the  function. For example  would be .

A series is represented by the  function.

A table is represented by the  function.

The remember table and the hash table part of a table is represented by the  function. For example, the remember table of procedure f created  would be represented by .

If there is no remember table then use . If there is no description string then use . If there are no globals then use .