unapply(expr, x) の結果は、関数オペレータとなります。このオペレータに x を適用すると、元の式が与えられます。

特に、関数 f(x) に対しては、

複数変数の式から複数引数のオペレータを構築するためには、全ての変数を引数として unapply に渡すか、あるいは明示的に全ての変数をリストに入れてそれを unapply の 2 つめの引数として渡します。

unapply コマンドは、変数または評価された式の内容を用いてオペレータを構築したい場合に使用してください。

以下のオプションの引数を利用できます。

numeric=variables 

このオプション variables は、変数名の集合またはリスト、あるいは、1 つの変数名でなければなりません。これらはすべて、unapply に対する入力の変数 (すなわち、リストまたは指定した変数名のいずれか) に対応する必要があります。このオプションがあると、unapply は、指定したvariables が数値に評価しない場合に評価せずに返すオペレータを構成します。

注意: このオプションは、diff(f(x),x) または DEsol 構造などの、導関数を含む入力に使用することはできません。

numeric 

これは、numeric=variables を簡単化したものです。 numeric リストのすべての変数を置きます。

proc_opts=keywords 

このオプションは、keyword、または、keywords のリストまたは集合である必要があります。 unapply コマンドは、指定した keywords をオプションとして持つオペレータを構成します。デフォルトでは、オプション {operator,arrow} が使用されますが、arrow,inline,operator,remember, system のいずれも keywords として正しいものです。

unapply コマンドは、lambda calculus の lambda-expressions を行っています。

p := x^2 + sin(x) + 1;

f := unapply(p,x);

f(Pi/6);

q := x^2 + y^3 + 1;

f := unapply(q,x);

f(2);

g := unapply(q,x,y);

g(2,3);

h := unapply(q,[x,y]);

h(2,3);

f1 := unapply(x^2+1,x,numeric);

f1(1);

f1(x);

f2 := unapply(x^2+1,x::numeric);

f2(1);

f2(x);

Error, invalid input: f2 expects its 1st argument, x, to be
of type numeric, but received x

f := proc() lprint(`called`); 0; end;

pol := unapply(x^2+3*x+1+'f'(),x,proc_options={remember,operator,arrow});

pol(1);

called

pol(2);

called

pol(1);

Gonnet, G.H. "An Implementation of Operators for Symbolic Algebra Systems" SYMSAC July 1986.