Packages - Maple Help

New and Enhanced Packages in Maple 14

Maple 14 contains the following new packages and enhancements to existing packages.

New Packages

Enhanced Packages

CUDA

 • We have added GPU support for accelerating LinearAlgebra Matrix multiplication using NVIDIA's CUDA technology.  The new CUDA package can be used to enable GPU acceleration. See Efficiency Improvements in Maple 14 for more details and an example.

DifferentialAlgebra

 • The new DifferentialAlgebra package supersedes the previous Maple diffalg with an improved set of commands and interface easier to use, for simplifying and manipulating systems of polynomial differential equations (ODE, PDE, DAE, PDAE), also running all the core computations directly in C, faster.
 • The main functionality of the package is provided by the RosenfeldGroebner command, which permits triangularizing a differential equation system so that it can be solved eliminating one variable at a time, simplifying the system with respect to its integrability conditions, or determining its singular cases.
 • Commands are also provided to tackle related problems, like BelongsTo for deciding membership to a differential ideal, ReducedForm for reducing a system of partial differential equations with respect to another one and PowerSeriesSolution for computing formal power series solutions for differential equation systems. Other commands for analyzing mathematical properties of differential systems or do algebraic manipulation and related programming are listed in DifferentialAlgebra.
 • The new features in DifferentialAlgebra allow for a faster and more thorough analysis of DE systems. Among the novelties:
 – there is flexibility to tackle systems where the dependent variables (functions) have different dependency or no dependency at all;
 – the systems can include variables and functions that are arbitrary;
 – it is possible to optionally compute only the general case, or additionally only the essential singular cases, or all of them (default behavior);
 – simplification of polynomial differential systems can now be performed over nontrivial differential fields (related to the new handling of arbitrary functions);
 – the package includes a very recent algorithm for the fast recomputation of an equivalent differential equation system (represented by its ideal) after changing the ranking ordering for the dependent and/or independent variables;
 • As for the redesigned interface, aiming at making computations easier, faster and more flexible
 – different mathematical notations can be used making easier to enter a problem as well as to read the solution returned in compact notation. It is not necessary to indicate what is the notation being used in the input and you can optionally specify the notation desired in the output;
 – it is not required anymore to specify the basefield of a computation. Instead, the basefield is consistently derived from the input automatically, on the fly;
 – you can change or add to the dependent, independent and arbitrary variables and functions specified in the differentia ring, as well as changing their ranking, without having to redefine the differential ring;
 – you can specify algebraic relations between the arbitrary variables and functions of a PDE system by passing them directly to RosenfeldGroebner in a natural way, as in relations = {..equations..}.

Parametric differential systems

 > with(DifferentialAlgebra);
 $\left[{\mathrm{BelongsTo}}{,}{\mathrm{DifferentialRing}}{,}{\mathrm{Equations}}{,}{\mathrm{Get}}{,}{\mathrm{Inequations}}{,}{\mathrm{Is}}{,}{\mathrm{NormalForm}}{,}{\mathrm{PowerSeriesSolution}}{,}{\mathrm{ReducedForm}}{,}{\mathrm{RosenfeldGroebner}}{,}{\mathrm{Tools}}\right]$ (1)

Consider this nonlinear ODE in $u\left(x\right)$ that also depends on a parameter p

 > ODE := (p-1)*diff(u(x),x)-u(x)^2;
 ${\mathrm{ODE}}{≔}\left({p}{-}{1}\right){}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right)\right){-}{{u}{}\left({x}\right)}^{{2}}$ (2)

The following differential ring permits to manipulate ODE" as if p' is also a dependent variable (with no dependency, all its derivatives are zero), thus realizing the concept of a parameterized ODE.

 > ring := DifferentialRing(derivations = [x], blocks = [u,p]);
 ${\mathrm{ring}}{≔}{\mathrm{differential_ring}}$ (3)

Analyze the problem now and determine its singular case, finding it is related to the critical value $p=1$

 > ideal := RosenfeldGroebner(ODE, ring);
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (4)

Here are the two cases:

 > Equations(ideal, solved);
 $\left[\left[\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right){=}\frac{{{u}{}\left({x}\right)}^{{2}}}{{p}{-}{1}}\right]{,}\left[{u}{}\left({x}\right){=}{0}{,}{p}{=}{1}\right]\right]$ (5)

Regard now p as arbitrary, so do not discuss cases in terms of its values

 > ideal := RosenfeldGroebner(ODE, ring, arbitrary = p);
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (6)
 > Equations(ideal, solved);
 $\left[\left[\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right){=}\frac{{{u}{}\left({x}\right)}^{{2}}}{{p}{-}{1}}\right]\right]$ (7)

Power series solutions

Consider the heat equation, here entered directly in (simpler) jet notation, where subscripts indicate derivations

 > PDE := [u[t, t]-u[x]];
 ${\mathrm{PDE}}{≔}\left[{{u}}_{{t}{,}{t}}{-}{{u}}_{{x}}\right]$ (8)

This is a problem in one dependent variable u(t, x); set the differential ring

 > ring := DifferentialRing(derivations = [t, x], blocks = [u]);
 ${\mathrm{ring}}{≔}{\mathrm{differential_ring}}$ (9)

