A new Physics package has been added to the library for computations in Physics, from simple applications to more complex quantum field theory computations. The package implements most of the standard objects used in Physics, for example, the Kronecker symbol, the metrics g_[mu,nu], the Pauli and Dirac matrices, the indexed differentiation operator d_[mu], the d'Alembertian, commutative, noncommutative and anticommutative variables and their related operations including differentiation with respect to them, sum rule for repeated indices, etc.

The package can be used to study or solve standard problems in classical mechanics using tensor notation. The package also permits computing with true computational representations for quantum fields defined in a super-space, typically entering supersymmetric models in field{/}string theories. For details see the page New Packages in Maple 11.

The differential equation solving capabilities of the dsolve and pdsolve commands for computing exact solutions have been enhanced with new algorithms:

dsolve can now compute Elliptic function (JacobiPQ, WeierstrassP, WeierstrassPPrime) solutions to various classes of nonlinear 1st and 2nd order ODEs

pdsolve has an entirely new sector to compute, by default, symmetries for PDEs and systems of them, and derive solutions directly from these symmetries in an automated manner, representing the most important development in this PDE exact solutions area since Maple V Release 5.

For a description, see Updates to Differential EquationSolvers.

The PDEtools package includes twenty new commands, mostly related to the symmetry approach, some based on original algorithms. See also the Updates to Differential Equation Packages help page.

The new DifferentialGeometry package is a comprehensive suite of commands and subpackages featuring a collection of tightly integrated tools for computations with vector fields, differential forms and transformations; tensor analysis; calculus on jet spaces; Lie algebras and Lie groups, and transformation groups. Computations may be performed in user specified frames. The package includes a variety of homotopy operators for the de Rham and variational bicomplexes; programs for the decomposition of Lie algebras, and programs for construction of a solvable Lie group from its Lie algebra. Also included are extensive tables of Lie algebras, Lie algebras of vectors, and differential equations taken from the mathematics and mathematical physics literature. For details, see the page New Packages in Maple 11.

The integration capabilities have been extended in two ways: to perform the indefinite integration in the presence of special functions in general and specially to handle integrands containing doubly periodic functions expressed in terms of rational functions of Jacobi elliptic functions.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

Int(2*Ei(exp(x))/exp(x)*exp(exp(x))-Ei(exp(x))^2/exp(x), x);

$\int \left(\frac{2\mathrm{Ei}\left({\ⅇ}^x\right){\ⅇ}^{{\ⅇ}^x}}{{\ⅇ}^x}-\frac{{\mathrm{Ei}\left({\ⅇ}^x\right)}^2}{{\ⅇ}^x}\right)\ⅆx$

value((1));

$\frac{{\mathrm{Ei}\left({\ⅇ}^x\right)}^2}{{\ⅇ}^x}$

Int(BesselJ(nu+1,x)/BesselJ(nu,x), x);

$\int \frac{\mathrm{BesselJ}\left(\mathrm{\nu }+1\,x\right)}{\mathrm{BesselJ}\left(\mathrm{\nu }\,x\right)}\ⅆx$

value((3));

$\mathrm{\nu }\ln \left(x\right)-\ln \left(\mathrm{BesselJ}\left(\mathrm{\nu }\,x\right)\right)$

Int(exp(x)*HeunTPrime(a,b,c,exp(x))*HeunT(a,b,e,x)+HeunT(a,b,c,exp(x))*HeunTPrime(a,b,e,x), x);

$\int \left({\ⅇ}^x\mathrm{HeunTPrime}\left(a\,b\,c\,{\ⅇ}^x\right)\mathrm{HeunT}\left(a\,b\,e\,x\right)+\mathrm{HeunT}\left(a\,b\,c\,{\ⅇ}^x\right)\mathrm{HeunTPrime}\left(a\,b\,e\,x\right)\right)\ⅆx$

value((5));

$\mathrm{HeunT}\left(a\,b\,c\,{\ⅇ}^x\right)\mathrm{HeunT}\left(a\,b\,e\,x\right)$

For integrands involving periodic functions consider

Int((1-a^2*JacobiSN(x, k)^2)^2, x);

$\int {\left(1-a^2{\mathrm{JacobiSN}\left(x\,k\right)}^2\right)}^2\ⅆx$

