Maple 2018 includes numerous cutting-edge updates in a variety of branches of mathematics.

Integration

The int command has seen improvements to various methods. The following new results come from the asymptotic method:${\int }_{0}^{\mathrm{\infty }}\frac{\mathrm{sin}\left(x\right)}{{x}^{3}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx$

 ${\mathrm{\infty }}$ (1.1)

${\int }_{0}^{\mathrm{\infty }}\frac{\mathrm{cos}\left(x\right)\mathrm{cos}\left(\frac{x}{3}\right)}{{x}^{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx$

 ${\mathrm{\infty }}$ (1.2)

This new result results from an improvement in the elliptic integration code:

 $\frac{{4}}{{\mathrm{\pi }}}$ (1.3)

The next two examples are due to improvements to the Risch algorithm:

$\mathrm{normal}\left(\int \frac{\mathrm{sin}\left(x\mathrm{arctan}\left(a\right)\right){\left({a}^{2}+1\right)}^{-x}}{1+{ⅇ}^{a}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx\right)$

 ${-}\frac{{{ⅇ}}^{{-}{x}{}{\mathrm{ln}}{}\left({{a}}^{{2}}{+}{1}\right)}{}\left({-}{\mathrm{arctan}}{}\left({a}\right){}{{\mathrm{tan}}{}\left(\frac{{x}{}{\mathrm{arctan}}{}\left({a}\right)}{{2}}\right)}^{{2}}{+}{2}{}{\mathrm{ln}}{}\left({{a}}^{{2}}{+}{1}\right){}{\mathrm{tan}}{}\left(\frac{{x}{}{\mathrm{arctan}}{}\left({a}\right)}{{2}}\right){+}{\mathrm{arctan}}{}\left({a}\right)\right)}{\left({{ⅇ}}^{{a}}{}{{\mathrm{ln}}{}\left({{a}}^{{2}}{+}{1}\right)}^{{2}}{+}{{\mathrm{arctan}}{}\left({a}\right)}^{{2}}{}{{ⅇ}}^{{a}}{+}{{\mathrm{ln}}{}\left({{a}}^{{2}}{+}{1}\right)}^{{2}}{+}{{\mathrm{arctan}}{}\left({a}\right)}^{{2}}\right){}\left({1}{+}{{\mathrm{tan}}{}\left(\frac{{x}{}{\mathrm{arctan}}{}\left({a}\right)}{{2}}\right)}^{{2}}\right)}$ (1.4)

$\int \left(\left(\frac{83{\mathrm{ln}\left(u\right)}^{2}}{30}-\frac{20162\mathrm{ln}\left(u\right)}{2025}+\frac{584972}{30375}\right){u}^{5}{2}}+\left(\frac{4723{\mathrm{ln}\left(u\right)}^{2}}{1260}-\frac{3961877\mathrm{ln}\left(u\right)}{297675}+\frac{802885334}{31255875}\right){u}^{7}{2}}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆu$

 $\frac{{83}{}{{u}}^{{7}}{{2}}}{}{{\mathrm{ln}}{}\left({u}\right)}^{{2}}}{{105}}{-}\frac{{327088}{}{{u}}^{{7}}{{2}}}{}{\mathrm{ln}}{}\left({u}\right)}{{99225}}{+}\frac{{67139896}{}{{u}}^{{7}}{{2}}}}{{10418625}}{+}\frac{{4723}{}{{u}}^{{9}}{{2}}}{}{{\mathrm{ln}}{}\left({u}\right)}^{{2}}}{{5670}}{-}\frac{{8915584}{}{{u}}^{{9}}{{2}}}{}{\mathrm{ln}}{}\left({u}\right)}{{2679075}}{+}\frac{{5441402884}{}{{u}}^{{9}}{{2}}}}{{843908625}}$ (1.5)

