Online Help

A functional operator in Maple is a special form of a procedure. Functional operators are written using arrow notation.

Here, vars is a sequence of variable names (or a single variable) and result is the result of the procedure acting on vars.

For example, the following

represents the function that squares its argument.

Multivariate and vector functions are also allowed. You must put parentheses around vars or result whenever they are expression sequences. For example, the following functions have the correct syntax.

You can also create a functional operator by using the unapply command. (See unapply .)

A functional operator of the form:

is semantically equivalent to:

The identity operator is expressed as $x\to x$ for any variable name x.

Constant operators do not simplify to numbers. For example, $x\to 1$ does not simplify to $1$.

Expressions such as $x\to f\left(x\right)$ do not simplify to $f$. This is invalid if $f$ can also take fewer or greater than one argument.

Note that optional and keyword parameters (see the paramprocessing help page for more information on these) cannot be used in functional operators. However, type specifiers for parameters are supported. If a type specifier is used, then the parameters must be enclosed in parentheses, even in the case of a single parameter.

$f≔x\mapsto 3\cdot x+5$

$f≔x\mapsto 3\cdot x+5$

$f\left(2\right)$

$11$

$g≔\left(x\,y\right)\mapsto \sin \left(x\right)\cdot \cos \left(y\right)+y\cdot x$

$g≔\left(x\,y\right)\mapsto \sin \left(x\right)\cdot \cos \left(y\right)+y\cdot x$

$g\left(\frac{\mathrm{\pi }}{2}\,\mathrm{\pi }\right)$

$-1+\frac{{\mathrm{\pi }}^2}{2}$

$h≔x\mapsto \left(2\cdot x\,x^3\right)$

$h≔x\mapsto \left(2\cdot x\,x^3\right)$

$h\left(3\right)$

$6,27$

$u≔\left(x::\mathrm{integer}\,y::\mathrm{integer}\right)\mapsto x+y-\mathrm{igcd}\left(x\,y\right)$

$u≔\left(x::\mathbb{Z}\,y::\mathbb{Z}\right)\mapsto x+y-\mathrm{igcd}\left(x\,y\right)$

$u\left(\frac{2}{3}\,4\right)$

Error, invalid input: u expects its 1st argument, x, to be of type integer, but received 2/3