Advanced Math - Maple Help

All Products Maple MapleSim

Home : Support : Online Help : System : Information : Updates : Maple 2017 : Advanced Math

Advanced Math

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

assume, is, coulditbe

Logic

Other Improvements

GroupTheory

The GroupTheory package has been extended and improved in several respects for Maple 2017. Most notable are an implementation of the Burnside-Dixon-Schneider algorithm to compute the (ordinary) character table of a finite group, and the redesign of the database architecture for small groups that allows for new and more flexible search options for the SearchSmallGroups command. In addition, the NumGroups command has been improved for this release. Finally, most objects produced by the GroupTheory package now have custom context-sensitive menus available.

Improvements to the SearchSmallGroups command

You can now search for groups whose specified subgroups and quotients have a designated order, as well as a specific group ID. Previously, if you wanted to find groups whose center had order equal to 4, you would have to have specified individual searches for each of the (two) groups of order 4 separately and then manually combine the results:

$with (GroupTheory) &colon;$ $A ≔ SearchSmallGroups (order = 1 .. 20, center = [4, 1])$

$A ≔ [4, 1], [16, 6], [16, 13]$

(1.1.1)

$B ≔ SearchSmallGroups (order = 1 .. 20, center = [4, 2])$

$B ≔ [4, 2], [16, 3], [16, 4], [16, 11], [16, 12]$

(1.1.2)

$A, B$

$[4, 1], [16, 6], [16, 13], [4, 2], [16, 3], [16, 4], [16, 11], [16, 12]$

(1.1.3)

Now it is possible to simply indicate the order in a single invocation of the command:

$SearchSmallGroups (order = 1 .. 20, center = 4)$

$[4, 1], [4, 2], [16, 3], [16, 4], [16, 6], [16, 11], [16, 12], [16, 13]$

(1.1.4)

This works for all the subgroup and quotient properties that are supported by the SearchSmallGroups command.

In addition, several new properties have been added to the SearchSmallGroups command. These are: classnumber (the number of conjugacy classes), centralquotient (the order, or group ID of the quotient of the group by its center), fittingquotient (the quotient of the group by its Fitting subgroup) and frattiniquotient (the quotient of the group by its Frattini subgroup).

Computing Character Tables of Finite Groups

Maple 2017 includes a new command, CharacterTable, in the GroupTheory package to compute the ordinary character table of a finite group.

$with (GroupTheory) &colon;$ $G ≔ Alt (4)$

$G ≔ A_{4}$

(1.2.1)

$ct ≔ CharacterTable (G)$

$ct ≔ [\begin{array}{c} C & 1a & 2a & 3a & 3b \\ |C| & 1 & 3 & 4 & 4 \\ X1 & 1 & 1 & 1 & 1 \\ X2 & 1 & 1 & - \frac{1}{2} - \frac{I \sqrt{3}}{2} & - \frac{1}{2} + \frac{I \sqrt{3}}{2} \\ X3 & 1 & 1 & - \frac{1}{2} + \frac{I \sqrt{3}}{2} & - \frac{1}{2} - \frac{I \sqrt{3}}{2} \\ X4 & 3 & −1 & 0 & 0 \end{array}]$

(1.2.2)

The first line of the character table displays the class labels, while the second row indicates the size of the corresponding conjugacy class. The characters themselves occupy succeeding rows, with the value of each character on a conjugacy class in the corresponding column of the table.

Character tables are represented as Maple objects with a number of methods. For example, the CharacterDegrees command returns a list of the degrees of the irreducible characters of the group, along with their multiplicities. $CharacterDegrees (ct)$

$[[1, 3], [3, 1]]$

(1.2.3)

The Display method supports the inclusion of additional information about the character table, such as the associated (prime) power maps and the Frobenius-Schur indicator values.

$Display (ct, showpowermaps, showindicator)$

	C	1a	2a	3a	3b
	\|C\|	1	3	4	4
	$C^{2}$	1a	1a	3b	3a
	$C^{3}$	1a	2a	1a	1a
$ν_{2}$
1	$χ__1$	$1$	$1$	$1$	$1$
0	$χ__2$	$1$	$1$	$- \frac{1}{2} - \frac{I \sqrt{3}}{2}$	$- \frac{1}{2} + \frac{I \sqrt{3}}{2}$
0	$χ__3$	$1$	$1$	$- \frac{1}{2} + \frac{I \sqrt{3}}{2}$	$- \frac{1}{2} - \frac{I \sqrt{3}}{2}$
1	$χ__4$	$3$	$−1$	$0$	$0$

