combine 関数は、複数の項の和、積、べき乗を 1 つの項に結合する変換を適用します。この関数は、リスト、集合、および関係式の成分に対して、再帰的に適用されます; すなわち、f と n はそれぞれ式と名前のリスト (または集合) でも構いません。

多くの関数に関して、combine により適用される変換は、expand により適用される変換の逆となります。例えば、よく知られた恒等式を考えてみてください。

expand 関数は、恒等式を左辺から右辺へ適用しますが、combine 関数はこの逆を行います。

Int, Sum およびを Limit 含む部分式は、線形性を用いて 1 つの式に結合されます; すなわち、c1*f(a,range) + c2*f(b,range) ==> f(c1*a+c2*b,range) となります。

以下に示すものの 1 つまたはそのリストからなる、2 番目の (オプション) 引数 n (名前) を指定することにより、変換を行う特定の集合が得られます:

これら各々により適用される変換に関する追加情報や例題については、combine[n] (ここで n は上記のリストから適用される引数(名前) を表す) を参照して下さい。

combine 関数は、関数に適用することが可能です。つまり、combine(f(a)) は map(combine,f(a)) と同じ意味になります。

combine(Int(x,x=a..b)-Int(x^2,x=a..b));

combine(Limit(x,x=a)*Limit(x^2,x=a)+c);

combine(4*sin(x)^3,trig);

combine(exp(x)^2*exp(y),exp);

combine(exp(sin(a)*cos(b))*exp(cos(a)*sin(b)),[trig,exp]);

assume(y>0,z>0);
combine(2*ln(y)-ln(z),ln);

combine((x^a)^2,power);

combine(Psi(-x)+Psi(x),Psi);

combine([2*sin(x)*cos(x),2*cos(x)^2-1],trig);

combine(exp(sin(a)*cos(b))*exp(cos(a)*sin(b)),[trig,exp]);

combine(4*sin(x)^3+exp(y)*exp(x));

combine(4*sin(x)^3+exp(y)*exp(x),trig);

combine(4*sin(x)^3+exp(y)*exp(x),exp);