This previously unsolved example is due to an improvement in the hyperexponential algorithm:
$\int \frac{\sqrt{\mathrm{sinh}\left(x\right)+\mathrm{cosh}\left(x\right)}}{\mathrm{sinh}\left(x\right)+1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx$

 ${-}\frac{\sqrt{{-}\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){+}{1}}{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){-}{1}}}{}\left({\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){-}{1}\right){}\left({\mathrm{arcsin}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}{\sqrt{{-}{2}{+}{2}{}\sqrt{{2}}{+}\frac{{\left({-}{2}{+}{2}{}\sqrt{{2}}\right)}^{{2}}}{{4}}}}\right){}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{}\sqrt{{2}}{-}\sqrt{{-}{2}{+}{2}{}\sqrt{{2}}}{}{\mathrm{arctanh}}{}\left(\frac{{1}{+}{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){}\sqrt{{2}}{-}{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}{\sqrt{{-}{2}{+}{2}{}\sqrt{{2}}}{}\sqrt{{-}{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}^{{2}}{+}{1}}}\right){}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{-}{\mathrm{arcsin}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}{\sqrt{{-}{2}{-}{2}{}\sqrt{{2}}{+}\frac{{\left({-}{2}{-}{2}{}\sqrt{{2}}\right)}^{{2}}}{{4}}}}\right){}\sqrt{{2}}{}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{+}{2}{}{\mathrm{arcsin}}{}\left({\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)\right){}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{+}{2}{}{\mathrm{arctan}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){}\sqrt{{2}}{+}{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){-}{1}}{\sqrt{{2}{+}{2}{}\sqrt{{2}}}{}\sqrt{{-}{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}^{{2}}{+}{1}}}\right){}\sqrt{{2}}{-}{\mathrm{arcsin}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}{\sqrt{{-}{2}{+}{2}{}\sqrt{{2}}{+}\frac{{\left({-}{2}{+}{2}{}\sqrt{{2}}\right)}^{{2}}}{{4}}}}\right){}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{-}{\mathrm{arcsin}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}{\sqrt{{-}{2}{-}{2}{}\sqrt{{2}}{+}\frac{{\left({-}{2}{-}{2}{}\sqrt{{2}}\right)}^{{2}}}{{4}}}}\right){}\sqrt{{2}{+}{2}{}\sqrt{{2}}}{+}{2}{}{\mathrm{arctan}}{}\left(\frac{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){}\sqrt{{2}}{+}{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){-}{1}}{\sqrt{{2}{+}{2}{}\sqrt{{2}}}{}\sqrt{{-}{{\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right)}^{{2}}{+}{1}}}\right)\right)}{{2}{}\sqrt{{-}\left({\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){+}{1}\right){}\left({\mathrm{tanh}}{}\left(\frac{{x}}{{2}}\right){-}{1}\right)}{}\sqrt{{2}{+}{2}{}\sqrt{{2}}}}$ (1.6)

PolynomialTools

Two new commands, Homogenize and IsHomogeneous, for performing and testing (weighted) homogenization were added to the PolynomialTools package.

$\mathrm{with}\left(\mathrm{PolynomialTools}\right):$

 ${f}{≔}{{w}}^{{5}}{+}{{w}}^{{2}}{}{x}{+}{{y}}^{{3}}{+}{w}{}{y}$ (2.1)

$\mathrm{IsHomogeneous}\left(f\right)$

 ${\mathrm{false}}$ (2.2)

$g≔\mathrm{Homogenize}\left(f,z\right)$

 ${g}{≔}{{w}}^{{5}}{+}{{w}}^{{2}}{}{x}{}{{z}}^{{2}}{+}{w}{}{y}{}{{z}}^{{3}}{+}{{y}}^{{3}}{}{{z}}^{{2}}$ (2.3)

$\mathrm{IsHomogeneous}\left(g\right)$

 ${\mathrm{true}}$ (2.4)

$\mathrm{Homogenize}\left(f,z,\left[w,x\right],\left[1,2\right]\right)$

 ${{y}}^{{3}}{}{{z}}^{{5}}{+}{w}{}{y}{}{{z}}^{{4}}{+}{{w}}^{{5}}{+}{{w}}^{{2}}{}{x}{}{z}$ (2.5)

Simplification

The simplify command has been enhanced with respect to logarithms whose arguments are constant radical expressions. Some examples:

$\mathrm{simplify}\left(\mathrm{ln}\left(1-\sqrt{2}\right)+\mathrm{ln}\left(1+\sqrt{2}\right)\right)$

 ${I}{}{\mathrm{\pi }}$ (3.1)

$\mathrm{simplify}\left(\mathrm{ln}\left(\sqrt{2+\sqrt{2}}+\sqrt{-2+\sqrt{2}}\right)\right)$

 ${\mathrm{ln}}{}\left({2}\right){+}\frac{{I}{}{\mathrm{\pi }}}{{8}}$ (3.2)

 ${24}{}{\mathrm{\pi }}{}{\mathrm{ln}}{}\left({2}\right)$ (3.3)

simplify can now recognize more trig and exp simplifications:
$\mathrm{simplify}\left(-\mathrm{cos}\left(\frac{1}{12}\mathrm{Pi}\right)+\mathrm{sin}\left(\frac{1}{12}\mathrm{Pi}\right)+\frac{1}{2}\sqrt{2}\right)$

 ${0}$ (3.4)

$\mathrm{simplify}\left(16\mathrm{sin}\left(\frac{4}{9}\mathrm{Pi}\right)-24\mathrm{sin}\left(\frac{1}{9}\mathrm{Pi}\right)-32\mathrm{sin}\left(\frac{2}{9}\mathrm{Pi}\right)+8\sqrt{3}\mathrm{cos}\left(\frac{4}{9}\mathrm{Pi}\right)+8\sqrt{3}\mathrm{cos}\left(\frac{2}{9}\mathrm{Pi}\right)\right)$

 ${0}$ (3.5)

$\mathrm{simplify}\left({ⅇ}^{\frac{I}{5}\mathrm{\pi }}\left(\frac{\sqrt{5}}{4}+\frac{1}{4}-\frac{I\sqrt{2}\sqrt{5-\sqrt{5}}}{4}\right)\right)$

 ${1}$ (3.6)

simplify now tries harder to simplify constants that appear as subexpressions:
$\mathrm{simplify}\left(\left({\left(-1\right)}^{1/5}-{\left(-1\right)}^{2/5}+{\left(-1\right)}^{3/5}-{\left(-1\right)}^{4/5}-1\right)x\right)$

 ${0}$ (3.7)

Summation