To access the characters themselves, use the Character command: $c2 ≔ Character (ct, 2)$

$c2 ≔ ⟨character: 1a \to 1, 2a \to 1, 3a \to - \frac{1}{2} - \frac{I \sqrt{3}}{2}, 3b \to - \frac{1}{2} + \frac{I \sqrt{3}}{2} for A_{4}⟩$

(1.2.4)

$GroupOrder (Kernel (c2))$

$4$

(1.2.5)

$Indicator (c2)$

$0$

(1.2.6)

Improvements to the NumGroups Command

The NumGroups command has been updated for Maple 2017 so that all cases for arithmetically "small" group orders of the form $p^{3} q$ , $p^{2} qr$ and $p^{2} q^{2}$ are now handled. Also, an improved algorithm for computing the number of groups of a square-free order has been implemented that allows you to compute the number of groups for much larger square-free orders than in previous releases.

>	NumGroups( 139565314102386439 ); # 16253^3 * 32507

$16263$

(1.3.1)

>	NumGroups( mul( ithprime( i ), i = 100 .. 1000 ) );

$2771340269884594676814901910875675152096737295781236722237205017714262355882880999306035200000000$

(1.3.2)

Series and Limits

The asympt and limit commands can now handle asymptotic cases of the incomplete Γ function where both arguments tend to infinity and their quotient remains finite.

$asympt (Γ (x, 2 x), x)$

$\frac{(\frac{1}{x} - \frac{2}{x^{2}} + \frac{10}{x^{3}} - \frac{82}{x^{4}} + \frac{938}{x^{5}} + O (\frac{1}{x^{6}})) 2^{x}}{{({&ExponentialE;}^{x})}^{2} {(\frac{1}{x})}^{x}}$

(2.1)

$asympt (Γ (x, x + 1), x, 3)$

$\frac{\frac{\sqrt{2} \sqrt{π} \sqrt{\frac{1}{x}}}{2} - \frac{4}{3 x} + \frac{\sqrt{2} \sqrt{π} {(\frac{1}{x})}^{\frac{3}{2}}}{24} + \frac{86}{135 x^{2}} + \frac{\sqrt{2} \sqrt{π} {(\frac{1}{x})}^{\frac{5}{2}}}{576} + O (\frac{1}{x^{3}})}{{(\frac{1}{x})}^{x} {&ExponentialE;}^{x}}$

(2.2)

$lim_{x \to \infty} (Γ (x, 1) - Γ (x))$

$0$

(2.3)

The limit command has also been enhanced for the case of limits of quotients of two bivariate analytic functions. For details, see Bivariate Limits.

Slode

The Slode package computes formal series expansions for linear ODEs. The commands FPseries, FTseries and dAlembertian_series_sol now support inhomogeneous ODEs where the right-hand side is d'Alembertian.

$ode ≔ y' (x) - y (x) = \sum_{n = 0}^{\infty} (\sum_{k = 0}^{n - 1} Γ (k + 1)) \frac{x^{n}}{n &excl;}$

$ode ≔ y' (x) - y (x) = \sum_{n = 0}^{\infty} \frac{(\sum_{k = 0}^{n - 1} Γ (k + 1)) x^{n}}{n!}$

(3.1)

$Slode :- dAlembertian_series_sol (ode, y (x))$

$(\sum_{_n = 1}^{\infty} \frac{(\prod_{_k = 1}^{_n - 1} \frac{_k + 1}{_k}) ((\sum_{_n1 = 1}^{_n - 1} \frac{_n1 (\prod_{_k = 1}^{_n1 - 1} \frac{{_k}^{2}}{{(_k + 1)}^{2}})}{_n1 + 1}) + (\sum_{_n1 = 1}^{_n - 1} \frac{_n1 (\prod_{_k = 1}^{_n1 - 1} \frac{{_k}^{2}}{{(_k + 1)}^{2}}) (\sum_{_n2 = 1}^{_n1 - 1} \frac{(_n2 + 1) (\prod_{_k = 1}^{_n2 - 1} \frac{{(_k + 1)}^{2}}{_k})}{_n2})}{_n1 + 1})) x^{_n}}{_n!}) + {_C}_{0} (\sum_{_n = 0}^{\infty} \frac{x^{_n}}{_n!})$