Compute the ideal for PDE

 > ideal := RosenfeldGroebner(PDE, ring);
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (10)

The series solution for initial values depending on two arbitrary functions, u(0, x) = f(x) and D[1](u)(0, x) = g(x) also entered in jet notation.

 > PowerSeriesSolution(ideal, 2, [u = f(x), u[t] = g(x)]);
 $\left[\left[{u}{}\left({t}{,}{x}\right){=}{f}{}\left({0}\right){+}{\mathrm{D}}{}\left({f}\right){}\left({0}\right){}{x}{+}{g}{}\left({0}\right){}{t}{+}\frac{{{\mathrm{D}}}^{\left({2}\right)}{}\left({f}\right){}\left({0}\right){}{{x}}^{{2}}}{{2}}{+}{\mathrm{D}}{}\left({g}\right){}\left({0}\right){}{t}{}{x}{+}\frac{{\mathrm{D}}{}\left({f}\right){}\left({0}\right){}{{t}}^{{2}}}{{2}}\right]\right]$ (11)

Normal Forms

Consider the following PDE system

 > sys := [diff(g(x,y),x) = 2*g(x,y)^2+2, diff(g(x,y),y)^2 = -1/4*(-g(x,y)^4-2*g(x,y)^2-1)/y];
 ${\mathrm{sys}}{≔}\left[\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right){=}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{2}{,}{\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right)}^{{2}}{=}{-}\frac{{-}{{g}{}\left({x}{,}{y}\right)}^{{4}}{-}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{-}{1}}{{4}{}{y}}\right]$ (12)

So this is a problem with one unknown $g\left(x,y\right)$, set the differential ring

 > ring := DifferentialAlgebra[DifferentialRing](derivations = [x,y], blocks = [g]):

Compute now the ideal but only the general case, disregarding singular cases

 > ideal := RosenfeldGroebner(sys, ring, singsol = none);
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (13)

Check the equations representing this general case in the ideal computed

 > eqs := Equations(ideal[1], solved);
 ${\mathrm{eqs}}{≔}\left[\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right){=}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{2}{,}{\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right)}^{{2}}{=}{-}\frac{{-}{{g}{}\left({x}{,}{y}\right)}^{{4}}{-}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{-}{1}}{{4}{}{y}}\right]$ (14)

Here is one of its solutions (see pdetest)

 > sol := tan(2*x-y^(1/2));
 ${\mathrm{sol}}{≔}{\mathrm{tan}}{}\left({2}{}{x}{-}\sqrt{{y}}\right)$ (15)
 > pdetest(g(x,y) = sol, eqs);
 $\left[{0}{,}{0}\right]$ (16)

Thus, these two following expressions expr1 and expr2

 > expr1 := 4*diff(g(x,y), x,y)*y/(g(x,y)^4+2*g(x,y)^2+1) - 4*diff(g(x,y), y)*y*(4*g(x,y)^3*diff(g(x,y), x) + 4*g(x,y)*diff(g(x,y),x))/(g(x,y)^4+2*g(x,y)^2+1)^2;
 ${\mathrm{expr1}}{≔}\frac{{4}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right){}{y}}{{{g}{}\left({x}{,}{y}\right)}^{{4}}{+}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{1}}{-}\frac{{4}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right){}{y}{}\left({4}{}{{g}{}\left({x}{,}{y}\right)}^{{3}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right){+}{4}{}{g}{}\left({x}{,}{y}\right){}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right)\right)}{{\left({{g}{}\left({x}{,}{y}\right)}^{{4}}{+}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{1}\right)}^{{2}}}$ (17)
 > expr2 := - diff(g(x, y), x, y)/diff(g(x, y), y)^2;
 ${\mathrm{expr2}}{≔}{-}\frac{\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)}{{\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right)}^{{2}}}$ (18)

are actually equivalent, modulo the differential ideal presented by ideal. That is, these two expressions are equal when evaluated at g(x, y) = sol, and, more generally, when evaluated at any solution of the differential ideal:

 > simplify(subs(g(x,y) = sol, expr1 - expr2));
 ${0}$ (19)

The equivalence between expr1 and expr2 fact can be derived by computing their normal forms and checking that they are syntactically equal

 > NF[1] := NormalForm(expr1, ideal);
 ${{\mathrm{NF}}}_{{1}}{≔}\left[{-}\frac{{16}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right){}{g}{}\left({x}{,}{y}\right){}{y}}{{{g}{}\left({x}{,}{y}\right)}^{{4}}{+}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{1}}\right]$ (20)
 > NF[2] := NormalForm(expr2, ideal);
 ${{\mathrm{NF}}}_{{2}}{≔}\left[{-}\frac{{16}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}{,}{y}\right)\right){}{g}{}\left({x}{,}{y}\right){}{y}}{{{g}{}\left({x}{,}{y}\right)}^{{4}}{+}{2}{}{{g}{}\left({x}{,}{y}\right)}^{{2}}{+}{1}}\right]$ (21)
 > NF[1] - NF[2];
 $\left[{0}\right]$ (22)

DEtools

DEtools[particularsol] using integrating factors