value((7));

$\frac{a^4\mathrm{JacobiSN}\left(x\,k\right)\mathrm{JacobiCN}\left(x\,k\right)\mathrm{JacobiDN}\left(x\,k\right)}{3k^2}-\frac{\left(a^4-3k^2\right)x}{3k^2}+\frac{2a^2\left(a^2{k}^2+a^2-3k^2\right)\left(x-\mathrm{EllipticE}\left(\mathrm{JacobiSN}\left(x\,k\right)\,k\right)\right)}{3k^4}$

Int(1/(1+I*JacobiSC(x,k)), x);

$\int \frac{1}{1+\mathrm{I}\mathrm{JacobiSC}\left(x\,k\right)}\ⅆx$

value((9));

$-\frac{\mathrm{JacobiDC}\left(x\,k\right)\mathrm{JacobiNC}\left(x\,k\right)}{k^2\left(-\mathrm{JacobiSC}\left(x\,k\right)+\mathrm{I}\right)}+\frac{\left(k^2-1\right)x}{k^2}+\frac{\left(k^2-1\right)\left(\frac{\mathrm{JacobiDC}\left(x\,k\right)\mathrm{JacobiSC}\left(x\,k\right)}{\mathrm{JacobiNC}\left(x\,k\right)}-\mathrm{EllipticE}\left(\mathrm{JacobiSN}\left(x\,k\right)\,k\right)\right)}{k^2\left(-k^2+1\right)}$

Int(JacobiDN(x,k)*JacobiCN(x,k)/JacobiNC(x,k), x);

$\int \frac{\mathrm{JacobiDN}\left(x\,k\right)\mathrm{JacobiCN}\left(x\,k\right)}{\mathrm{JacobiNC}\left(x\,k\right)}\ⅆx$

value((11));

$\frac{\left(k^2-1\right)\mathrm{JacobiAM}\left(x\,k\right)}{k^2}+\frac{\left(-k^2+2\right)\mathrm{JacobiAM}\left(x\,k\right)+k^2\mathrm{JacobiCN}\left(x\,k\right)\mathrm{JacobiSN}\left(x\,k\right)}{2k^2}$

A new command, intsolve has been added to the library to solve a linear integral equation. This command can find closed-form solutions to various types of integral equations, for example, Fredholm and Volterra equations of the first kind and second type, and for equations not matching a particular type the problem is handled by representing it first as an ordinary differential equation with initial conditions (ODE-IVP) and tackled using the Maple dsolve command. Optionally, this command can also compute using Laplace transform methods, or compute a series approximation of the solution using Neumann's method.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

f(x) + b*Int((x*y+x^2*y^2)*f(y), y = -1..1) = h(x);

$f\left(x\right)+b\left({\int }_{\mathrm{-1}}^1\left(x^2{y}^2+xy\right)f\left(y\right)\ⅆy\right)=h\left(x\right)$

intsolve((13), f(x));

$f\left(x\right)={\int }_{\mathrm{-1}}^1\left(-\frac{5x^{2}b{y}^2}{2b+5}-\frac{3xby}{2b+3}\right)h\left(y\right)\ⅆy+h\left(x\right)$

Computing a series approximation to order 20 for

ee := p(x) -1/2*Int(x*y*p(y),y=0....1) = 5/6*x;

$\mathrm{ee}≔p\left(x\right)-\frac{\left({\int }_0^{1}xyp\left(y\right)\ⅆy\right)}{2}=\frac{5x}{6}$

intsolve(ee, p(x), method=Neumann, order=20);

$p\left(x\right)=\frac{21936950640377855x}{21936950640377856}$

Compare with the closed form exact solution

intsolve(ee, p(x));

$p\left(x\right)=x$

The solve command can now return conditional solutions to many types of parametric equations and inequalities.  Systems of linear inequalities in one or more variables are fully supported, as well as relations involving some types of simple functions of linear expressions.  Conditional solutions are returned in the form of piecewise functions depending on the parameters.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

solve([x>0,y>0,x+y<=4,x+y<a],[x,y]);