The sum command with the parametric option has been improved for the case of hypergeometric sums with more than one parameter. The following sums used to return unevaluated in Maple 2017.

 $\left\{\begin{array}{cc}{\mathrm{FAIL}}& {b}{=}{0}\\ \frac{{1}}{{b}}& {x}{=}{0}{\wedge }{b}{\ne }{0}\\ \left\{\begin{array}{cc}{\mathrm{FAIL}}& \left({1}{+}{b}\right){::}{'}{\mathrm{nonposint}}{'}\\ {\mathrm{LerchPhi}}{}\left({x}{,}{1}{,}{b}\right)& \left|{x}\right|{\le }{1}{\wedge }{x}{\ne }{1}{\wedge }\left({1}{+}{b}\right){::}\left({¬}{'}{\mathrm{nonposint}}{'}\right)\\ {\sum }_{{n}{=}{0}}^{{\mathrm{\infty }}}{}\frac{{{x}}^{{n}}}{{n}{+}{b}}& {\mathrm{otherwise}}\end{array}\right\& {x}{\ne }{0}{\wedge }{b}{\ne }{0}\end{array}\right\$ (4.1)



 $\left\{\begin{array}{cc}\frac{{1}}{{\left({1}{-}{z}\right)}^{{k}}}& {k}{::}{'}{\mathrm{nonposint}}{'}{\vee }\left(\left|{z}\right|{=}{1}{\wedge }{0}{<}{-}{\mathrm{\Re }}{}\left({k}\right)\right){\vee }\left(\left|{z}\right|{=}{1}{\wedge }{z}{\ne }{1}{\wedge }{-1}{<}{-}{\mathrm{\Re }}{}\left({k}\right){\wedge }{-}{\mathrm{\Re }}{}\left({k}\right){\le }{0}\right){\vee }\left|{z}\right|{<}{1}\\ {\sum }_{{i}{=}{0}}^{{\mathrm{\infty }}}{}\left(\genfrac{}{}{0}{}{{i}{+}{k}{-}{1}}{{i}}\right){}{{z}}^{{i}}& {\mathrm{otherwise}}\end{array}\right\$ (4.2)

$\mathrm{sum}\left(\left(k+a\right){z}^{k},k=0..\mathrm{\infty },\mathrm{parametric}\right)$

 $\left\{\begin{array}{cc}\frac{{-}{a}{}{z}{+}{a}{+}{z}}{{\left({z}{-}{1}\right)}^{{2}}}& \left|{z}\right|{<}{1}\\ {\sum }_{{k}{=}{0}}^{{\mathrm{\infty }}}{}\left({k}{+}{a}\right){}{{z}}^{{k}}& {\mathrm{otherwise}}\end{array}\right\$ (4.3)

Sturm Sequences

The commands sturm and sturmseq have been extended to support polynomials with real algebraic number coefficients.

 ${f}{≔}{{x}}^{{3}}{+}{{x}}^{{2}}{}\sqrt{{2}}{+}{{x}}^{{2}}{+}\sqrt{{2}}{}{x}{-}{4}{}{x}{-}{4}$ (5.1)

$s≔\mathrm{sturmseq}\left(f,x\right)$

 ${s}{≔}\left[{{x}}^{{3}}{+}{{x}}^{{2}}{}\sqrt{{2}}{+}{{x}}^{{2}}{+}\sqrt{{2}}{}{x}{-}{4}{}{x}{-}{4}{,}{{x}}^{{2}}{+}\frac{{2}{}\sqrt{{2}}{}{x}}{{3}}{+}\frac{{2}{}{x}}{{3}}{+}\frac{\sqrt{{2}}}{{3}}{-}\frac{{4}}{{3}}{,}{x}{+}\frac{{252}}{{223}}{-}\frac{{11}{}\sqrt{{2}}}{{446}}{,}{1}\right]$ (5.2)

$\mathrm{sturm}\left(s,x=-\infty ..0\right)$

 ${2}$ (5.3)

$\mathrm{sturm}\left(s,x=0..5\right)$

 ${1}$ (5.4)





signum

The signum command has had various improvements made. The following examples previously returned with unevaluated signum calls:

 $\left[{\left({-1}\right)}^{{x}}{,}{{I}}^{{x}}\right]$ (6.1)

 $\left[{1}{,}{I}\right]$ (6.2)

 $\left[{-1}{,}{-I}\right]$ (6.3)

$\mathrm{signum}\left(\sqrt{-\frac{6\left(\sqrt{\frac{{\left(108+12I\sqrt{687}\right)}^{2/3}+48}{{\left(108+12I\sqrt{687}\right)}^{1/3}}}{\left(108+12I\sqrt{687}\right)}^{2/3}+12\sqrt{6}{\left(108+12I\sqrt{687}\right)}^{1/3}+48\sqrt{\frac{{\left(108+12I\sqrt{687}\right)}^{2/3}+48}{{\left(108+12I\sqrt{687}\right)}^{1/3}}}\right)}{{\left(108+12I\sqrt{687}\right)}^{1/3}\sqrt{\frac{{\left(108+12I\sqrt{687}\right)}^{2/3}+48}{{\left(108+12I\sqrt{687}\right)}^{1/3}}}}}\right)$

 ${I}$ (6.4)

is, coulditbe

The is and coulditbe commands have had various improvements made. is performs more simplification than it did previously:

$\mathrm{is}\left(ⅇ{ⅇ}^{-1},\mathrm{integer}\right)$

 ${\mathrm{true}}$ (7.1)

 ${\mathrm{true}}$ (7.2)

and takes into account more function properties:

 ${\mathrm{true}}$ (7.3)

and operation properties:

 ${\mathrm{true}}$ (7.4)

The internal solver for systems of inequalities in is and coulditbe has been improved:

 $\left[{\mathrm{false}}{,}{\mathrm{true}}\right]$ (7.5)



Re, Im

The Re and Im commands have had various improvements made. The following examples previously returned with unevaluated Re and Im calls:

 ${-I}{}{\mathrm{z1}}$ (8.1)

$\left[\mathrm{\Re },\mathrm{\Im }\right]\left(I\Gamma \left(\frac{3}{2}-\frac{1}{2}I\sqrt{3}\right)\Gamma \left(\frac{3}{2}+\frac{1}{2}I\sqrt{3}\right)\right)$

 $\left[{0}{,}{\mathrm{\Gamma }}{}\left(\frac{{3}}{{2}}{-}\frac{{I}{}\sqrt{{3}}}{{2}}\right){}{\mathrm{\Gamma }}{}\left(\frac{{3}}{{2}}{+}\frac{{I}{}\sqrt{{3}}}{{2}}\right)\right]$ (8.2)

max, min

In some cases, the max and min commands can now recognize numbers as real even though they are composed from nonreal ingredients:

$\mathrm{max}\left(1,\frac{1}{2}{\left(-4+4I\sqrt{3}\right)}^{1/3}+\frac{2}{{\left(-4+4I\sqrt{3}\right)}^{1/3}}\right)$

 $\frac{{\left({-}{4}{+}{4}{}{I}{}\sqrt{{3}}\right)}^{{1}}{{3}}}}{{2}}{+}\frac{{2}}{{\left({-}{4}{+}{4}{}{I}{}\sqrt{{3}}\right)}^{{1}}{{3}}}}$ (9.1)

$\mathrm{evalc}\left(%\right)$

 ${2}{}{\mathrm{cos}}{}\left(\frac{{2}{}{\mathrm{\pi }}}{{9}}\right)$ (9.2)

 ${1.532088886}$ (9.3)

arctan

The arctan command now performs some more automatic simplifications:

 ${-}\frac{{\mathrm{arctan}}{}\left(\frac{{a}}{{b}}\right)}{{2}}{+}\frac{{\mathrm{\pi }}}{{2}}$ (10.1)

 ${-}\frac{{\mathrm{arctan}}{}\left(\frac{{1}}{{t}}\right)}{{2}}{+}\frac{{\mathrm{\pi }}}{{2}}$ (10.2)

$\mathrm{arctan}\left(\frac{-1+\sqrt{{z}^{2}+1}}{z}\right)$

 $\frac{{\mathrm{arctan}}{}\left({z}\right)}{{2}}$ (10.3)

Furthermore, combine performs more simplifications on arctan functions:
$\mathrm{combine}\left(\mathrm{arctan}\left(\frac{1}{z}\right)+\mathrm{arctan}\left(z\right)\right)$

 $\frac{{\mathrm{csgn}}{}\left(\frac{{{z}}^{{2}}{+}{1}}{{z}}\right){}{\mathrm{\pi }}}{{2}}$ (10.4)

 ${-}\frac{{1}}{{2}}$ (10.5)

SMTLIB

The SMTLIB package has been extended to support satisfiability queries on Boolean combinations of polynomial equations and inequalities.

Consider the following description of a set:

$\mathrm{sys}≔\left(0\le {y}^{2}+x\wedge \frac{2x}{3}-3<2y\wedge y<\frac{x}{3}+1\right)\vee \left(1We can use first use SMTLIB[Satisfiable] to verify that a solution exists:
$\mathrm{SMTLIB}\left[\mathrm{Satisfiable}\right]\left(\mathrm{sys}\right)$

 ${\mathrm{true}}$ (11.1)

In this simple two-dimensional case, we can use plots[inequal] to visualize the solution space:

$\mathrm{with}\left(\mathrm{plots}\right):$

The new command SMTLIB[Satisfy] offers an efficient method of finding a concrete example for a point in the solution space:
$\mathrm{SMTLIB}\left[\mathrm{Satisfy}\right]\left(\mathrm{sys}\right)$

 $\left\{{x}{=}{6}{,}{y}{=}{217}\right\}$ (11.2)

To produce a satisfying point within the visual bounds of the plot above, we can simply augment our system with a bounding rectangle:

 $\left\{{x}{=}{-4}{,}{y}{=}{-4}\right\}$ (11.3)