Enhancements to Symbolic Capabilities in Maple 13
Maple 13 includes enhancements to its symbolic capabilities in the following areas.
|
New calling sequences for int
|
|
•
|
Multiple definite integrals can be computed with a single call to int using a list or a sequence. A list and sequence are generally treated the same, but a list is safer for indefinite integrals to make sure variables are not confused for other integration options.
|
>
|
int(x+y, [x=0..1, y=0..1]);
|
>
|
int(x+y, x=0..1, y=0..1);
|
>
|
int((x,y)->x+y, [0..1, 0..1]);
|
>
|
int((x,y)->x+y, 0..1, 0..1);
|
•
|
Multiple indefinite integrals can also be computed using a similar notation to diff
|
>
|
diff(int(x+y, x, y), x, y);
|
•
|
Ability to select internal integration routines with the method option. See int,methods for more information about available methods.
|
>
|
int(1/sqrt((1-t^2)*(1-2*t^2)), t=0..1, method=FTOC);
|
>
|
int(1/sqrt((1-t^2)*(1-2*t^2)), t=0..1, method=Elliptic);
|
| (8) |
•
|
If a method does not return a result, an unevaluated int call will be returned with the given method option.
|
>
|
int(1/sqrt((1-t^2)*(1-2*t^2)), t=0..1, method=Polynomial);
|
| (9) |
|
|
Improved Integration of erf, Ci, and Si functions
|
|
•
|
The following definite integrals could not be computed by previous versions of Maple.
|
>
|
int(x*erf(x)*exp(-x^2), x);
|
| (10) |
>
|
int(x^3*erf(x)*exp(-x^2), x);
|
| (11) |
| (12) |
| (13) |
>
|
int(FresnelS(2*x)^2, x);
|
| (14) |
>
|
int(FresnelC(2*x)*cos(2*Pi*x^2)*x, x);
|
| (15) |
|
|
Extended functionality of lcoeff, tcoeff, and sort
|
|
•
|
Support for the monomial orders plex, grlex, and tdeg was added to these three commands. They can be specified using a second argument of the form order=mo(x,y,...), where mo is one of the three names above and x, y, ... are variable names. For more details, see lcoeff and sort.
|
>
|
f := 4*x^3 + 5*x^2*z^2 + 2*x*y^2*z + 1;
|
| (16) |
>
|
(lcoeff,tcoeff)(f, order=grlex(x,y,z));
|
>
|
sort(f, order=tdeg(x,y,z));
|
| (18) |
|
|
Solve Enhancements
|
|
•
|
solve will accept as options all of the environment variables that affect its behavior. See solve,details for a complete list.
|
>
|
solve(x^4-1,MaxSols=1);
|
•
|
solve now accepts the new option UseAssumptions which will cause solve to process any assumptions on the independent variables into additional equations and inequations.
|
>
|
solve(x^4-1, 'UseAssumptions') assuming x>0;
|
>
|
solve(x^4-1, 'UseAssumptions') assuming abs(x)<>1;
|
•
|
solve will now return solutions to inequalities containing trig and arctrig functions.
|
| (22) |
>
|
solve(arcsin(1/x)*sin(x-3)*cos(x+3)>0);
|
| (24) |
•
|
RealDomain:-solve uses the new SemiAlgebraicSetTools subpackage of RegularChains to solve systems of polynomials and rational functions which have finitely many solutions. This allows it to produce much better solutions than those produced by previous versions of Maple.
|
>
|
RealDomain:-solve({x^9+x+y,1/y^2-1},{x,y});
|
| (25) |
|
|
Improved performance in evala/Gcd
|
|
|
|
Improved performance in mod/Expand and mod/Divide
|
|
|
|
|
|
|
|