$\left\{\begin{array}{cc}\left[\right]& a\le 0\\ \left[\left[x<a\&comma;0<x\&comma;y<a-x\&comma;0<y\right]\right]& a\le 4\\ \left[\left[x<4\&comma;0<x\&comma;y\le 4-x\&comma;0<y\right]\right]& 4<a\end{array}\right.$

solve(abs(x + a) + abs(x + b) > 2, x);

$\left\{\begin{array}{cc}\left[\left\{-\frac{a}{2}-\frac{b}{2}+1<x\right\}\&comma;\left\{x<-\frac{a}{2}-\frac{b}{2}-1\right\}\right]& -2+b\le a\wedge a\le 2+b\\ \left[\left\{-b\le x\&comma;x<-a\right\}\&comma;\left\{-a\le x\right\}\&comma;\left\{x<-b\right\}\right]& a<-2+b\\ \left[\left\{-a\le x\&comma;x<-b\right\}\&comma;\left\{-b\le x\right\}\&comma;\left\{x<-a\right\}\right]& 2+b<a\\ \left[\right]& \mathrm{otherwise}\end{array}\right.$

solve(abs(x + a) + abs(x + b) > 2, x) assuming b > 2, a < 0;

$\left\{-a\le x\right\},\left\{-b\le x\&comma;x<-a\right\},\left\{x<-b\right\}$

solve([(x-1)*(x-2)*(x-3)=0,a*(x-1)<2+b*(x-1)],[x]);

$\left\{\begin{array}{cc}\left[\left[x=3\right]\&comma;\left[x=2\right]\&comma;\left[x=1\right]\right]& a<1+b\\ \left[\left[x=2\right]\&comma;\left[x=1\right]\right]& 1+b\le a\wedge a<2+b\\ \left[\left[x=1\right]\right]& \mathrm{otherwise}\end{array}\right.$

The solve command can also be set to ignore conditional solutions and return only solutions that are valid over all values of the parameters.

_EnvConditionalSolutions := false;

$\mathrm{\_EnvConditionalSolutions}≔\mathrm{false}$

solve([(x-1)*(x-2)*(x-3)=0,a*(x-1)<2+b*(x-1)],[x]);

$\left[\left[x=1\right]\right]$

The diff command can now compute derivatives of the four Weierstrass functions when the discriminant is equal to zero. Recalling, in WeierstrassP(x, g2, g3), the discriminant is Delta = g2^3 - 27 g3^2, and formulas were not available before to compute the derivative when Delta = 0

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

Consider the Weierstrass functions and their discriminant

[WeierstrassP(z,g2, g3), WeierstrassPPrime(z,g2, g3), WeierstrassSigma(z,g2, g3), WeierstrassZeta(z,g2, g3), discriminant = g2^3 - 27*g3^2];

$\left[\mathrm{WeierstrassP}\left(z\&comma;\mathrm{g2}\&comma;\mathrm{g3}\right)\&comma;\mathrm{WeierstrassPPrime}\left(z\&comma;\mathrm{g2}\&comma;\mathrm{g3}\right)\&comma;\mathrm{WeierstrassSigma}\left(z\&comma;\mathrm{g2}\&comma;\mathrm{g3}\right)\&comma;\mathrm{WeierstrassZeta}\left(z\&comma;\mathrm{g2}\&comma;\mathrm{g3}\right)\&comma;\mathrm{discriminant}={\mathrm{g2}}^3-27{\mathrm{g3}}^2\right]$

When the discriminant is zero, $\mathrm{g2}$ is related to $\mathrm{g3}$; evaluate the above at values of $\mathrm{g2}$, $\mathrm{g3}$ satisfying that condition.

eval((24), [g2 = 3*t^2, g3=t^3]);

$\left[\mathrm{WeierstrassP}\left(z\&comma;3t^2\&comma;t^3\right)\&comma;\mathrm{WeierstrassPPrime}\left(z\&comma;3t^2\&comma;t^3\right)\&comma;\mathrm{WeierstrassSigma}\left(z\&comma;3t^2\&comma;t^3\right)\&comma;\mathrm{WeierstrassZeta}\left(z\&comma;3t^2\&comma;t^3\right)\&comma;\mathrm{discriminant}=0\right]$

Take the derivative now with respect to t

map(Diff = diff, (25)[1..-2], t);

$\left[\frac{\&DifferentialD;}{\&DifferentialD;t}\mathrm{WeierstrassP}\left(z\&comma;3t^2\&comma;t^3\right)=\frac{2\mathrm{WeierstrassP}\left(z\&comma;3t^2\&comma;t^3\right)+z\mathrm{WeierstrassPPrime}\left(z\&comma;3t^2\&comma;t^3\right)}{2t}\&comma;\frac{\&DifferentialD;}{\&DifferentialD;t}\mathrm{WeierstrassPPrime}\left(z\&comma;3t^2\&comma;t^3\right)=\frac{3\mathrm{WeierstrassPPrime}\left(z\&comma;3t^2\&comma;t^3\right)+z\left(6{\mathrm{WeierstrassP}\left(z\&comma;3t^2\&comma;t^3\right)}^2-\frac{3t^2}{2}\right)}{2t}\&comma;\frac{\&DifferentialD;}{\&DifferentialD;t}\mathrm{WeierstrassSigma}\left(z\&comma;3t^2\&comma;t^3\right)=-\frac{\left(-\mathrm{WeierstrassZeta}\left(z\&comma;3t^2\&comma;t^3\right)\mathrm{WeierstrassSigma}\left(z\&comma;3t^2\&comma;t^3\right)+\frac{\mathrm{WeierstrassSigma}\left(z\&comma;3t^2\&comma;t^3\right)}{z}\right)z}{2t}\&comma;\frac{\&DifferentialD;}{\&DifferentialD;t}\mathrm{WeierstrassZeta}\left(z\&comma;3t^2\&comma;t^3\right)=\frac{\mathrm{WeierstrassZeta}\left(z\&comma;3t^2\&comma;t^3\right)-z\mathrm{WeierstrassP}\left(z\&comma;3t^2\&comma;t^3\right)}{2t}\right]$

The four JacobiTheta functions can now be differentiated with respect to the second parameter.

Example

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

JacobiTheta3(z,q);

$\mathrm{JacobiTheta3}\left(z\&comma;q\right)$

Diff((27), q) = diff((27), q);

$\frac{\&DifferentialD;}{\&DifferentialD;q}\mathrm{JacobiTheta3}\left(z\&comma;q\right)=-\frac{\frac{4{\mathrm{EllipticK}\left(\mathrm{EllipticModulus}\left(q\right)\right)}^2\mathrm{JacobiTheta3}\left(z\&comma;q\right){\mathrm{JacobiZeta}\left(2\mathrm{EllipticK}\left(\mathrm{EllipticModulus}\left(q\right)\right)\left(\frac{z}{\mathrm{\pi }}+\frac{1}{2}\right)\&comma;\mathrm{EllipticModulus}\left(q\right)\right)}^2}{{\mathrm{\pi }}^2}+\frac{4{\mathrm{EllipticK}\left(\mathrm{EllipticModulus}\left(q\right)\right)}^2\mathrm{JacobiTheta3}\left(z\&comma;q\right)\left({\mathrm{JacobiDN}\left(2\mathrm{EllipticK}\left(\mathrm{EllipticModulus}\left(q\right)\right)\left(\frac{z}{\mathrm{\pi }}+\frac{1}{2}\right)\&comma;\mathrm{EllipticModulus}\left(q\right)\right)}^2-\frac{\mathrm{EllipticE}\left(\mathrm{EllipticModulus}\left(q\right)\right)}{\mathrm{EllipticK}\left(\mathrm{EllipticModulus}\left(q\right)\right)}\right)}{{\mathrm{\pi }}^2}}{4q}$

There is also a better handling with automatic simplification for derivatives when they involve both the D and diff notations together.

`@@`(D[1],3)(f)(x);

${\mathrm{D}}^{\left(3\right)}\left(f\right)\left(x\right)$

Diff((29), x) = diff((29), x);

$\frac{\&DifferentialD;}{\&DifferentialD;x}{\mathrm{D}}^{\left(3\right)}\left(f\right)\left(x\right)={\mathrm{D}}^{\left(4\right)}\left(f\right)\left(x\right)$

The functionality of convert/Sum has been extended to compute the Sum form (formal power or Laurent-Puiseux series) representing an expression expanded around a given point, and also to compute this Sum form taking the expression globally and not only converting each function inside the expression. The new algorithms map the expression, when possible, into an ordinary linear equation (see gfun[holexprtodiffeq]) and then compute formal power series solutions (see dsolve, formal_solution).  In doing so, they can also use different methods (see Slode).

This functionality is also available as convert/FormalPowerSeries.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

convert(cos(x)*exp(x), Sum);

$\sum _{\mathrm{\_k1}=0}^{\mathrm{\infty }}\left(-\frac{2x^{4\mathrm{\_k1}+3}{\left(\mathrm{-4}\right)}^{\mathrm{\_k1}}}{\left(4\mathrm{\_k1}+3\right)!}+\frac{x^{4\mathrm{\_k1}+1}{\left(\mathrm{-4}\right)}^{\mathrm{\_k1}}}{\left(4\mathrm{\_k1}+1\right)!}+\frac{x^{4\mathrm{\_k1}}{\left(\mathrm{-4}\right)}^{\mathrm{\_k1}}}{\left(4\mathrm{\_k1}\right)!}\right)$

convert(exp(arcsin(x)), Sum);

$\sum _{\mathrm{\_k1}=0}^{\mathrm{\infty }}\left(\frac{\mathrm{pochhammer}\left(-\frac{\mathrm{I}}{2}\&comma;\mathrm{\_k1}\right)\mathrm{pochhammer}\left(\frac{\mathrm{I}}{2}\&comma;\mathrm{\_k1}\right)4^{\mathrm{\_k1}}{x}^{2\mathrm{\_k1}}}{\left(2\mathrm{\_k1}\right)!}+\frac{4^{\mathrm{\_k1}}\mathrm{pochhammer}\left(\frac{1}{2}-\frac{\mathrm{I}}{2}\&comma;\mathrm{\_k1}\right)\mathrm{pochhammer}\left(\frac{1}{2}+\frac{\mathrm{I}}{2}\&comma;\mathrm{\_k1}\right)x^{2\mathrm{\_k1}+1}}{\left(2\mathrm{\_k1}+1\right)!}\right)$

convert(sqrt(1+x), FormalPowerSeries);

$1+\left(\sum _{n=0}^{\mathrm{\infty }}\frac{{\left(\mathrm{-1}\right)}^n\left(2n\right)!\left(n+1\right)4^{-n}{x}^{n+1}}{2{\left(n+1\right)!}^2}\right)$

Using optional arguments, you can specify the expansion point, the expansion variable, or the summation variable:

convert(ln(x), Sum, x=1, dummy = k);

$\sum _{k=0}^{\mathrm{\infty }}\frac{{\left(\mathrm{-1}\right)}^k{\left(x-1\right)}^{k+1}}{k+1}$

convert(Int(erf(t)/t, t=0..x), Sum, expansionvariable = x, dummy = k);

$\sum _{k=0}^{\mathrm{\infty }}\frac{2{\left(\mathrm{-1}\right)}^k{x}^{2k+1}}{{\left(2k+1\right)}^2\sqrt{\mathrm{\pi }}k!}$

The packages LREtools and SumTools have been extended. For details, see Enhanced Packages in Maple 11.

The sum command can now compute indefinite sums in the presence of unknown functions.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

The basic situation is illustrated by

Sum(u[n+1]-u[n], n);

$\sum _n\left(u_{n+1}-u_n\right)$

value((36));

$u_n$

The main idea is to split the summand into a "total difference" plus a remainder, then sum the "total difference" exactly.

Sum(u[n+2]/(u[n+1]^p)-u[n+1]/(u[n]^p), n);

$\sum _n\left(\frac{u_{n+2}}{u_{n+1}^p}-\frac{u_{n+1}}{u_n^p}\right)$

value((38));

$\frac{u_{n+1}}{u_n^p}$

Sum((n+1)^3*u[n+2]*v[n+1]^5+v[n+2]^3-n^3*u[n+1]*v[n]^5,n);

$\sum _n\left({\left(n+1\right)}^3{u}_{n+2}{v}_{n+1}^5+v_{n+2}^3-n^3{u}_{n+1}{v}_n^5\right)$

value((40));

$n^3{u}_{n+1}{v}_n^5+v_n^3+v_{n+1}^3+\left(\sum _n{v}_n^3\right)$

The routines for simplifying with respect to side relations were entirely rewritten, taking advantage of the enhanced Groebner package in Maple 11. The command also implements two new algorithms for simplifying fractions.

Maple's integer coefficient multivariate polynomial GCD computation routine has been replaced by a new routine that can compute GCD orders of magnitude faster than the prior implementation.

The new algorithm is Zippel-based, and is the LINZIP algorithm described in chapter 6 of the PhD. Thesis of Allan Wittkopf.

In the context of mod, the functions Content, Expand, Gcd, Gcdex, Normal, Quo, Prem, Primpart, Rem, Resultant, and Sqrfree can now handle inputs containing more than one RootOf object:

f := Expand((x+RootOf(_Z^2+2))*(x+1)) mod 11;

$f≔x+x^2+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x$

g := Expand((x+RootOf(_Z^2+3))*(x+1)) mod 11;

$g≔x+x^2+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)x$

Gcd(f, g) mod 11;

$1+x$

h := Expand(f*g) mod 11;

$h≔x^2+2x^3+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)x+2\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)x^2+x^4+x^3\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x+2\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x^2+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)+2\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)x+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x^3+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x^2\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)$