(3.2)

Symbolic Summation

The output format for definite sums involving binomials has been improved, so that the answer is expressed again in terms of binomials, if possible, and also more simplified.

Maple 2017

Maple 2016

$\sum_{k = 0}^{n} {(\binom{2 n}{2 k})}^{2}$

$\frac{{(−1)}^{n} (\binom{2 n}{n})}{2} + \frac{(\binom{4 n}{2 n})}{2}$

(4.1)

$\sum_{k = 0}^{n} {(\binom{2 n}{2 k})}^{2}$

$\frac{\frac{2^{2 n + \frac{5}{2}} \sqrt{2} Γ (2 n + \frac{1}{2}) n}{4} - \frac{Γ (2 n + \frac{1}{2}) 4^{n}}{2} + \frac{{(−1)}^{n} 2^{2 n + 2} {Γ (n + \frac{1}{2})}^{2} n}{2 \sqrt{π}} - \frac{{(−1)}^{n} 4^{n} {Γ (n + \frac{1}{2})}^{2}}{2 \sqrt{π}}}{Γ (n + \frac{1}{2}) Γ (n + 1) (4 n - 1)}$

(4.2)

$\sum_{k = 0}^{n} {(- 1)}^{k} (\binom{2 n}{k}) {(\binom{2 n - k}{n})}^{2} \frac{2 n + 1}{2 n + 1 + k}$

$\frac{(\binom{2 n}{n}) (\binom{4 n + 1}{n})}{(\binom{3 n + 1}{n})}$

(4.3)

$\sum_{k = 0}^{n} {(- 1)}^{k} (\binom{2 n}{k}) {(\binom{2 n - k}{n})}^{2} \frac{2 n + 1}{2 n + 1 + k}$

$\frac{64 Γ (2 n + \frac{3}{2}) {Γ (n + \frac{3}{2})}^{3} 1024^{n} 729^{- n}}{27 {(2 n + 1)}^{2} {Γ (n + \frac{4}{3})}^{2} {Γ (n + \frac{2}{3})}^{2} Γ (n + 1)}$

(4.4)

$\sum_{k = 0}^{n} (\binom{4 n + 1}{2 n - 2 k}) (\binom{n + k}{k})$

$4^{n} (\binom{3 n}{n})$

(4.5)

$\sum_{k = 0}^{n} (\binom{4 n + 1}{2 n - 2 k}) (\binom{n + k}{k})$

$\frac{\sqrt{3} Γ (n + \frac{1}{3}) Γ (n + \frac{2}{3}) 108^{n}}{2 π Γ (2 n + 1)}$

(4.6)

$\sum_{k = 0}^{n} (\binom{n}{k}) (\binom{x}{r + k})$

$(\binom{n + x}{n + r})$

(4.7)

$\sum_{k = 0}^{n} (\binom{n}{k}) (\binom{x}{r + k})$

$\frac{(\binom{x}{r}) Γ (r + 1) Γ (n + 1 + x)}{Γ (x + 1) Γ (n + 1 + r)}$

(4.8)

$\sum_{k = 0}^{n} {(- 1)}^{k} (\binom{x}{n - k}) (\binom{n + k}{k}) \frac{n - k}{(n + k) \cdot 2^{n + k}}$

$(\binom{\frac{x}{2}}{n})$

(4.9)

$\sum_{k = 0}^{n} {(- 1)}^{k} (\binom{x}{n - k}) (\binom{n + k}{k}) \frac{n - k}{(n + k) \cdot 2^{n + k}}$

$- \frac{x {(−1)}^{n} Γ (n - \frac{x}{2})}{2 Γ (1 - \frac{x}{2}) Γ (n + 1)}$

(4.10)

$\sum_{k = 0}^{2 n} \frac{{(- 1)}^{k} (\binom{2 n}{k}) (\binom{2 k}{k})}{(\binom{n + k}{k}) 2^{2 k}}$

$\frac{(\binom{6 n}{3 n})}{16^{n} (\binom{2 n}{n})}$

(4.11)