particularsol can now compute particular solutions for an nth order ODE from any incomplete set (less than n) integrating factors admitted by ODE. This is of use when the ODE cannot be solved in general but a particular solution may be sufficient. For example, the general solution of this second order nonlinear ODE

 > ode := diff(y(x), x,x) = (-p*y(x)^p*(p- 1)*diff(y(x), x)^2 + x*diff(y(x), x)*y(x)^2 + y(x)^3)/(y(x)^(p+1))/p;
 ${\mathrm{ode}}{≔}\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}\frac{{-}{p}{}{{y}{}\left({x}\right)}^{{p}}{}\left({p}{-}{1}\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{{y}{}\left({x}\right)}^{{2}}{+}{{y}{}\left({x}\right)}^{{3}}}{{{y}{}\left({x}\right)}^{{p}{+}{1}}{}{p}}$ (23)

is not known. In Maple 13, two particular solutions depending on no arbitrary constants can be computed for it exploring its symmetries. One integrating factor for this $\mathrm{ode}$ can however also be computed, and from it in Maple 14 a new particular solution depending on 1 arbitrary constant $\mathrm{_C1}$ is computable, the third one in this sequence of solutions;

 > particular_sol := DEtools[particularsol](ode);
 ${\mathrm{particular_sol}}{≔}{y}{}\left({x}\right){=}{{ⅇ}}^{\frac{{\mathrm{ln}}{}\left(\frac{{{x}}^{{2}}{}\left({p}{-}{1}\right)}{{2}{}{p}}\right)}{{p}{-}{1}}}{,}{y}{}\left({x}\right){=}\frac{{\left(\frac{{p}{}{{x}}^{{2}}{+}{2}{}\mathrm{c__1}{}{p}{-}{{x}}^{{2}}}{{p}}\right)}^{\frac{{1}}{{p}{-}{1}}}}{{{2}}^{\frac{{1}}{{p}{-}{1}}}}$ (24)

To illustrate the use of this new particular solution, consider the initial value problem that consists on solving this $\mathrm{ode}$ subject to the initial values

 > iv := y(0) = 1, D(y)(0) = 0;
 ${\mathrm{iv}}{≔}{y}{}\left({0}\right){=}{1}{,}{\mathrm{D}}{}\left({y}\right){}\left({0}\right){=}{0}$ (25)

The standard approach of computing first the general solution of $\mathrm{ode}$ is here of no use because that solution is not known. Having computed the one parameter (_C1) solution with particularsol, you can try to adjust it to match these initial conditions in different ways. For instance, using DEtools[IVPsol], introduced in Maple 13 for these purposes, you can pass directly the particular solution you want to be used and the initial values, in this example solving the ODE and initial value problem entirely, as in

 > DEtools[IVPsol]([iv], particular_sol[2]);
 ${y}{}\left({x}\right){=}\frac{{\left(\frac{{p}{}{{x}}^{{2}}{-}{{x}}^{{2}}{+}{2}{}{p}}{{p}}\right)}^{\frac{{1}}{{p}{-}{1}}}}{{{2}}^{\frac{{1}}{{p}{-}{1}}}}$ (26)

Alternatively you can pass this particular solution to dsolve so that it tackles the problem departing from this given solution

 > dsolve([ode, iv], solution = particular_sol[2]);
 ${y}{}\left({x}\right){=}\frac{{\left(\frac{{p}{}{{x}}^{{2}}{-}{{x}}^{{2}}{+}{2}{}{p}}{{p}}\right)}^{\frac{{1}}{{p}{-}{1}}}}{{{2}}^{\frac{{1}}{{p}{-}{1}}}}$ (27)

Note that this approach is also automatically explored by dsolve in Maple 14 even if you do not request it (though in that case the computation will take significantly longer because a general solution is first attempted with no success)

 > sol := dsolve([ode, iv]);
 ${\mathrm{sol}}{≔}{y}{}\left({x}\right){=}\frac{{\left(\frac{{p}{}{{x}}^{{2}}{-}{{x}}^{{2}}{+}{2}{}{p}}{{p}}\right)}^{\frac{{1}}{{p}{-}{1}}}}{{{2}}^{\frac{{1}}{{p}{-}{1}}}}$ (28)

DEtools[firint] and complete sets of first integrals for linear ODEs

The DEtools[firint] command can now compute a complete set of first integrals for linear ODEs, that is as many as the differential order and all independent from each other. A textbook example:

 > PDEtools[declare](g(x), y(x), prime = x);
 ${g}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{g}$
 ${y}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{y}$
 ${\mathrm{derivatives with respect to}}{}{x}{}{\mathrm{of functions of one variable will now be displayed with \text{'}}}$ (29)
 > ode := diff(y(x), x,x) = ((diff(g[1](x), x,x))*g[2](x)-g[1](x)*(diff(g[2](x), x,x)))*(diff(y(x), x))/(g[2](x)*(diff(g[1](x), x))-g[1](x)*(diff(g[2](x), x)))+((diff(g[1](x), x))*(diff(g[2](x), x,x))-(diff(g[1](x), x,x))*(diff(g[2](x), x)))*y(x)/(g[2](x)*(diff(g[1](x), x))-g[1](x)*(diff(g[2](x), x)))+((diff(g[0](x), x,x))*(-g[2](x)*(diff(g[1](x), x))+g[1](x)*(diff(g[2](x), x)))+((diff(g[1](x), x))*g[0](x)-g[1](x)*(diff(g[0](x), x)))*(diff(g[2](x), x,x))-((diff(g[2](x), x))*g[0](x)-g[2](x)*(diff(g[0](x), x)))*(diff(g[1](x), x,x)))/(-g[2](x)*(diff(g[1](x), x))+g[1](x)*(diff(g[2](x), x)));
 ${\mathrm{ode}}{≔}{\mathrm{y\text{'}\text{'}}}{=}\frac{\left({{g}}_{{1}}^{{\mathrm{\text{'}\text{'}}}}{}{{g}}_{{2}}{-}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}\right){}{\mathrm{y\text{'}}}}{{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{-}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}}{+}\frac{\left({{g}}_{{1}}^{{\mathrm{\text{'}}}}{}{{g}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{-}{{g}}_{{1}}^{{\mathrm{\text{'}\text{'}}}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}\right){}{y}}{{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{-}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}}{+}\frac{{{g}}_{{0}}^{{\mathrm{\text{'}\text{'}}}}{}\left({-}{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{+}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}\right){+}\left({{g}}_{{1}}^{{\mathrm{\text{'}}}}{}{{g}}_{{0}}{-}{{g}}_{{1}}{}{{g}}_{{0}}^{{\mathrm{\text{'}}}}\right){}{{g}}_{{2}}^{{\mathrm{\text{'}\text{'}}}}{-}\left({{g}}_{{2}}^{{\mathrm{\text{'}}}}{}{{g}}_{{0}}{-}{{g}}_{{2}}{}{{g}}_{{0}}^{{\mathrm{\text{'}}}}\right){}{{g}}_{{1}}^{{\mathrm{\text{'}\text{'}}}}}{{-}{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{+}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}}$ (30)
 This $\mathrm{ode}$ is the most general 2nd order non-homogeneous linear ODE having for solution basis ${g}_{1}$ and ${g}_{2}$, for the homogeneous part, and ${g}_{0}$ as particular solution of the whole non-homogeneous equation, so the basis of solutions is represented in Maple by
 > basis_sol := [[g[1](x), g[2](x)], g[0](x)];
 ${\mathrm{basis_sol}}{≔}\left[\left[{{g}}_{{1}}{,}{{g}}_{{2}}\right]{,}{{g}}_{{0}}\right]$ (31)
 To verify that $\mathrm{basis_sol}$ is a complete basis for the solutions of $\mathrm{ode}$, construct with it the general solution then test it using odetest
 > sol := y(x) = _C1*g[1](x) + _C1*g[2](x) + g[0](x);
 ${\mathrm{sol}}{≔}{y}{=}\mathrm{c__1}{}{{g}}_{{1}}{+}\mathrm{c__1}{}{{g}}_{{2}}{+}{{g}}_{{0}}$ (32)
 > odetest(sol, ode);
 ${0}$ (33)
 Compute now a complete set of first integrals for $\mathrm{ode}$
 > first_integrals := DEtools[firint](ode, y(x), basis = basis_sol);
 ${\mathrm{first_integrals}}{≔}\frac{\left({y}{-}{{g}}_{{0}}\right){}{{g}}_{{2}}^{{\mathrm{\text{'}}}}{-}{{g}}_{{2}}{}\left({\mathrm{y\text{'}}}{-}{{g}}_{{0}}^{{\mathrm{\text{'}}}}\right)}{{-}{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{+}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}}{,}\frac{\left({-}{y}{+}{{g}}_{{0}}\right){}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{+}{{g}}_{{1}}{}\left({\mathrm{y\text{'}}}{-}{{g}}_{{0}}^{{\mathrm{\text{'}}}}\right)}{{-}{{g}}_{{2}}{}{{g}}_{{1}}^{{\mathrm{\text{'}}}}{+}{{g}}_{{1}}{}{{g}}_{{2}}^{{\mathrm{\text{'}}}}}$ (34)
 Verify this result
 > map(DEtools[firtest], [first_integrals], ode, y(x));
 $\left[{0}{,}{0}\right]$ (35)
 DEtools

DynamicSystems

 • A new command, NyquistPlot, was added to the DynamicSystems package. It plots the Nyquist plot of a linear system.
 • A new command, StepProperties, was added to this package. It calculates the properties of a step response.
 • Two new commands, EquilibriumPoint and Linearize, were added to this package.  EquilibriumPoint finds a local equilibrium point for a nonlinear system of DAEs.  Linearize allows a set of nonlinear differential equations to be linearized and converted to a state-space form. These commands are useful in control system design, as you can analyze trim conditions, linearize at a trim (equilibrium) point, and then work with the resulting state-space representation of the linear model.
 • A new command, SystemConnect, was added to this package. This allows different DynamicSystems objects to be interconnected.
 • A new option adaptive was added to the following commands: BodePlot, FrequencyResponse, MagnitudePlot, NyquistPlot, and PhasePlot. This option allows the specification of the frequency points to be spaced adaptively, which results in a better looking plots.

Groebner

 • Use the Groebner[Support] command to inspect the monomials in the polynomial in the Groebner basis.
 > Groebner[Support]([x^2+23*2+12, y-x/2-1/3]);
 $\left[\left[{{x}}^{{2}}{,}{1}\right]{,}\left[{1}{,}{x}{,}{y}\right]\right]$ (36)

IntegerRelations

 • The IntegerRelations[PSLQ] command has been extended to work over the complex numbers. For example, this can be used to find the minimal polynomial of a complex algebraic number:
 > alpha := sqrt(2)+(-1)^(1/3);
 ${\mathrm{\alpha }}{≔}\sqrt{{2}}{+}{\left({-1}\right)}^{{1}}{{3}}}$ (37)
 > powers := map(evalf, [seq(expand(alpha^i), i=0..4)]);
 ${\mathrm{powers}}{≔}\left[{1.}{,}{1.914213562}{+}{0.8660254037}{}{I}{,}{2.914213562}{+}{3.315515146}{}{I}{,}{2.707106782}{+}{8.870387035}{}{I}{,}{-2.500000000}{+}{19.32423841}{}{I}\right]$ (38)
 > u := IntegerRelations[PSLQ](powers);
 ${u}{≔}\left[{7}{,}{2}{,}{-1}{,}{-2}{,}{1}\right]$ (39)
 > minpoly := PolynomialTools[FromCoefficientList](u,x);
 ${\mathrm{minpoly}}{≔}{{x}}^{{4}}{-}{2}{}{{x}}^{{3}}{-}{{x}}^{{2}}{+}{2}{}{x}{+}{7}$ (40)
 ${0}$ (41)
 > unassign('u');

LinearAlgebra

 • Improved method for providing output options to LinearAlgebra commands. Most commands in the LinearAlgebra package return one or more Matrices or Vectors.  Until now, the mechanism for passing options to the corresponding Matrix or Vector constructor has been through the inclusion of an outputoptions=[...] option.  This was safe and effective, but somewhat unwieldy. As of this release, these constructor options can be included directly in the LinearAlgebra command itself.  For example,
 > LinearAlgebra[RandomMatrix](5, datatype=float);
 $\left[\begin{array}{ccccc}{-35.}& {7.}& {95.}& {2.}& {-3.}\\ {73.}& {44.}& {0.}& {25.}& {37.}\\ {22.}& {-60.}& {26.}& {7.}& {18.}\\ {68.}& {-74.}& {-15.}& {-53.}& {-40.}\\ {-35.}& {-55.}& {-36.}& {-63.}& {91.}\end{array}\right]$ (42)
 • The older form, using the outputoptions=[...] option, continues to be valid, and, in particular, continues to be necessary in the case of LinearAlgebra commands which return more than one object. For example,
 > LinearAlgebra[LUDecomposition]( <1,2,3;4,5,6;7,8,9>, output=['P','L','U'], outputoptions['L']=[datatype=float] );
 $\left[\begin{array}{ccc}{1}& {0}& {0}\\ {0}& {1}& {0}\\ {0}& {0}& {1}\end{array}\right]{,}\left[\begin{array}{ccc}{1.}& {0.}& {0.}\\ {4.}& {1.}& {0.}\\ {7.}& {2.}& {1.}\end{array}\right]{,}\left[\begin{array}{ccc}{1}& {2}& {3}\\ {0}& {-3}& {-6}\\ {0}& {0}& {0}\end{array}\right]$ (43)
 • If a constructor option appears both in the command calling sequence directly and as an outputoptions suboption, the latter takes precedence, regardless of the order in which the options appear.  This allows you to specify options which are to apply to all output objects and then override specific constructor options for selected output objects.
 > LinearAlgebra[LUDecomposition]( <1,2,3;4,5,6;7,8,9>, output=['P','L','U'], datatype=float, outputoptions['L']=[datatype=integer] );
 $\left[\begin{array}{ccc}{1.}& {0.}& {0.}\\ {0.}& {1.}& {0.}\\ {0.}& {0.}& {1.}\end{array}\right]{,}\left[\begin{array}{ccc}{1}& {0}& {0}\\ {4}& {1}& {0}\\ {7}& {2}& {1}\end{array}\right]{,}\left[\begin{array}{ccc}{1.}& {2.}& {3.}\\ {0.}& {-3.}& {-6.}\\ {0.}& {0.}& {0.}\end{array}\right]$ (44)
 • New commands CARE and DARE have been added to the LinearAlgebra package. These provide functionality to numerically solve real-valued, implicit linear systems known respectively as Continuous and Discrete Algebraic Riccati Equations. These equations feature prominently in the area of Optimal Control, such as in computational implementations of Linear-Quadratic Regulators.

PDEtools

 • Two new commands were added to PDEtools.
 – Solve is an unified command to compute exact, series or numerical solutions, possibly independent of indicated variables, for systems of algebraic or differential equations, possibly including inequations, initial values or boundary conditions. In this sense Solve provides the functionality of solve, fsolve, dsolve, pdsolve and more, through a single command that understands which command is to be called according to your input. Second, Solve has the ability to compute these solutions independent of specified variables, generalizing the functionality provided by solve[identity] to exact, series or numerical solutions, to systems of non-polynomial algebraic and/or differential equations, and allowing for an arbitrary number of identity variables. This unification together with its new solving capability make concretely simpler the interactive study of the solutions of an algebraic or differential equation system.
 – InvariantEquation to compute the invariant equation that admits a given symmetry group
 • Four new PDEtools:-Library commands were added to the library of tools to manipulate PDE systems and facilitate programming with them. These are: JetNumbersToJetVariables, JetVariablesToJetNumbers, NormalizeBoundaryConditions and ToSameVariables.
 Examples
 > with(PDEtools):
 A non-differential equation
 > eq[1] := a*x^2 + b*x + c;
 ${{\mathrm{eq}}}_{{1}}{≔}{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}$ (45)
 > Solve(eq[1], x);
 ${x}{=}\frac{{-}{b}{+}\sqrt{{-}{4}{}{a}{}{c}{+}{{b}}^{{2}}}}{{2}{}{a}}{,}{x}{=}{-}\frac{{b}{+}\sqrt{{-}{4}{}{a}{}{c}{+}{{b}}^{{2}}}}{{2}{}{a}}$ (46)
 An ODE problem and its series solution
 > eq[2] := diff(y(x),x) = y(x);
 ${{\mathrm{eq}}}_{{2}}{≔}{\mathrm{y\text{'}}}{=}{y}$ (47)
 > Solve(eq[2], series);
 ${y}{=}{y}{}\left({0}\right){+}{y}{}\left({0}\right){}{x}{+}\frac{{1}}{{2}}{}{y}{}\left({0}\right){}{{x}}^{{2}}{+}\frac{{1}}{{6}}{}{y}{}\left({0}\right){}{{x}}^{{3}}{+}\frac{{1}}{{24}}{}{y}{}\left({0}\right){}{{x}}^{{4}}{+}\frac{{1}}{{120}}{}{y}{}\left({0}\right){}{{x}}^{{5}}{+}{O}{}\left({{x}}^{{6}}\right)$ (48)
 A PDE problem with boundary conditions
 > eq[3] := [diff(u(x, t), t)+c*(diff(u(x, t), x)) = -lambda*u(x, t), u(x, 0) = phi(x)];
 ${{\mathrm{eq}}}_{{3}}{≔}\left[{c}{}{{u}}_{{x}}{+}{{u}}_{{t}}{=}{-}{\mathrm{\lambda }}{}{u}{}\left({x}{,}{t}\right){,}{u}{}\left({x}{,}{0}\right){=}{\mathrm{\phi }}{}\left({x}\right)\right]$ (49)
 > Solve(eq[3]);
 $\left\{{u}{}\left({x}{,}{t}\right){=}{\mathrm{\phi }}{}\left({-}{t}{}{c}{+}{x}\right){}{{ⅇ}}^{{-}{\mathrm{\lambda }}{}{t}}\right\}$ (50)
 Numerical solution for a PDE with boundary conditions
 > eq[4] := [diff(u(x,t),t) = -diff(u(x,t),x), u(x,0) = sin(2*Pi*x), u(0,t) = -sin(2*Pi*t)];
 ${{\mathrm{eq}}}_{{4}}{≔}\left[{{u}}_{{t}}{=}{-}{{u}}_{{x}}{,}{u}{}\left({x}{,}{0}\right){=}{\mathrm{sin}}{}\left({2}{}{\mathrm{\pi }}{}{x}\right){,}{u}{}\left({0}{,}{t}\right){=}{-}{\mathrm{sin}}{}\left({2}{}{\mathrm{\pi }}{}{t}\right)\right]$ (51)
 > sol[4] := PDEtools:-Solve(eq[4], numeric, time=t, range=0..1);
 ${{\mathrm{sol}}}_{{4}}{:=}{\mathbf{module}}\left({}\right)\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}{\mathbf{export}}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}{\mathrm{plot}}{,}{\mathrm{plot3d}}{,}{\mathrm{animate}}{,}{\mathrm{value}}{,}{\mathrm{settings}}{;}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}{...}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}{\mathbf{end module}}$ (52)
 > sol[4]:-plot(t=0, numpoints=50);
 In the examples above the advantage with regards to calling solve, dsolve or pdsolve is in using a single command and having a unified format for the input and output. Solve however also provides additional functionality: it can compute solutions independent of indicated variables. The system being solved using independentof can also contain inequations
 > eq[5] := [k*a*c*(a+b)*exp(k*d*t)-2*a*exp(k*t)*k+Q*(-c+a)*x, a <> 0];
 ${{\mathrm{eq}}}_{{5}}{≔}\left[{k}{}{a}{}{c}{}\left({a}{+}{b}\right){}{{ⅇ}}^{{k}{}{d}{}{t}}{-}{2}{}{a}{}{{ⅇ}}^{{k}{}{t}}{}{k}{+}{Q}{}\left({-}{c}{+}{a}\right){}{x}{,}{a}{\ne }{0}\right]$ (53)
 > Solve(eq[5], {a, b, c, d}, independentof = {t, x});
 $\left\{{a}{=}{a}{,}{b}{=}{-}\frac{{{a}}^{{2}}{-}{2}}{{a}}{,}{c}{=}{a}{,}{d}{=}{1}\right\}$ (54)
 Solutions that are independent of the specified variables can be computed as well for differential equations or systems of them;
 > eq[6] := diff(f(x,y),x)*diff(g(x,y),x) + diff(f(x,y),y)*diff(g(x,y),y) + g(x,y)*(diff(f(x,y), x,x) + diff(f(x,y), y,y)) = -1;
 ${{\mathrm{eq}}}_{{6}}{≔}{{f}}_{{x}}{}{{g}}_{{x}}{+}{{f}}_{{y}}{}{{g}}_{{y}}{+}{g}{}\left({x}{,}{y}\right){}\left({{f}}_{{x}{,}{x}}{+}{{f}}_{{y}{,}{y}}\right){=}{-1}$ (55)
 Here are solutions for this PDE that are independent of $x$ and independent of $y$
 > Solve(eq[6], independentof = x);
 $\left\{{f}{}\left({x}{,}{y}\right){=}\mathrm{f__1}{}\left({y}\right){,}{g}{}\left({x}{,}{y}\right){=}\frac{{-}{y}{+}\mathrm{c__1}}{{\mathrm{f__1}}_{{y}}}\right\}$ (56)
 > Solve(eq[6], independentof = y);
 $\left\{{f}{}\left({x}{,}{y}\right){=}\mathrm{f__1}{}\left({x}\right){,}{g}{}\left({x}{,}{y}\right){=}\frac{{-}{x}{+}\mathrm{c__1}}{{\mathrm{_F1\text{'}}}}\right\}$ (57)
 • The new InvariantEquations command computes equations that are invariant under given symmetries. Consider the list of infinitesimals of this 1-dimensional symmetry group
 > S := [x, 1, u];
 ${S}{≔}\left[{x}{,}{1}{,}{u}\right]$ (58)
 The 1st order partial differential equation invariant under the symmetry transformation underlying these infinitesimals is
 > PDE := InvariantEquation(S, u(x, t), name = Lambda);
 ${\mathrm{* Partial match of \text{'}name\text{'} against keyword \text{'}arbitraryfunctionname\text{'}}}$
 ${\mathrm{PDE}}{≔}{\mathrm{\Lambda }}{}\left({-}{\mathrm{ln}}{}\left({x}\right){+}{t}{,}\frac{{u}{}\left({x}{,}{t}\right)}{{x}}{,}{{u}}_{{x}}{,}\frac{{{u}}_{{t}}}{{x}}\right)$ (59)
 The third order PDE invariant under $S$ is
 > PDE := InvariantEquation(S, u(x, t), order = 3);
 ${\mathrm{PDE}}{≔}\mathrm{f__1}{}\left({-}{\mathrm{ln}}{}\left({x}\right){+}{t}{,}\frac{{u}{}\left({x}{,}{t}\right)}{{x}}{,}{{u}}_{{x}}{,}\frac{{{u}}_{{t}}}{{x}}{,}{{u}}_{{t}{,}{x}}{,}{{u}}_{{x}{,}{x}}{}{x}{,}\frac{{{u}}_{{t}{,}{t}}}{{x}}{,}{{u}}_{{t}{,}{t}{,}{x}}{,}{{u}}_{{x}{,}{x}{,}{x}}{}{{x}}^{{2}}{,}{{u}}_{{t}{,}{x}{,}{x}}{}{x}{,}\frac{{{u}}_{{t}{,}{t}{,}{t}}}{{x}}\right)$ (60)
 When the arbitraryfunctionname is not indicated, as in this input above, the name used is of the form $\mathrm{_Fn}$ with $n$ integer. The invariance of this $\mathrm{PDE}$ can be verified in various ways, the simplest of which is perhaps to use SymmetryTest, that verifies that $S$ is a symmetry of $\mathrm{PDE}$
 > SymmetryTest(S, PDE);
 $\left\{{0}\right\}$ (61)
 With InvariantEquations you can also compute the equation invariant under n-dimensional symmetry groups; consider for instance the following list of 5 symmetries of a problem that involves two dependent variables $u\left(x,t\right),v\left(x,t\right)$
 > G := [[_xi[x] = 0, _xi[t] = 1, _eta[u] = 0, _eta[v] = 0], [_xi[x] = 0, _xi[t] = 0, _eta[u] = 1, _eta[v] = 0], [_xi[x] = 1, _xi[t] = 0, _eta[u] = 2*t, _eta[v] = 0], [_xi[x] = t, _xi[t] = 0, _eta[u] = t^2+x, _eta[v] = 0], [_xi[x] = 1/2*x+3/2*t^2, _xi[t] = t, _eta[u] = t^3+3*t*x, _eta[v] = -v]];
 ${G}{≔}\left[\left[{{\mathrm{_ξ}}}_{{x}}{=}{0}{,}{{\mathrm{_ξ}}}_{{t}}{=}{1}{,}{{\mathrm{_η}}}_{{u}}{=}{0}{,}{{\mathrm{_η}}}_{{v}}{=}{0}\right]{,}\left[{{\mathrm{_ξ}}}_{{x}}{=}{0}{,}{{\mathrm{_ξ}}}_{{t}}{=}{0}{,}{{\mathrm{_η}}}_{{u}}{=}{1}{,}{{\mathrm{_η}}}_{{v}}{=}{0}\right]{,}\left[{{\mathrm{_ξ}}}_{{x}}{=}{1}{,}{{\mathrm{_ξ}}}_{{t}}{=}{0}{,}{{\mathrm{_η}}}_{{u}}{=}{2}{}{t}{,}{{\mathrm{_η}}}_{{v}}{=}{0}\right]{,}\left[{{\mathrm{_ξ}}}_{{x}}{=}{t}{,}{{\mathrm{_ξ}}}_{{t}}{=}{0}{,}{{\mathrm{_η}}}_{{u}}{=}{{t}}^{{2}}{+}{x}{,}{{\mathrm{_η}}}_{{v}}{=}{0}\right]{,}\left[{{\mathrm{_ξ}}}_{{x}}{=}\frac{{x}}{{2}}{+}\frac{{3}{}{{t}}^{{2}}}{{2}}{,}{{\mathrm{_ξ}}}_{{t}}{=}{t}{,}{{\mathrm{_η}}}_{{u}}{=}{{t}}^{{3}}{+}{3}{}{t}{}{x}{,}{{\mathrm{_η}}}_{{v}}{=}{-}{v}\right]\right]$ (62)
 The related 1st order invariant PDE family is:
 > PDE := InvariantEquation(G, [u, v](x, t), arbitraryfunctionname = Lambda);
 ${\mathrm{PDE}}{≔}{\mathrm{\Lambda }}{}\left(\frac{{{v}}_{{x}}}{{{v}{}\left({x}{,}{t}\right)}^{{3}}{{2}}}}{,}\frac{{{u}}_{{x}}^{{2}}{-}{4}{}{x}{+}{2}{}{{u}}_{{t}}}{{v}{}\left({x}{,}{t}\right)}{,}\frac{{{u}}_{{x}}{}{{v}}_{{x}}{+}{{v}}_{{t}}}{{{v}{}\left({x}{,}{t}\right)}^{{2}}}\right)$ (63)
 > map(SymmetryTest, G, PDE, [u, v](x, t));
 $\left[\left\{{0}\right\}{,}\left\{{0}\right\}{,}\left\{{0}\right\}{,}\left\{{0}\right\}{,}\left\{{0}\right\}\right]$ (64)

RegularChains

RegularChains package in Maple 14 provides the following new commands:

 • Intersect solves polynomial systems incrementally.
 • RealTriangularize computes triangular decompositions of the real roots of polynomial systems.
 • CylindricalAlgebraicDecompose computes an F-invariant cylindrical algebraic decomposition of a set of polynomials F.
 • SubresultantChain creates a data structure which encodes the subresultant chain of two polynomials regarded as univariate polynomials. Different representations of the subresultant chain are supported: by values, over monomial basis, or via Bezout matrices.

It also provides the following improvements to some existing commands:

 • RegularGcd provides a new calling sequence for faster GCD computations modulo regular chains.
 • ComprehensiveTriangularize provides a new option, piecewise, for displaying readable output.
 • RealRootIsolate provides an alternative algorithm, Discoverer. It also isolates the real roots of any semi-algebraic system with finitely many complex solutions.
 • Triangularize implements a new and faster algorithm, in particular for systems with infinitely many solutions.
 • New and faster algorithms are available for RegularGcd and Regularize.

RootFinding

 • The RootFinding package has three new commands:
 – Given a point that does not lie on a given real manifold, EnclosingBox computes a box around the point that does not intersect the manifold.
 – The HasRealRoots command determines whether a given set of polynomial equations is solvable over the real numbers.
 – The WitnessPoints command can find a point on every connected component of a real manifold, or it can find a point on every connected component of the complement of a real manifold.
 • Examples:
 Compute and display a box inside the unit circle that contains the origin:
 > with(RootFinding):
 > circle := x^2+y^2-1;
 ${\mathrm{circle}}{≔}{{x}}^{{2}}{+}{{y}}^{{2}}{-}{1}$ (65)
 > EnclosingBox(circle, [x=0, y=0], 'output'='plot');
 Determine whether a circle and a hyperbola intersect:
 > HasRealRoots([circle, x*y-1]);
 ${\mathrm{false}}$ (66)
 > HasRealRoots([circle, 2*x*y-1]);
 ${\mathrm{true}}$ (67)
 > Isolate([circle, 2*x*y-1], [x,y]);
 $\left[\left[{x}{=}{-0.7071067812}{,}{y}{=}{-0.7071067812}\right]{,}\left[{x}{=}{0.7071067812}{,}{y}{=}{0.7071067812}\right]\right]$ (68)
 > HasRealRoots([circle, 4*x*y-1]);
 ${\mathrm{true}}$ (69)
 > Isolate([circle, 4*x*y-1], [x,y]);
 $\left[\left[{x}{=}{-0.2588190451}{,}{y}{=}{-0.9659258263}\right]{,}\left[{x}{=}{-0.9659258263}{,}{y}{=}{-0.2588190451}\right]{,}\left[{x}{=}{0.9659258263}{,}{y}{=}{0.2588190451}\right]{,}\left[{x}{=}{0.2588190451}{,}{y}{=}{0.9659258263}\right]\right]$ (70)
 • The RootFinding[Parametric] subpackage has been enhanced:
 – The commands DiscriminantVariety and CellDecomposition can now handle systems with more equations than variables.
 – The command CellDecomposition has been extended to accept inequations (of the form $g\ne 0$), and it has a new option output.

StringTools

 • The StringTools package contains the new command IsEodermdrome.
 • The StringTools package also contains two new commands for data compression, Compress and Uncompress.  These apply zlib compression and expansion of sets of data including strings and byte arrays.