Sqrfree(h) mod 11;

$\left[1\&comma;\left[\left[x^2+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)x+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)x+\mathrm{RootOf}\left({\mathrm{\_Z}}^2+2\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^2+3\right)\&comma;1\right]\&comma;\left[1+x\&comma;2\right]\right]\right]$

The packages Groebner, PolynomialIdeals, and RegularChains have been enhanced and made more efficient. For details, see Enhanced Packages in Maple 11 and Efficiency Improvements in Maple 11.

The network of conversions between mathematical functions has been enhanced with a number of new global conversions for trigonometric functions, their inverses and logarithms. New optional arguments were implemented for all the conversions handled in the network.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

New conversions:

ln(z);

$\ln \left(z\right)$

(47) = convert((47), arcsin);

$\ln \left(z\right)=\frac{\sqrt{-z^2}\sqrt{\frac{z-1}{z+1}}\sqrt{\frac{z+1}{z-1}}\left(\arcsin \left(\frac{z^2+1}{2z}\right)-\frac{\mathrm{\pi }}{2}\right)}{z}+\mathrm{I}\mathrm{\pi }\left(1-\frac{\sqrt{-z-1}\sqrt{z}}{\sqrt{-z}\sqrt{z+1}}\right)$

(47) = convert((47), arccot);