$\sum_{k = 0}^{2 n} \frac{{(- 1)}^{k} (\binom{2 n}{k}) (\binom{2 k}{k})}{(\binom{n + k}{k}) 2^{2 k}}$

$\frac{\sqrt{3} Γ (n + \frac{1}{6}) Γ (n + \frac{5}{6})}{3 Γ (n + \frac{1}{3}) Γ (n + \frac{2}{3})}$

(4.12)

Symbolic Integration

The int command now takes into account equality assumptions:

$\int_{0}^{Pi} \cos (n x) &DifferentialD; x assuming n = 0$

$π$

(5.1)

$\int^{} x^{n} &DifferentialD; x assuming n = - 1 &semi;$

$\ln (x)$

(5.2)

Some improvements were made in the Risch algorithm:

$\int^{} \sqrt{\frac{1}{u (a - u)}} (8 u^{2} + 6 u + 3) &DifferentialD; u assuming 0 < u &semi;$

$- \frac{\sqrt{\frac{1}{u (a - u)}} (a - u) u (3 a^{2} \ln (- \frac{a}{2} + u + \sqrt{- a u + u^{2}}) + 6 \sqrt{- a u + u^{2}} a + 4 \sqrt{- a u + u^{2}} u + 3 a \ln (- \frac{a}{2} + u + \sqrt{- a u + u^{2}}) + 6 \sqrt{- a u + u^{2}} + 3 \ln (- \frac{a}{2} + u + \sqrt{- a u + u^{2}}))}{\sqrt{- u (a - u)}}$

(5.3)

$\int_{0}^{\frac{1}{2}} \frac{2 \sin (u) + 2}{\sqrt{\cos (u) - u}} &DifferentialD; u$

$4 - 2 \sqrt{- 2 + 4 \cos (\frac{1}{2})}$

(5.4)

$\int_{0}^{1} \frac{z^{2} \sqrt{\cos (z) + 1}}{\sqrt{1 - \cos (z)}} &DifferentialD; z$

$- \frac{1}{3} \frac{6 I {&ExponentialE;}^{I} \ln (- {&ExponentialE;}^{I} + 1) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} + 12 I {&ExponentialE;}^{I} polylog (3, {&ExponentialE;}^{I}) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} - 6 I \ln (- {&ExponentialE;}^{I} + 1) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} - 12 I polylog (3, {&ExponentialE;}^{I}) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} + 12 ζ (3) \sqrt{- {({&ExponentialE;}^{I} - 1)}^{2} {&ExponentialE;}^{- I}} {&ExponentialE;}^{I} + 12 {&ExponentialE;}^{I} polylog (2, {&ExponentialE;}^{I}) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} + {&ExponentialE;}^{I} \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} + 12 ζ (3) \sqrt{- {({&ExponentialE;}^{I} - 1)}^{2} {&ExponentialE;}^{- I}} - 12 polylog (2, {&ExponentialE;}^{I}) \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}} - \sqrt{{({&ExponentialE;}^{I} + 1)}^{2} {&ExponentialE;}^{- I}}}{({&ExponentialE;}^{I} + 1) \sqrt{- {({&ExponentialE;}^{I} - 1)}^{2} {&ExponentialE;}^{- I}}}$

(5.5)

${\int - \frac{x^{5} {(x^{2})}^{1 / 4} \sqrt{x^{4}}}{\sqrt{- x^{2} + 1} (7 x^{2} - 5)}}^{} &DifferentialD; x$

$- \frac{2}{11319} \frac{(147 x^{4} + 354 x^{2} + 865) (x^{2} - 1) {(x^{2})}^{1 / 4} \sqrt{x^{4}}}{x^{2} \sqrt{- x^{2} + 1}} - \frac{(\frac{10180}{79233} \frac{\sqrt{x + 1} \sqrt{- 2 x + 2} \sqrt{- x} EllipticF (\sqrt{x + 1}, \frac{1}{2} \sqrt{2})}{\sqrt{x^{3} - x}} + \frac{125}{33614} \frac{\sqrt{35} \sqrt{x + 1} \sqrt{- 2 x + 2} \sqrt{- x} EllipticPi (\sqrt{x + 1}, - \frac{1}{- 1 - \frac{1}{7} \sqrt{35}}, \frac{1}{2} \sqrt{2})}{\sqrt{x^{3} - x} (- 1 - \frac{1}{7} \sqrt{35})} - \frac{125}{33614} \frac{\sqrt{35} \sqrt{x + 1} \sqrt{- 2 x + 2} \sqrt{- x} EllipticPi (\sqrt{x + 1}, - \frac{1}{- 1 + \frac{1}{7} \sqrt{35}}, \frac{1}{2} \sqrt{2})}{\sqrt{x^{3} - x} (- 1 + \frac{1}{7} \sqrt{35})}) {(x^{2})}^{1 / 4} \sqrt{x^{4}} \sqrt{(x^{2} - 1) x}}{x^{3} \sqrt{- x^{2} + 1}}$

