新規オプション AllSolutions が int に追加されました。このオプションを使用して、定積分を計算し、完全な解集合を返すように、int に指示を与えることができます。詳細は、int を参照してください。

int(1/x, x=a..2);

r := int(1/x, x=a..2, 'AllSolutions');

r assuming a > 0;

r assuming a < 0;

int(abs(sin(x)), x=0..2*Pi*m) assuming m::integer;

int(abs(sin(x)), x=0..2*Pi*m, 'AllSolutions') assuming m::integer;

int(1/x, x=a..b);

int(1/x, x=a..b) assuming a < b;

例題: 

FunctionAdvisor();

The usage is as follows:
    > FunctionAdvisor( topic, function, ... );
where 'topic' indicates the subject on which advice is required, 'function' is the name of a Maple function, and '...' represents possible additional input depending on the 'topic' chosen. To list the possible topics:
    > FunctionAdvisor( topics );
A short form usage,
    > FunctionAdvisor( function );
with just the name of the function is also availabe and displays a summary of information about the function.

FunctionAdvisor(topics);

The topics on which information is available are:

FunctionAdvisor(bess);

* Partial match of "bess" against topic "Bessel_related".
The 14 functions in the "Bessel_related" class are:

FunctionAdvisor(describe, BesselK);

FunctionAdvisor( identities, BesselK );   # see also ?convert,to_special_function

FunctionAdvisor( special_values, sec );

FunctionAdvisor( sum_form, tan );

FunctionAdvisor( integral_form, Beta );

FunctionAdvisor( relate, sin, WhittakerM );

FunctionAdvisor( specialize, HermiteH, KummerU );

arccot_info := FunctionAdvisor(arccot, quiet): # raw table of information

FunctionAdvisor(display, arccot_info);         # ordered display

例題: 

harmonic(z,n):
% = convert(%, Psi) assuming n::posint;

%% = convert(%%, Zeta);

%%% = convert(%%%, LerchPhi);

InverseJacobiAM(z,k);

convert(%, EllipticF) assuming And(-1/2*Pi < Re(z),Re(z) < 1/2*Pi);

InverseJacobiSC(z,k):
% = convert(%, InverseJacobiSN);

trigonometric_functions := FunctionAdvisor( trig )(z);

The 6 functions in the "trig" class are:

map(f -> f = convert(f,Sum), trigonometric_functions) assuming abs(z) < Pi/2;

map(f -> f = convert(f,Int), [sin, cos](z) );

tan(z):
% = convert(%, Int) assuming z in RealRange(Open(0), Open(Pi/2));

例題: 

series( EllipticNome(k), k );

series( JacobiTheta1(z,q), q );

series( JacobiTheta4(z,q), q );

series( ChebyshevT(5,z), z );

series( ChebyshevT(a,z), z, 4 );

series( ChebyshevU(a,z), z, 3 );

series( GaussAGM(x,y), x, 3 );

例題: 

series( LegendreP(-1/2,1/4,-(z+1)/(z-1)), z, 4 );

series( LegendreQ(-1/2,1/4,-(z+1)/(z-1)), z, 2 );

series( MeijerG([[], []],[[-1/4], [1/4]],1/4*z^2),  z );

series( MeijerG([[1/2, 1/2], []],[[0], [-1/2]],-z^2), z);

series( GegenbauerC(a,b,z), z, 2);

series( BesselK(a,z+1), z, 2 );

series( polylog(a,z), z );

FunctionAdvisor( sum_form, polylog );

例題: 

with(MathematicalFunctions, Series);

Series( polylog(a,z), z);

Series( GAMMA(a,z), z, 3 );

Series( BesselJ(a,z), z );

Series( LommelS1(a,b,z), z, 4 );

例題: 

assume(x < 1);
about(x);          # so this is what the system knows about x.

Originally x, renamed x~:
  is assumed to be: RealRange(-infinity,Open(1))

is(1-x^2, positive) assuming x > -1;

is(1-x^2, positive) assuming additionally, x > -1;

about(x);          # the same as lines above

Originally x, renamed x~:
  is assumed to be: RealRange(-infinity,Open(1))

x := 'x':          # remove assumptions on 'x'

コマンド solve は、方程式のパラメトリック解を見つけるように拡張されました。solve の対象となる変数が自由変数の関数である場合、この自由変数で表されたパラメトリック解が出力されます。

solve( u^2+v^2-1, {u(s)=-1,v(s)=0} );

solve( x^x - y^y, {x(t),y(t)});

rsolve は、再帰方程式系の級数解を求める際に、LinearFunctionalSystems パッケージを用いて拡張されます。rsolve のオプション'series'は、関数 LinearFunctionalSystems[SeriesSolution] を使用して、形式的な級数解を求めます。

sys := {y(x)*x^2+3*y(x)*x+2*y(x)-2*z(x)*x^2-4*z(x)*x+z(x+1)*x^2+z(x+1)*x = 0,
y(x+5)-z(x) = 0};

vars := {y(x), z(x)};

Order := 2: sol := rsolve(sys,vars,'series');