$\ln \left(z\right)=\mathrm{-I}\left(2\mathrm{arccot}\left(\frac{\mathrm{I}\left(1-z\right)}{z+1}\right)+\mathrm{\pi }\left(-2+\sqrt{z+1}\sqrt{\frac{1}{z+1}}\right)\right)$

(cosh(x)-sinh(x))^2/sinh(x)^2;

$\frac{{\left(\cosh \left(x\right)-\sinh \left(x\right)\right)}^2}{{\sinh \left(x\right)}^2}$

(50) = convert((50), coth);

$\frac{{\left(\cosh \left(x\right)-\sinh \left(x\right)\right)}^2}{{\sinh \left(x\right)}^2}={\left(\coth \left(x\right)-1\right)}^2$

polar(a,x);

$\mathrm{polar}\left(a\&comma;x\right)$

(52) = convert((52), sin);

$\mathrm{polar}\left(a\&comma;x\right)=a\left(\sin \left(x+\frac{\mathrm{\pi }}{2}\right)+\mathrm{I}\sin \left(x\right)\right)$

The command simplex[convexhull] has three new options: output=area, output=hull, and output=plot. For details, see the corresponding help page.

The new type checking command partition checks for an integer partition.

Examples

To execute the following examples, open this help page as a worksheet. In the help system, click the Open the current help page in a worksheet window icon in the toolbar.

type( [ 1, 2, 2/3 ], 'partition' ); # not a list of positive integers

$\mathrm{false}$

type( [ 1, 2, 3 ], 'partition' );

$\mathrm{true}$