(5.6)

$\int^{} \sqrt{x + {|x + 2|}^{2}} &DifferentialD; x$

$\frac{1}{4} (2 x + 5) \sqrt{x^{2} + 5 x + 4} - \frac{9}{8} \ln (\frac{5}{2} + x + \sqrt{x^{2} + 5 x + 4})$

(5.7)

Some improvements in definite integration:

$\int_{\frac{π}{2}}^{\ln (3) I} \csc (x) &DifferentialD; x$

$\frac{1}{2} I π - \ln (2)$

(5.8)

Integration of symbolic powers of hyperbolic functions can now be handled:

$\int^{} \cosh {(x)}^{n} &DifferentialD; x assuming posint &semi;$

$(\sum_{i = 0}^{⌈\frac{n}{2}⌉ - 1} \frac{(\prod_{j = 1}^{i} (1 + \frac{1}{n - 2 j})) {\cosh (x)}^{n - 2 i - 1}}{n}) \sinh (x) + (\prod_{j = 0}^{⌈\frac{n}{2}⌉ - 1} (1 - \frac{1}{n - 2 j})) x$

(5.9)

Improved simplification of integrals:

$simplify (\int_{a}^{b} Im (x) &DifferentialD; x) assuming a = 0, b = 2 &semi;$

$0$

(5.10)

$simplify (\int_{1}^{2} Im (x) &DifferentialD; x)$

$0$

(5.11)

Better error handling:

Error, (in IntegrationTools:-Change) no new integration variable found in transformation equation

Improvements in inttrans:

$inttrans [fouriersin] (\ln (|\frac{a^{2} + x^{2}}{b^{2} - x^{2}}|), x, y) assuming a > 0, b > 0 &semi;$

$\frac{\sqrt{2} (2 \ln (\frac{a}{b}) - {&ExponentialE;}^{- a y} Ei (a y) - {&ExponentialE;}^{a y} Ei (- a y) + 2 \cos (b y) Ci (b y) + 2 \sin (b y) Si (b y))}{\sqrt{π} y}$

(5.12)

NumberTheory

With the latest additions in Maple 2017, the NumberTheory package now completely replaces the deprecated numtheory package. It is recommended that you use the NumberTheory package instead of numtheory.

The new commands are ChineseRemainder, IthFermat, Radical and SimplestRational.

$with (NumberTheory) &colon;$

$FermatDF ≔ (n) \to DataFrame (⟨⟨seq (2 &Hat; (`2` &Hat; i) + 1, i in n)⟩ | ⟨seq (length (IthFermat (i)), i in n)⟩ | ⟨seq (IthFermat (i, output = prime), i in n)⟩ | ⟨seq (IthFermat (i, output = completelyfactored), i in n)⟩⟩, rows = [op (n)], columns = [F__n, `# of digits`, `Prime`, `Completely Factored`]) &colon;$

The following displays a data frame containing information on the first 8 Fermat numbers.

$FermatDF ([seq (0 .. 7)]) &semi;$

