When nontrivial Maple objects such as unevaluated function calls, lists, or sets are applied to arguments as if they were functions, the evalapply command determines the outcome. For example, an object of type function can be applied to arguments, as in V(f, g)(a, b, c).

The effect of applying the result of most built-in constructors to a sequence of arguments is determined by an internal evalapply function. The evalapply command also implements the application semantics for compositions and compositional powers.

The effect of applying a function call to arguments can be specified by defining an optional procedure of the name `evalapply/V`, where V is the name of the function.

When present, the procedure of the name `evalapply/V` is automatically invoked with f set to V(f, g), and t set to [a, b, c] in response to the function invocation V(f, g)(a, b, c).

$V\left(f\,g\right)\left(a\,b\,c\right)$

$V\left(f\,g\right)\left(a\,b\,c\right)$

`evalapply/V` := proc(f,t) local i;
  V(seq(op(i,f)(op(t)),i=1..nops(f)));
end proc:

$V\left(f\,g\right)\left(a\,b\,c\right)$

$V\left(f\left(a\,b\,c\right)\,g\left(a\,b\,c\right)\right)$

$\left[a\,b\right]\left(x\,y\right)$

$\left[a\left(x\,y\right)\,b\left(x\,y\right)\right]$

$\left\{a\,b\right\}\left(x\,y\right)$

$\left\{a\left(x\,y\right)\,b\left(x\,y\right)\right\}$

$\left(a=b\right)\left(x\,y\right)$

$a\left(x\,y\right)=b\left(x\,y\right)$

$\left(a+b\right)\left(x\,y\right)$

$a\left(x\,y\right)+b\left(x\,y\right)$

$\left(a-b\right)\left(x\,y\right)$

$a\left(x\,y\right)-b\left(x\,y\right)$

$\left(ab\right)\left(x\,y\right)$

$a\left(x\,y\right)b\left(x\,y\right)$

$\left(\frac{a}{b}\right)\left(x\,y\right)$

$\frac{a\left(x\,y\right)}{b\left(x\,y\right)}$

$\left(a^b\right)\left(x\,y\right)$

${a\left(x\,y\right)}^{b\left(x\,y\right)}$

$\left(a·b\right)\left(x\,y\right)$

$a\left(x\,y\right)·b\left(x\,y\right)$

$\left(a\,b\right)\left(x\,y\right)$

$a\left(x\,y\right),b\left(x\,y\right)$

$\left(a..b\right)\left(x\,y\right)$

$a\left(x\,y\right)..b\left(x\,y\right)$

$\left(a\mathbf{and}b\right)\left(x\,y\right)$

$a\left(x\,y\right)\mathbf{and}b\left(x\,y\right)$

$\left(a\mathbf{or}b\right)\left(x\,y\right)$

$a\left(x\,y\right)\mathbf{or}b\left(x\,y\right)$

$\left(a\mathbf{xor}b\right)\left(x\,y\right)$

$a\left(x\,y\right)\mathbf{xor}b\left(x\,y\right)$

$\left(a\Rightarrow b\right)\left(x\,y\right)$

$a\left(x\,y\right)\Rightarrow b\left(x\,y\right)$

$\left(\mathbf{not}a\right)\left(x\,y\right)$

$\mathbf{not}a\left(x\,y\right)$

$\left(a@b\right)\left(x\,y\right)$

$a\left(b\left(x\,y\right)\right)$

$a^{\left(n\right)}\left(a\left(x\,y\right)\right)$

$a^{\left(n+1\right)}\left(x\,y\right)$

$\mathrm{combinat}\left['\mathrm{choose}'\right]\left(4\,3\right)$

$\left[\left[1\,2\,3\right]\,\left[1\,2\,4\right]\,\left[1\,3\,4\right]\,\left[2\,3\,4\right]\right]$

$\mathrm{map}\left(\left\{\mathrm{op}\right\}\,\mathrm{combinat}\left['\mathrm{choose}'\right]\left(4\,3\right)\right)$

$\left[\left\{1\,2\,3\right\}\,\left\{1\,2\,4\right\}\,\left\{1\,3\,4\right\}\,\left\{2\,3\,4\right\}\right]$