expand コマンドは、単項式の和のいくつかの積に分配則を適用することが第一の使い方です。これは、すべての多項式に対して実行されます。多項式の商については、分子の和だけが展開されます。積およびべきについては、そのままです。多項式の商の扱いについては、normal コマンドを参照してください。

expand コマンドは、ほとんどの数学関数、たとえば、AngerJ、BesselI、BesselJ、BesselK、BesselY、Beta、ChebyshevT、ChebyshevU、CylinderD、CylinderU、CylinderV、Dirac、Ei、GAMMA、GegenbauerC、HankelH1、HankelH2、HermiteH、JacobiAM、JacobiCD、JacobiCN、JacobiCS、JacobiDC、JacobiDN、JacobiDS、JacobiNC、JacobiND、JacobiNS、JacobiP、JacobiSC、JacobiSD、JacobiSN、JacobiTheta1、JacobiTheta2、JacobiTheta3、JacobiTheta4、JacobiZeta、KelvinBei、KelvinBer、KelvinHei、KelvinHer、KelvinKei、KelvinKer、LaguerreL、LegendreP、LegendreQ、LerchPhi、Psi、StruveH、StruveL、WeberE、WeierstrassP、WeierstrassPPrime、WeierstrassSigma、WeierstrassZeta、Zeta、abs、arccos、arccosh、arccot、arccoth、arccsc、arccsch、arcsec、arcsech、arcsin、arcsinh、arctan、arctanh、bernoulli、binomial、cos、cosh、cot、coth、csc、csch、csgn、dilog、erf、erfc、euler、exp、factorial、ln、pochhammer、polylog、sec、sech、signum、sin、sinh、tan、tanh などをするために使用できます。

オプション引数 expr1、expr2、...、exprn は、expr に含まれる特定の部分式を展開しないために使用します。すべての数式を展開しないようにするには、frontend コマンドを、frontend(expand, [expr]); のように使用します。

expand コマンドは拡張可能です。プロシージャ `expand/f` を定義すると、コール expand(f(x)); によって `expand/f`(x); が呼び出されます。

expand((x+1)*(x+2));

expand((x+1)/(x+2));

expand(1/(x+1)/x);

expand(sin(x+y));

expand(cos(2*x));

expand(exp(a+ln(b)));

expand((x+1)*(y+z));

expand((x+1)*(y+z), x+1);

expand(ln(x/(1-x)^2));

assume(x,real);

expand(ln(x/(1-x)^2));

expand(BesselJ(2,t));

expand(LegendreQ(2,t));

expand(JacobiP(3,1,1/4,t));

ee := (a+b)*z + sin(a+b) + exp(a+b);

expand(ee);

expand(ee, sin(a+b));

expand(ee, op(indets(ee, specfunc(anything,exp))));

expand(ee, op(indets(ee, specfunc(anything,[exp,sin]))));

expand(ee, op(indets(ee, function)));