$[\begin{array}{c} F__n & # of digits & Prime & Completely Factored \\ 0 & 3 & 1 & true & true \\ 1 & 2^{2} + 1 & 1 & true & true \\ 2 & 2^{2^{2}} + 1 & 2 & true & true \\ 3 & 2^{2^{3}} + 1 & 3 & true & true \\ 4 & 2^{2^{4}} + 1 & 5 & true & true \\ 5 & 2^{2^{5}} + 1 & 10 & false & true \\ 6 & 2^{2^{6}} + 1 & 20 & false & true \\ 7 & 2^{2^{7}} + 1 & 39 & false & true \end{array}]$

(6.1)

assume, is, coulditbe

Better handling of multiple or complicated assumptions:

$is (b \neq 0) assuming a \neq 0, a = b^{2}$

$true$

(7.1)

$c1 ≔ a0 ∷ (RealRange (Open (0), Open (\frac{1}{4}))), x0 ∷ real, x1 ∷ (RealRange (Open (0), Open (1))), (\frac{1 - a0 - x1}{1 - x1}) ∷ real, (- a0 - x1) ∷ (RealRange (Open (- 1), \infty)), (a0 + x1) ∷ (RealRange (- \infty, Open (1))), (\frac{1 - a0 - x1}{1 - x1} - x0) ∷ (RealRange (Open (0), \infty)), (1 - a0 - x1) ∷ real, (x0 + a0 + x1) ∷ (RealRange (Open (1), \infty)) &colon;$

$Re (x0) assuming c1$

$x0$

(7.2)

$is (x0, imaginary) assuming c1$

$false$

(7.3)

$c2 ≔ a0 ∷ (RealRange (Open (0), Open (\frac{1}{4}))), x0 ∷ real, x1 ∷ (RealRange (Open (0), \infty)), (\frac{1 - a0 - x1}{1 - x1}) ∷ real, (1 - a0) ∷ real, (a0 + x1) ∷ (RealRange (- \infty, Open (1))), (\frac{1 - a0 - x1}{1 - x1} - x0) ∷ (RealRange (Open (0), \infty)), (1 - a0 - x1) ∷ real, (x0 + a0 + x1) ∷ (RealRange (Open (1), \infty)) &colon;$

$is (x1 \neq 1) assuming c2$

$true$

(7.4)

$c3 ≔ And (a1 ∷ Not (nonposint), a2 ∷ Not (nonposint), b1 ∷ Not (nonposint), b2 ∷ Not (nonposint), c ∷ Not (nonposint), (b1 - a1) ∷ Not (nonposint), (a1 - b1) ∷ Not (nonposint), (b2 - a2) ∷ Not (nonposint), (a2 - b2) ∷ Not (nonposint), (c - (a1 + a2)) ∷ Not (nonposint), (c - (b1 + a2)) ∷ Not (nonposint), (c - (a1 + b2)) ∷ Not (nonposint), (c - (b1 + b2)) ∷ Not (nonposint)) &colon;$

$is (c3) assuming c3$

$true$

(7.5)

Improved handling of SetOf:

$is (\{1, 2\} subset SetOf (&integers;))$

$true$

(7.6)

Functional properties added:

$is (\ln (|p|) < 0) assuming |p| < 1$

$true$

(7.7)

Logic added to is to take into account functional properties during simplification:

$is ({|x|}^{2} < 1) assuming |x| < 1$

$true$

(7.8)

$is (|x| < 1) assuming {|x|}^{2} < 1$

$true$

(7.9)

abs factors out positive values:

$is (|\frac{x + 5}{3}| < 1) assuming |x + 5| < 3$

$true$

(7.10)

Simplification of properties:

$`property/+` (LinearProp (4, &integers;, 0), LinearProp (- 6, &integers;, 0))$

$LinearProp (2, integer, 0)$

(7.11)

$`property/+` (LinearProp (\frac{2}{3}, &integers;, 0), RealRange (0, Open (\frac{2}{3})))$

$real$

(7.12)

Improved handling of specified RootOfs:

$c5 ≔ t2 > 0, t2 < 2 π &colon;$

$r1, r2, r3, r4 ≔ RootOf (2 z^{2} + 2 z - 1, index = 1), RootOf (2 z^{2} + 2 z - 1, index = 2), RootOf (2 z^{2} - 2 z - 1, index = 1), RootOf (2 z^{2} - 2 z - 1, index = 2) &colon;$

$is (0 < (r2 - r1) \cdot (\tan (\frac{θ}{2}) - r3) - (r3 - r4) \cdot r3)$

$false$

(7.13)

More care is taken with unspecified RootOfs. is now only returns true if the condition is true for all possible values of the RootOf. coulditbe returns true if any possible value of the RootOf returns true:

$is (RootOf ({_Z}^{3} +_Z), real)$

$false$

(7.14)

$is (I \cdot RootOf ({_Z}^{2} -_Z), real)$

$false$

(7.15)

$is (RootOf ({_Z}^{3} +_Z), imaginary)$

$true$

(7.16)

$is (I \cdot RootOf ({_Z}^{2} -_Z), imaginary)$

$true$

(7.17)

$coulditbe (RootOf ({_Z}^{3} +_Z), Non (real))$

$true$

(7.18)

Improvements when processing Non properties:

$(AndProp, OrProp) (2, Non (0))$

$2, Non (0)$

(7.19)

$is (ν < 3) assuming ν \leq 3, ν ∷ Not (&integers;)$

$true$

(7.20)

Improvements made to solving linear inequalities:

$is (j + \frac{n}{Y_{0} (4)} < 0) assuming 1 \leq j, j \leq n$

$true$

(7.21)

$is (\frac{2 L}{1 - x - y} < 1) assuming L = \frac{1}{2}, x > 0, y > 0, x + y < L$

$false$

(7.22)

Extra knowledge added regarding odd, even:

$is (x, posint) assuming x ∷ odd, x > 0$

$true$

(7.23)

$is (x, posint) assuming x ∷ even, x > 0$

$true$

(7.24)

Improvements regarding properties GaussianInteger and prime:

$is (n < 3) assuming n ∷ prime, n ∷ even$

$true$

(7.25)

$is (5 p, prime) assuming p ∷ prime$

$false$

(7.26)

$c4 ≔ a in SetOf (prime) minus \{2\} &colon;$

$is (a + 1, prime) assuming c4$

$false$

(7.27)

$is (a + 1, even) assuming c4$

$true$

(7.28)

$coulditbe (x = 7) assuming x ∷ prime, x > 5$

$true$

(7.29)

Better treatment of conditions with infinity and floats:

$is ({(.75 - t)}^{3} = \infty) assuming t ∷ RealRange (Open (0), Open (.25))$

$false$

(7.30)

More simplification of radicals inside is:

$is (- 4^{\frac{1}{2}}, &integers;)$

$true$

(7.31)

$is (3 \cdot 4^{\frac{1}{2}}, &integers;)$

$true$

(7.32)

Improved handling of assumptions involving Re and Im:

$is (a ∷ real) assuming &Im; (a) = 0$

$true$

(7.33)

$coulditbe (a ∷ real) assuming &Im; (a) > 0$

$false$

(7.34)

$&Im; (b) assuming b ∷ imaginary, &Im; (b) > - 1$

$−I b$

(7.35)

$&Im; (x) assuming &Im; (x) = 0, x ∷ real$

$0$

(7.36)

Improved normalization for LinearProp:

$LinearProp (- 1, Non (&integers;), \frac{5}{2})$

$LinearProp (1, Non (integer), \frac{1}{2})$

(7.37)

Improved handling of OrProp and Or conditions:

$is (x \leq - 1 or x \geq 1) assuming x ∷ OrProp (RealRange (- \infty, - 1), RealRange (1, \infty))$

$true$

(7.38)

$is (y \leq 0) assuming Or (Or (y < 0, y = 0), y > 0)$

$false$

(7.39)

$is (Or (x > 0, y > 0))$

$false$

(7.40)

$is (Or (b ∷ Not (nonposint), b < - 1))$

$false$

(7.41)

$is (Or (b ∷ Not (nonposint), b < 1))$

$true$

(7.42)

$is (Or (b \leq c, c \leq a, a \leq b)) assuming real$

$true$

(7.43)

More care is taken about assuming variables are real if they are involved in an inequality assumption. The assumption must be an affirmative one:

$is (a, real) assuming Not (a > b)$

$false$

(7.44)

Improved handling of nonstrict inequalities involving infinity:

$is (x + \infty \leq x + \infty) assuming x ∷ real$

$true$

(7.45)

It is now recognized that a and b may not be real in this example:

$is (a > b) assuming (a - b) ∷ RealRange (Open (0), \infty)$

$false$

(7.46)

Improved simplification of piecewise using assumptions:

$piecewise (w < 0, undefined, 0) assuming Not (w < 0) &semi;$

$0$

(7.47)

Improved handling of multiple periodic assumptions:

$c6 ≔ n ∷ &integers;, (\frac{3 n}{2}) ∷ posint &colon;$

$is (n, even) assuming c6$

$true$

(7.48)

$is (n > 1) assuming c6$

$true$

(7.49)

Improvements in signum under assumptions:

$signum (\frac{1 - a - x2}{1 - x2} - 1 + a + x2) assuming a > 0, a < 1 / 4, 0 < x2, a + x2 < 1$

$1$

(7.50)

Other miscellaneous improvements:

$coulditbe (2 π I z, posint) assuming z ∷ &integers;$

$false$

(7.51)

$is (\frac{c}{x} + I, real) assuming real$

$false$

(7.52)

$is (z = 1) assuming z ∷ posint$

$false$

(7.53)

$coulditbe (x = 0) assuming x ∷ nonnegint$

$true$

(7.54)

Logic

The new Parity command returns the Boolean expression corresponding to the parity function on a set of variables: that is, the function which is true if and only if an odd number of inputs are true.

$with (Logic) &colon;$

$Parity (true, false, true)$

$false$

(8.1)

$Parity (x xor y, y xor z, true)$

$\neg Parity (x, z)$

(8.2)

$Parity (true &dollar; 2 n - 1) assuming n ∷ posint$

$true$

(8.3)

Other Improvements

•	The content command now computes the content of all multivariate polynomials with numeric coefficients.

$content (2.0 u x + 3.5 u v, x)$

$u$

(9.1)

•	Some extra simplifications of expressions involving LambertW functions have been added:

$LW1 ≔ LambertW (- \frac{72}{13} (\ln (2) + \ln (3))) &colon; simplify (LW1 - \ln (- \frac{1}{LW1}), LambertW) &semi;$

$\ln (\frac{72 \ln (2)}{13} + \frac{72 \ln (3)}{13})$

(9.2)

$LW2 ≔ LambertW (- \frac{72}{13} (\ln (2) - \ln (3))) &colon; simplify (LW2 - \ln (- \frac{1}{LW2}), LambertW) &semi;$

$- 2 I π + \ln (\frac{72 \ln (2)}{13} - \frac{72 \ln (3)}{13})$

(9.3)

•	rationalize is more careful about not multiplying and dividing by 0:

$a ≔ \sqrt{687} &colon; b ≔ {(\frac{3}{256} + \frac{a}{768} \cdot I)}^{\frac{1}{6}} &colon; c ≔ {(9 - a \cdot I)}^{\frac{1}{6}} &colon; d ≔ \sqrt{3} &colon; e ≔ 768^{\frac{1}{6}} &colon; z ≔ \frac{1}{- 6 I a d c e^{5} b^{5} + 54 d c e^{5} b^{5} + 6 I a d c^{5} e b + 54 d c^{5} e b + 96 d \sqrt{3 I a e^{2} b^{2} c^{4} + 27 c^{4} e^{2} b^{2} + 4608 - 3 I a e^{4} b^{4} c^{2} + 27 c^{2} e^{4} b^{4}}} &colon; rationalize (z) &semi;$

$\frac{1}{23887872} 12^{2 / 3} (I 12^{2 / 3} {(9 - I \sqrt{229} \sqrt{3})}^{1 / 3} \sqrt{3} \sqrt{229} + 9 12^{2 / 3} {(9 - I \sqrt{229} \sqrt{3})}^{1 / 3} + 48 {(9 - I \sqrt{229} \sqrt{3})}^{2 / 3} - 192 12^{1 / 3})$

(9.4)

•	Efficiency has been improved for radnormal for certain examples:

$a ≔ 108 + 12 \cdot \sqrt{687} \cdot I &colon; b ≔ a^{\frac{1}{3}} &colon; c ≔ \frac{b^{2} + 48}{b} &colon; d ≔ c^{\frac{1}{4}} &colon; e ≔ 6^{\frac{1}{2}} &colon; f ≔ \sqrt{- \frac{6 \cdot (b^{2} d^{2} + 12 e \cdot b + 48 d^{2})}{b}} &colon; g ≔ \frac{e \cdot d^{2} + \frac{f}{d}}{12} &colon; x1 ≔ g^{4} + g + 1 &colon; t ≔ time () &colon; radnormal (x1) &semi; time () - t &semi;$

$0.047$

(9.5)

Maple

Maple Add-Ons

MapleSim

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim

Maple

Powerful math software that is easy to use

Maple Add-Ons

MapleSim

Advanced System Level Modeling

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim