Mathematical Functions - Maple Help

Home : Support : Online Help : System : Information : Updates : Maple 2015 : Mathematical Functions

 Mathematical Functions

Maple provides a state-of-the-art environment for algebraic and numeric computations with mathematical functions. The requirements concerning mathematical functions, however, are not just computational: typically, you also need information on identities, alternative definitions and mathematical properties in general. For these purposes Maple provides the MathematicalFunctions package and the FunctionAdvisor command, whose main goals are to provide tools for advanced computations with mathematical functions, and to make the information that the Maple system can provide more complete at each release, providing access to each piece of information through a simple interface.

 • For Maple 2015, an important amount of mathematical formulas were added to the database of the FunctionAdvisor   command.

Examples

 • The complex components:
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{argument}\right)$
 $\left[{\mathrm{arg}}{}\left({z}\right){=}{-I}{}{\mathrm{ln}}{}\left(\frac{{z}}{\left|{z}\right|}\right){,}{\mathrm{arg}}{}\left({z}\right){=}{-I}{}{\mathrm{ln}}{}\left({\mathrm{signum}}{}\left({z}\right)\right){,}{\mathrm{arg}}{}\left({z}\right){=}{\mathrm{arctan}}{}\left({\mathrm{\Im }}{}\left({z}\right){,}{\mathrm{\Re }}{}\left({z}\right)\right){,}\left[{\mathrm{arg}}{}\left({z}{}{a}\right){=}{\mathrm{arg}}{}\left({z}\right){,}{0}{<}{a}\right]{,}{\mathrm{arg}}{}\left({z}{}{a}\right){=}{\mathrm{arg}}{}\left({z}\right){+}{\mathrm{arg}}{}\left({a}\right){+}{2}{}{\mathrm{\pi }}{}⌊\frac{{1}}{{2}}{-}\frac{{\mathrm{arg}}{}\left({z}\right)}{{2}{}{\mathrm{\pi }}}{-}\frac{{\mathrm{arg}}{}\left({a}\right)}{{2}{}{\mathrm{\pi }}}⌋{,}{\mathrm{arg}}{}\left(\frac{{z}}{{a}}\right){=}{\mathrm{arg}}{}\left({z}\right){-}{\mathrm{arg}}{}\left({a}\right){+}{2}{}{\mathrm{\pi }}{}⌊\frac{{1}}{{2}}{-}\frac{{\mathrm{arg}}{}\left({z}\right)}{{2}{}{\mathrm{\pi }}}{+}\frac{{\mathrm{arg}}{}\left({a}\right)}{{2}{}{\mathrm{\pi }}}⌋{,}\left[{\mathrm{arg}}{}\left({{z}}^{{a}}\right){=}{a}{}{\mathrm{arg}}{}\left({z}\right){,}{a}{::}{\mathrm{real}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{\mathrm{\pi }}{<}{a}{}{\mathrm{arg}}{}\left({z}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{}{\mathrm{arg}}{}\left({z}\right){<}{\mathrm{\pi }}\right]{,}\left[{\mathrm{arg}}{}\left({{z}}^{{a}}\right){=}{\mathrm{arg}}{}\left({{ⅇ}}^{{I}{}{a}{}{\mathrm{arg}}{}\left({z}\right)}\right){,}{a}{::}{\mathrm{real}}\right]{,}{\mathrm{arg}}{}\left({{z}}^{{a}}\right){=}{\mathrm{arctan}}{}\left({\mathrm{sin}}{}\left({\mathrm{arctan}}{}\left({\mathrm{\Im }}{}\left({z}\right){,}{\mathrm{\Re }}{}\left({z}\right)\right){}{\mathrm{\Re }}{}\left({a}\right){+}{\mathrm{\Im }}{}\left({a}\right){}{\mathrm{ln}}{}\left(\left|{z}\right|\right)\right){,}{\mathrm{cos}}{}\left({\mathrm{arctan}}{}\left({\mathrm{\Im }}{}\left({z}\right){,}{\mathrm{\Re }}{}\left({z}\right)\right){}{\mathrm{\Re }}{}\left({a}\right){+}{\mathrm{\Im }}{}\left({a}\right){}{\mathrm{ln}}{}\left(\left|{z}\right|\right)\right)\right)\right]$ (1.1.1)
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{Re}\right)$
 $\left[{\mathrm{\Re }}{}\left({I}{}{z}\right){=}{-}{\mathrm{\Im }}{}\left({z}\right){,}{\mathrm{\Re }}{}\left({z}\right){=}\frac{{z}{}\left({1}{+}\frac{{1}}{{{ⅇ}}^{{2}{}{I}{}{\mathrm{arg}}{}\left({z}\right)}}\right)}{{2}}{,}{\mathrm{\Re }}{}\left({z}\right){=}\frac{{z}{}\left({1}{+}\frac{{1}}{{{\mathrm{signum}}{}\left({z}\right)}^{{2}}}\right)}{{2}}{,}{\mathrm{\Re }}{}\left({z}\right){=}\frac{{z}}{{2}}{+}\frac{{\left|{z}\right|}^{{2}}}{{2}{}{z}}{,}{\mathrm{\Re }}{}\left({z}\right){=}\frac{{z}}{{2}}{+}\frac{\stackrel{{&conjugate0;}}{{z}}}{{2}}{,}\left[{\mathrm{\Re }}{}\left({z}{}{a}\right){=}{a}{}{\mathrm{\Re }}{}\left({z}\right){,}{a}{::}{\mathrm{real}}\right]{,}{\mathrm{\Re }}{}\left({z}{}{a}\right){=}{\mathrm{\Re }}{}\left({z}\right){}{\mathrm{\Re }}{}\left({a}\right){-}{\mathrm{\Im }}{}\left({a}\right){}{\mathrm{\Im }}{}\left({z}\right){,}{\mathrm{\Re }}{}\left(\frac{{z}}{{a}}\right){=}\frac{{\mathrm{\Re }}{}\left({z}\right){}{\mathrm{\Re }}{}\left({a}\right){+}{\mathrm{\Im }}{}\left({a}\right){}{\mathrm{\Im }}{}\left({z}\right)}{{\left|{a}\right|}^{{2}}}{,}{\mathrm{\Re }}{}\left({{z}}^{{a}}\right){=}{\left|{z}\right|}^{{\mathrm{\Re }}{}\left({a}\right)}{}{{ⅇ}}^{{-}{\mathrm{arg}}{}\left({z}\right){}{\mathrm{\Im }}{}\left({a}\right)}{}{\mathrm{cos}}{}\left({\mathrm{arg}}{}\left({z}\right){}{\mathrm{\Re }}{}\left({a}\right){+}{\mathrm{\Im }}{}\left({a}\right){}{\mathrm{ln}}{}\left(\left|{z}\right|\right)\right)\right]$ (1.1.2)
 • The Jacobi elliptic functions:
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{JacobiAM}\right)$
 $\left[\left[{\mathrm{am}}{}\left({z}{|}{k}\right){=}{\mathrm{arccos}}{}\left({\mathrm{cn}}{}\left({z}{|}{k}\right)\right){,}{0}{<}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){<}{\mathrm{\pi }}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{\in }\left[{-1}{,}{1}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){=}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{0}{\le }{\mathrm{\Im }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{\in }\left[{-1}{,}{1}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){=}{\mathrm{\pi }}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Im }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){\le }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{\in }\left[{-1}{,}{1}\right]\right]{,}\left[{\mathrm{am}}{}\left({z}{|}{k}\right){=}{\mathrm{arcsin}}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right){,}{-}\frac{{\mathrm{\pi }}}{{2}}{<}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){<}\frac{{\mathrm{\pi }}}{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{::}{\mathrm{real}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){=}{-}\frac{{\mathrm{\pi }}}{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{0}{\le }{\mathrm{\Im }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{::}{\mathrm{real}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){=}\frac{{\mathrm{\pi }}}{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Im }}{}\left({\mathrm{am}}{}\left({z}{|}{k}\right)\right){\le }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{k}{::}{\mathrm{real}}\right]\right]$ (1.1.3)
 • A new topic, periodicity, got added:
 > $\mathrm{FunctionAdvisor}\left(\mathrm{periodicity},\mathrm{JacobiAM}\right)$
 $\left[\left[{\mathrm{am}}{}\left({2}{}{\mathbit{K}}{}\left({k}\right){}{m}{+}{z}{|}{k}\right){=}{\mathrm{am}}{}\left({z}{|}{k}\right){+}{\mathrm{\pi }}{}\left\{\begin{array}{cc}{m}& \left|{k}\right|{\le }{1}\\ \left\{\begin{array}{cc}{0}& {m}{::}{\mathrm{even}}\\ {\mathrm{signum}}{}\left({m}\right)& {\mathrm{otherwise}}\end{array}\right\& {\mathrm{otherwise}}\end{array}\right\{,}{\mathrm{And}}{}\left({m}{::}{\mathrm{integer}}\right)\right]{,}\left[{\mathrm{am}}{}\left({2}{}{I}{}{\mathbit{K}}{\prime }{}\left({k}\right){}{n}{+}{z}{|}{k}\right){=}{\left({-1}\right)}^{{n}}{}{\mathrm{am}}{}\left({z}{|}{k}\right){+}{\mathrm{\pi }}{}\left\{\begin{array}{cc}{0}& {n}{::}{\mathrm{even}}\\ {\mathrm{signum}}{}\left({\mathrm{\Re }}{}\left({z}\right)\right){}{\mathrm{signum}}{}\left({n}\right)& {\mathrm{otherwise}}\end{array}\right\{,}{\mathrm{And}}{}\left({n}{::}{\mathrm{integer}}\right)\right]\right]$ (1.1.4)
 > $\mathrm{FunctionAdvisor}\left(\mathrm{periodicity},\mathrm{JacobiCN}\right)$
 $\left[{\mathrm{cn}}{}\left({z}{+}{2}{}{\mathbit{K}}{}\left({k}\right){}{r}{+}{2}{}{I}{}{\mathbit{K}}{\prime }{}\left({k}\right){}{s}{|}{k}\right){=}{\left({-1}\right)}^{{s}{+}{r}}{}{\mathrm{cn}}{}\left({z}{|}{k}\right){,}{r}{::}{\mathrm{integer}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{s}{::}{\mathrm{integer}}\right]$ (1.1.5)
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{JacobiCN}\right)$
 $\left[{\mathrm{cn}}{}\left({z}{|}{k}\right){=}\frac{{\mathrm{\pi }}{}\left({\sum }_{{n}{=}{-}{\mathrm{\infty }}}^{{\mathrm{\infty }}}{}{\left({-1}\right)}^{{n}}{}{\mathrm{sech}}{}\left(\frac{{\mathrm{\pi }}{}{\mathbit{K}}{}\left({k}\right){}\left({n}{+}\frac{{z}}{{2}{}{\mathbit{K}}{}\left({k}\right)}\right)}{{\mathbit{K}}{\prime }{}\left({k}\right)}\right)\right)}{{2}{}\sqrt{{{k}}^{{2}}}{}{\mathbit{K}}{\prime }{}\left({k}\right)}{,}{\mathrm{cn}}{}\left({z}{+}{\mathbit{K}}{}\left({k}\right){|}{k}\right){=}{-}\frac{\sqrt{{-}{{k}}^{{2}}{+}{1}}{}{\mathrm{sn}}{}\left({z}{|}{k}\right)}{{\mathrm{dn}}{}\left({z}{|}{k}\right)}{,}{\mathrm{cn}}{}\left({z}{+}{I}{}{\mathbit{K}}{\prime }{}\left({k}\right){|}{k}\right){=}\frac{{-I}{}{\mathrm{dn}}{}\left({z}{|}{k}\right)}{\sqrt{{{k}}^{{2}}}{}{\mathrm{sn}}{}\left({z}{|}{k}\right)}{,}{\mathrm{cn}}{}\left({z}{|}\frac{{1}}{{k}}\right){=}{\mathrm{dn}}{}\left(\frac{{z}}{{k}}{|}{k}\right){,}{\mathrm{cn}}{}\left({I}{}{z}{|}{k}\right){=}\frac{{1}}{{\mathrm{cn}}{}\left({z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}{,}{\mathrm{cn}}{}\left({z}{|}{I}{}{k}\right){=}{\mathrm{dc}}{}\left({k}{}{z}{|}\sqrt{{1}{+}\frac{{1}}{{{k}}^{{2}}}}\right){,}{\mathrm{cn}}{}\left(\left({1}{+}{k}\right){}{z}{|}{2}{}\sqrt{\frac{{k}}{{\left({1}{+}{k}\right)}^{{2}}}}\right){=}\frac{{\mathrm{cn}}{}\left({z}{|}{k}\right){}{\mathrm{dn}}{}\left({z}{|}{k}\right)}{{1}{+}{k}{}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}^{{2}}}{,}{\mathrm{cn}}{}\left({z}{|}{k}\right){=}{\mathrm{nc}}{}\left({I}{}{z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right){,}{\mathrm{cn}}{}\left(\left({1}{+}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right){}{z}{|}\sqrt{\frac{{\left({1}{-}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}^{{2}}}{{\left({1}{+}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}^{{2}}}}\right){=}\frac{{1}{-}\left({1}{+}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right){}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}^{{2}}}{{\mathrm{dn}}{}\left({z}{|}{k}\right)}{,}{{\mathrm{cn}}{}\left(\frac{{z}}{{2}}{|}{k}\right)}^{{2}}{=}\frac{{\mathrm{dn}}{}\left({z}{|}{k}\right){+}{\mathrm{cn}}{}\left({z}{|}{k}\right)}{{1}{+}{\mathrm{dn}}{}\left({z}{|}{k}\right)}{,}{{\mathrm{cn}}{}\left({z}{|}{k}\right)}^{{2}}{=}{1}{-}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}^{{2}}{,}{\mathrm{cn}}{}\left({v}{+}{z}{|}{k}\right){=}\frac{{\mathrm{sn}}{}\left({z}{|}{k}\right){}{\mathrm{dn}}{}\left({z}{|}{k}\right){}{\mathrm{sn}}{}\left({v}{|}{k}\right){}{\mathrm{dn}}{}\left({v}{|}{k}\right){-}{\mathrm{cn}}{}\left({z}{|}{k}\right){}{\mathrm{cn}}{}\left({v}{|}{k}\right)}{{{k}}^{{2}}{}{{\mathrm{sn}}{}\left({v}{|}{k}\right)}^{{2}}{}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}^{{2}}{-}{1}}\right]$ (1.1.6)
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{InverseJacobiSN}\right)$
  (1.1.7)
 • The JacobiTheta functions:
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{JacobiTheta1}\right)$
 $\left[\left[{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{+}\frac{\left({2}{}{m}{+}{1}\right){}{\mathrm{\pi }}}{{2}}{,}{q}\right){=}{\left({-1}\right)}^{{m}}{}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{q}\right){,}{m}{::}{\mathrm{integer}}\right]{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}{}\left({k}\right)\right){=}{\left({{k}}^{{2}}\right)}^{{1}}{{4}}}{}{\mathrm{sn}}{}\left(\frac{{2}{}{\mathbit{K}}{}\left({k}\right){}{z}}{{\mathrm{\pi }}}{|}{k}\right){}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{q}{}\left({k}\right)\right){,}\left[{{\mathrm{\vartheta }}}_{{1}}{}\left(\frac{{z}}{{\mathrm{\tau }}}{,}{{ⅇ}}^{\frac{{-I}{}{\mathrm{\pi }}}{{\mathrm{\tau }}}}\right){=}{-I}{}\sqrt{{-I}{}{\mathrm{\tau }}}{}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{{ⅇ}}^{{I}{}{\mathrm{\pi }}{}{\mathrm{\tau }}}\right){}{\left({{ⅇ}}^{\frac{{-I}{}{\mathrm{\pi }}}{{\mathrm{\tau }}}}\right)}^{{1}}{{4}}}{}{{ⅇ}}^{\frac{{I}{}{{z}}^{{2}}}{{\mathrm{\pi }}{}{\mathrm{\tau }}}{+}\frac{{I}{}{\mathrm{\pi }}}{{4}{}{\mathrm{\tau }}}}{,}{0}{<}{\mathrm{\Im }}{}\left({\mathrm{\tau }}\right)\right]{,}{{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right)}^{{2}}{=}\frac{{{{\mathrm{\vartheta }}}_{{2}}{}\left({0}{,}{q}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{q}\right)}^{{2}}{-}{{{\mathrm{\vartheta }}}_{{3}}{}\left({0}{,}{q}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{q}\right)}^{{2}}}{{{{\mathrm{\vartheta }}}_{{4}}{}\left({0}{,}{q}\right)}^{{2}}}{,}{{{\mathrm{\vartheta }}}_{{2}}{}\left({0}{,}{q}\right)}^{{2}}{}{{\mathrm{\vartheta }}}_{{1}}{}\left({y}{+}{x}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({x}{-}{y}{,}{q}\right){=}{{{\mathrm{\vartheta }}}_{{1}}{}\left({x}{,}{q}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{2}}{}\left({y}{,}{q}\right)}^{{2}}{-}{{{\mathrm{\vartheta }}}_{{2}}{}\left({x}{,}{q}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{1}}{}\left({y}{,}{q}\right)}^{{2}}{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({2}{}{z}{,}{q}\right){=}\frac{{2}{}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{q}\right)}{{{\mathrm{\vartheta }}}_{{2}}{}\left({0}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{3}}{}\left({0}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{4}}{}\left({0}{,}{q}\right)}{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({y}{+}{x}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({x}{-}{y}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({c}{+}{d}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({c}{-}{d}{,}{q}\right){-}{{\mathrm{\vartheta }}}_{{1}}{}\left({x}{+}{c}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({-}{x}{+}{c}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({d}{+}{y}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({d}{-}{y}{,}{q}\right){+}{{\mathrm{\vartheta }}}_{{1}}{}\left({x}{+}{d}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({-}{x}{+}{d}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({y}{+}{c}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{1}}{}\left({-}{y}{+}{c}{,}{q}\right){=}{0}{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}\sqrt{{q}}\right){=}\frac{{2}{}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{q}\right)}{{{\mathrm{\vartheta }}}_{{2}}{}\left({0}{,}\sqrt{{q}}\right)}{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){=}{2}{}{{q}}^{{1}}{{4}}}{}{\mathrm{sin}}{}\left({z}\right){}\left({\prod }_{{k}{=}{1}}^{{\mathrm{\infty }}}{}\left({1}{-}{{q}}^{{2}{}{k}}\right){}\left({1}{-}{2}{}{{q}}^{{2}{}{k}}{}{\mathrm{cos}}{}\left({2}{}{z}\right){+}{{q}}^{{4}{}{k}}\right)\right){,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){=}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{-}\frac{{\mathrm{\pi }}}{{2}}{,}{q}\right){,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({q}\right)}{{2}}{-}\frac{{\mathrm{\pi }}}{{2}}{,}{q}\right){}{{q}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}{,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{q}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({q}\right)}{{2}}{,}{q}\right){}{{q}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}\right]$ (1.1.8)
 • The Weierstrass functions:
 > $\mathrm{FunctionAdvisor}\left(\mathrm{identities},\mathrm{WeierstrassP}\right)$
 $\left[{𝒫}{}\left({I}{}{z}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}{-}{𝒫}{}\left({z}{;}\mathrm{g__2}{,}{-}\mathrm{g__3}\right){,}{𝒫}{}\left({z}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}{{a}}^{{2}}{}{𝒫}{}\left({z}{}{a}{;}\frac{\mathrm{g__2}}{{{a}}^{{4}}}{,}\frac{\mathrm{g__3}}{{{a}}^{{6}}}\right){,}{𝒫}{}\left(\mathrm{z__1}{+}\mathrm{z__2}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}\frac{{\left({𝒫}{\prime }{}\left(\mathrm{z__1}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{\prime }{}\left(\mathrm{z__2}{;}\mathrm{g__2}{,}\mathrm{g__3}\right)\right)}^{{2}}}{{4}{}{\left({𝒫}{}\left(\mathrm{z__1}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{}\left(\mathrm{z__2}{;}\mathrm{g__2}{,}\mathrm{g__3}\right)\right)}^{{2}}}{-}{𝒫}{}\left(\mathrm{z__1}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{}\left(\mathrm{z__2}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){,}\left[{𝒫}{}\left(\mathrm{ω__j}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}\mathrm{e__j}{,}{j}{\in }\left[{1}{,}{2}{,}{3}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{z}}^{{3}}{-}\frac{{1}}{{4}}{}\mathrm{g__2}{}{z}{-}\frac{{1}}{{4}}{}\mathrm{g__3}{=}\left({z}{-}\mathrm{e__1}\right){}\left({z}{-}\mathrm{e__2}\right){}\left({z}{-}\mathrm{e__3}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__1}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__1}{-}\mathrm{e__3}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__3}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__3}{-}\mathrm{e__1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__2}{=}{-}\mathrm{ω__3}{-}\mathrm{ω__1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\frac{{\mathrm{g__2}}^{{3}}}{{\mathrm{g__3}}^{{2}}}{\ne }{27}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{e__1}{=}{t}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__2}{=}{3}{}{{t}}^{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{=}{{t}}^{{3}}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{g__2}{\ne }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{\ne }{0}\right)\right]{,}\left[{𝒫}{}\left({z}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}\mathrm{e__1}{+}\frac{{{\mathrm{\pi }}}^{{2}}{}{{{\mathrm{\vartheta }}}_{{3}}{}\left({0}{,}{{ⅇ}}^{\frac{{I}{}{\mathrm{\pi }}{}\mathrm{ω__3}}{\mathrm{ω__1}}}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{4}}{}\left({0}{,}{{ⅇ}}^{\frac{{I}{}{\mathrm{\pi }}{}\mathrm{ω__3}}{\mathrm{ω__1}}}\right)}^{{2}}{}{{{\mathrm{\vartheta }}}_{{2}}{}\left(\frac{{\mathrm{\pi }}{}{z}}{{2}{}\mathrm{ω__1}}{,}{{ⅇ}}^{\frac{{I}{}{\mathrm{\pi }}{}\mathrm{ω__3}}{\mathrm{ω__1}}}\right)}^{{2}}}{{4}{}{\mathrm{ω__1}}^{{2}}{}{{{\mathrm{\vartheta }}}_{{1}}{}\left(\frac{{\mathrm{\pi }}{}{z}}{{2}{}\mathrm{ω__1}}{,}{{ⅇ}}^{\frac{{I}{}{\mathrm{\pi }}{}\mathrm{ω__3}}{\mathrm{ω__1}}}\right)}^{{2}}}{,}{{z}}^{{3}}{-}\frac{{1}}{{4}}{}\mathrm{g__2}{}{z}{-}\frac{{1}}{{4}}{}\mathrm{g__3}{=}\left({z}{-}\mathrm{e__1}\right){}\left({z}{-}\mathrm{e__2}\right){}\left({z}{-}\mathrm{e__3}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__1}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__1}{-}\mathrm{e__3}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__3}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__3}{-}\mathrm{e__1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\frac{{\mathrm{g__2}}^{{3}}}{{\mathrm{g__3}}^{{2}}}{\ne }{27}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{e__1}{=}{t}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__2}{=}{3}{}{{t}}^{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{=}{{t}}^{{3}}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{g__2}{\ne }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{\ne }{0}\right)\right]{,}\left[{𝒫}{}\left({v}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{\prime }{}\left({w}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{\prime }{}\left({v}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{}\left({w}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{}\left({u}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{\prime }{}\left({w}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){+}{𝒫}{\prime }{}\left({u}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{}\left({w}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){+}{𝒫}{}\left({u}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{\prime }{}\left({v}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){-}{𝒫}{\prime }{}\left({u}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){}{𝒫}{}\left({v}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}{0}{,}{\mathrm{And}}{}\left({u}{+}{v}{+}{w}{=}{0}\right)\right]{,}\left[{{n}}^{{2}}{}{𝒫}{}\left({n}{}{z}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}{\sum }_{{j}{=}{0}}^{{n}{-}{1}}{}{\sum }_{{l}{=}{0}}^{{n}{-}{1}}{}{𝒫}{}\left({z}{+}\frac{{2}{}{j}{}\mathrm{ω__1}}{{n}}{+}\frac{{2}{}{l}{}\mathrm{ω__3}}{{n}}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){,}{{z}}^{{3}}{-}\frac{{1}}{{4}}{}\mathrm{g__2}{}{z}{-}\frac{{1}}{{4}}{}\mathrm{g__3}{=}\left({z}{-}\mathrm{e__1}\right){}\left({z}{-}\mathrm{e__2}\right){}\left({z}{-}\mathrm{e__3}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__1}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__1}{-}\mathrm{e__3}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__3}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__3}{-}\mathrm{e__1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\frac{{\mathrm{g__2}}^{{3}}}{{\mathrm{g__3}}^{{2}}}{\ne }{27}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{e__1}{=}{t}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__2}{=}{3}{}{{t}}^{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{=}{{t}}^{{3}}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{g__2}{\ne }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{\ne }{0}\right)\right]{,}\left[{𝒫}{}\left(\frac{\mathrm{ω__1}}{{2}}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}\mathrm{e__1}{+}\left(\mathrm{e__1}{-}\mathrm{e__3}\right){}{\mathrm{csgn}}{}\left(\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right){}\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}{,}{{z}}^{{3}}{-}\frac{{1}}{{4}}{}\mathrm{g__2}{}{z}{-}\frac{{1}}{{4}}{}\mathrm{g__3}{=}\left({z}{-}\mathrm{e__1}\right){}\left({z}{-}\mathrm{e__2}\right){}\left({z}{-}\mathrm{e__3}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__1}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__1}{-}\mathrm{e__3}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\frac{{\mathrm{g__2}}^{{3}}}{{\mathrm{g__3}}^{{2}}}{\ne }{27}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{e__1}{=}{t}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__2}{=}{3}{}{{t}}^{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{=}{{t}}^{{3}}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{g__2}{\ne }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{\ne }{0}\right)\right]{,}\left[{𝒫}{}\left(\frac{\mathrm{ω__3}}{{2}}{;}\mathrm{g__2}{,}\mathrm{g__3}\right){=}\mathrm{e__3}{-}\left(\mathrm{e__1}{-}\mathrm{e__3}\right){}{\mathrm{csgn}}{}\left(\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right){}\sqrt{\frac{\mathrm{e__2}{-}\mathrm{e__3}}{\mathrm{e__1}{-}\mathrm{e__3}}}{,}{{z}}^{{3}}{-}\frac{{1}}{{4}}{}\mathrm{g__2}{}{z}{-}\frac{{1}}{{4}}{}\mathrm{g__3}{=}\left({z}{-}\mathrm{e__1}\right){}\left({z}{-}\mathrm{e__2}\right){}\left({z}{-}\mathrm{e__3}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ω__3}{=}\sqrt{\frac{{{\mathbit{K}}{}\left(\sqrt{\frac{\mathrm{e__1}{-}\mathrm{e__2}}{\mathrm{e__1}{-}\mathrm{e__3}}}\right)}^{{2}}}{\mathrm{e__3}{-}\mathrm{e__1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\frac{{\mathrm{g__2}}^{{3}}}{{\mathrm{g__3}}^{{2}}}{\ne }{27}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{e__1}{=}{t}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__2}{=}{3}{}{{t}}^{{2}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{=}{{t}}^{{3}}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left(\mathrm{g__2}{\ne }{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{g__3}{\ne }{0}\right)\right]\right]$ (1.1.9)
 • New specializations for elliptic functions:
 >
 $\left[{\mathrm{sn}}{}\left({z}{|}{k}\right){=}\sqrt{{1}{-}{{\mathrm{cn}}{}\left({z}{|}{k}\right)}^{{2}}}{,}{\mathrm{And}}{}\left({0}{<}{\mathrm{\Re }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right){=}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{0}{<}{\mathrm{\Im }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right)\right]{,}\left[{\mathrm{sn}}{}\left({z}{|}{k}\right){=}{-}\sqrt{{1}{-}{{\mathrm{cn}}{}\left({z}{|}{k}\right)}^{{2}}}{,}{\mathrm{And}}{}\left({\mathrm{\Re }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right){<}{0}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Re }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right){=}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\Im }}{}\left({\mathrm{sn}}{}\left({z}{|}{k}\right)\right){<}{0}\right]$ (1.1.10)

The conversion network for mathematical functions

 • Related to the changes in FunctionAdvisor , a relevant number of new conversion routines related to elliptic functions got added to the network of relationships between mathematical functions.

Examples

 • New conversion routines in connection with these enhancements to the FunctionAdvisor.

The Jacobi elliptic functions:

 > $\mathrm{FunctionAdvisor}\left(\mathrm{jacobi}\right)$
 * Partial match of "jacobi" against topic "Jacobi_related". The 18 functions in the "Jacobi_related" class are:
 $\left[{\mathrm{JacobiAM}}{,}{\mathrm{JacobiCD}}{,}{\mathrm{JacobiCN}}{,}{\mathrm{JacobiCS}}{,}{\mathrm{JacobiDC}}{,}{\mathrm{JacobiDN}}{,}{\mathrm{JacobiDS}}{,}{\mathrm{JacobiNC}}{,}{\mathrm{JacobiND}}{,}{\mathrm{JacobiNS}}{,}{\mathrm{JacobiSC}}{,}{\mathrm{JacobiSD}}{,}{\mathrm{JacobiSN}}{,}{\mathrm{JacobiTheta1}}{,}{\mathrm{JacobiTheta2}}{,}{\mathrm{JacobiTheta3}}{,}{\mathrm{JacobiTheta4}}{,}{\mathrm{JacobiZeta}}\right]$ (2.1.1)

Apply them:

 > (2.1.1)(z,k)
 $\left[{\mathrm{am}}{}\left({z}{|}{k}\right){,}{\mathrm{cd}}{}\left({z}{|}{k}\right){,}{\mathrm{cn}}{}\left({z}{|}{k}\right){,}{\mathrm{cs}}{}\left({z}{|}{k}\right){,}{\mathrm{dc}}{}\left({z}{|}{k}\right){,}{\mathrm{dn}}{}\left({z}{|}{k}\right){,}{\mathrm{ds}}{}\left({z}{|}{k}\right){,}{\mathrm{nc}}{}\left({z}{|}{k}\right){,}{\mathrm{nd}}{}\left({z}{|}{k}\right){,}{\mathrm{ns}}{}\left({z}{|}{k}\right){,}{\mathrm{sc}}{}\left({z}{|}{k}\right){,}{\mathrm{sd}}{}\left({z}{|}{k}\right){,}{\mathrm{sn}}{}\left({z}{|}{k}\right){,}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{k}\right){,}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{k}\right){,}{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{k}\right){,}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{k}\right){,}{Z}{}\left({z}{,}{k}\right)\right]$ (2.1.2)

The elliptic Theta functions start at position 14:

 > $\left[14\right]$
 ${\mathrm{JacobiTheta1}}$ (2.1.3)

The following are relationships (conversions) between Jacobi theta functions now implemented in the library:

 >
 ${{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{k}\right){=}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{-}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right)$
 ${{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{-}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}$
 ${{\mathrm{\vartheta }}}_{{1}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}$
 ${{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{k}\right){=}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{+}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right)$
 ${{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}\left({z}{+}\frac{{\mathrm{\pi }}}{{2}}\right)}}$
 ${{\mathrm{\vartheta }}}_{{2}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{+}\frac{{\mathrm{\pi }}}{{2}}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}\left({z}{+}\frac{{\mathrm{\pi }}}{{2}}\right)}}$
 ${{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{k}\right){=}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{-}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{+}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}{}{{ⅇ}}^{{I}{}{z}}$
 ${{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{k}\right){=}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{-}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}{}{{ⅇ}}^{{I}{}{z}}$
 ${{\mathrm{\vartheta }}}_{{3}}{}\left({z}{,}{k}\right){=}{I}{}{{\mathrm{\vartheta }}}_{{4}}{}\left({z}{+}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right){}\sqrt{{k}}{}{{ⅇ}}^{{-}\frac{{\mathrm{ln}}{}\left({k}\right)}{{2}}{-}\frac{{I}{}{\mathrm{\pi }}}{{2}}}$
 ${{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{1}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}$
 ${{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{k}\right){=}\frac{{I}{}{{\mathrm{\vartheta }}}_{{2}}{}\left({z}{+}\frac{{I}{}{\mathrm{ln}}{}\left({k}\right)}{{2}}{-}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right){}{{k}}^{{1}}{{4}}}}{{{ⅇ}}^{{I}{}{z}}}$
 ${{\mathrm{\vartheta }}}_{{4}}{}\left({z}{,}{k}\right){=}{-}\frac{{{\mathrm{\vartheta }}}_{{3}}{}\left({z}{+}{I}{}{\mathrm{ln}}{}\left({k}\right){-}\frac{{\mathrm{\pi }}}{{2}}{,}{k}\right){}\sqrt{{k}}}{{{ⅇ}}^{{-}\frac{{\mathrm{ln}}{}\left({k}\right)}{{2}}{+}{2}{}{I}{}{z}}}$ (2.1.4)

The JacobiPQ elliptic functions are thirteen elliptic functions that in some sense generalize trigonometric functions and have an enormous amount of properties. There are new conversion routines for all of them. For example:

 >
 ${\mathrm{cd}}{}\left({z}{|}{k}\right){=}\frac{{I}{}{\mathrm{sn}}{}\left({z}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}{|}\frac{{I}{}{k}}{\sqrt{{-}{{k}}^{{2}}{+}{1}}}\right)}{{\mathrm{sn}}{}\left({I}{}{z}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}{|}\frac{{1}}{\sqrt{{-}{{k}}^{{2}}{+}{1}}}\right)}$
 ${\mathrm{cn}}{}\left({z}{|}{k}\right){=}\frac{{I}{}{\mathrm{sn}}{}\left({z}{|}{k}\right)}{{\mathrm{sn}}{}\left({I}{}{z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}$
 ${\mathrm{cs}}{}\left({z}{|}{k}\right){=}\frac{{I}}{{\mathrm{sn}}{}\left({I}{}{z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}$
 ${\mathrm{dc}}{}\left({z}{|}{k}\right){=}\frac{{-I}{}{\mathrm{sn}}{}\left({I}{}{z}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}{|}\frac{{1}}{\sqrt{{-}{{k}}^{{2}}{+}{1}}}\right)}{{\mathrm{sn}}{}\left({z}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}{|}\frac{{I}{}{k}}{\sqrt{{-}{{k}}^{{2}}{+}{1}}}\right)}$
 ${\mathrm{dn}}{}\left({z}{|}{k}\right){=}\frac{{I}{}{\mathrm{sn}}{}\left({k}{}{z}{|}\frac{{1}}{{k}}\right)}{{\mathrm{sn}}{}\left({I}{}{k}{}{z}{|}\frac{{I}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}}{{k}}\right)}$
 ${\mathrm{ds}}{}\left({z}{|}{k}\right){=}\frac{{I}{}{\mathrm{sn}}{}\left({k}{}{z}{|}\frac{{1}}{{k}}\right)}{{\mathrm{sn}}{}\left({I}{}{k}{}{z}{|}\frac{{I}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}}{{k}}\right){}{\mathrm{sn}}{}\left({z}{|}{k}\right)}$
 ${\mathrm{nc}}{}\left({z}{|}{k}\right){=}\frac{{-I}{}{\mathrm{sn}}{}\left({I}{}{z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}$
 ${\mathrm{nd}}{}\left({z}{|}{k}\right){=}\frac{{-I}{}{\mathrm{sn}}{}\left({I}{}{k}{}{z}{|}\frac{{I}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}}{{k}}\right)}{{\mathrm{sn}}{}\left({k}{}{z}{|}\frac{{1}}{{k}}\right)}$
 ${\mathrm{ns}}{}\left({z}{|}{k}\right){=}\frac{{1}}{{\mathrm{sn}}{}\left({z}{|}{k}\right)}$
 ${\mathrm{sc}}{}\left({z}{|}{k}\right){=}{-I}{}{\mathrm{sn}}{}\left({I}{}{z}{|}\sqrt{{-}{{k}}^{{2}}{+}{1}}\right)$
 ${\mathrm{sd}}{}\left({z}{|}{k}\right){=}\frac{{-I}{}{\mathrm{sn}}{}\left({I}{}{k}{}{z}{|}\frac{{I}{}\sqrt{{-}{{k}}^{{2}}{+}{1}}}{{k}}\right){}{\mathrm{sn}}{}\left({z}{|}{k}\right)}{{\mathrm{sn}}{}\left({k}{}{z}{|}\frac{{1}}{{k}}\right)}$
 ${\mathrm{sn}}{}\left({z}{|}{k}\right){=}{\mathrm{sn}}{}\left({z}{|}{k}\right)$ (2.1.5)

New commands in the MathematicalFunctions package

 • Seven new commands were added to the MathematicalFunctions package: · &Intersect, &Minus and &Union respectively compute the intersection, minus, and union of regions of the complex plane expressed algebraically as sets of equations and inequations. · Assume places assumptions similar to what the assume command does but without redefining the variables. Coulditbe and Is compute boolean answers (like the coulditbe and is commands respectively), but also handle a sequence of an arbitrary number of nested conditionals, which possibly include And, Or, and Not (see also convert/boolean_function to relate to and, or, and not respectively), along with the ability to test them directly on lists. · Evalf is a new command to numerically evaluate the Heun and HeunPrime mathematical functions (in Maple 2015 it is restricted to HeunC and HeunCPrime) using different approaches, including sequences of Taylor functions through paths that go around singularities.

Examples

 • The MathematicalFunctions package has 7 new commands.
 > $\mathrm{with}\left(\mathrm{MathematicalFunctions}\right)$
 $\left[{\mathrm{&Intersect}}{,}{\mathrm{&Minus}}{,}{\mathrm{&Union}}{,}{\mathrm{Assume}}{,}{\mathrm{Coulditbe}}{,}{\mathrm{Evalf}}{,}{\mathrm{Get}}{,}{\mathrm{Is}}{,}{\mathrm{SearchFunction}}{,}{\mathrm{Series}}\right]$ (3.1.1)

The new commands and &Union respectively perform the intersection, union, and minus of regions of the complex plane expressed algebraically as sets of equation and inequations.

Consider:

 >
 $\mathrm{R__1}{≔}{x}{\in }\left[{-2}{,}{\mathrm{\infty }}\right]$ (3.1.2)
 >
 $\mathrm{R__2}{≔}{x}{\in }\left[{-}{\mathrm{\infty }}{,}{5}\right]$ (3.1.3)
 > $\mathrm{R__1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&Minus\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{R__2}$
 ${5}{<}{x}{\le }{\mathrm{\infty }}$ (3.1.4)
 > $\mathrm{R__1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&Intersect\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{R__2}$
 ${-2}{\le }{x}{\le }{5}$ (3.1.5)

Using algebraic expressions to represent regions:

 >
 $\mathrm{R__3}{≔}{0}{<}{{x}}^{{2}}{+}{3}{}{x}{+}{2}$ (3.1.6)
 >
 $\mathrm{R__4}{≔}{0}{\le }{{x}}^{{2}}{-}{9}$ (3.1.7)
 >
 ${x}{<}{-2}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-1}{<}{x}$ (3.1.8)
 >
 ${x}{\le }{-3}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{3}{\le }{x}$ (3.1.9)
 >
 ${}{}\left({-3}{<}{x}{<}{-2}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{Or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{}{}\left({-1}{<}{x}{<}{3}\right)$ (3.1.10)

The set of new commands Assume, Coulditbe, and Is perform basically the same operations as the standard assume, coulditbe, and is commands but with the following differences, more convenient depending on the situation.

 • Assume uses the new Physics:-Assume command, capable of placing assumptions without redefining the variables, hence it is possible to reuse expressions entered before placing the assumptions. The result can also be reused after removing the assumptions, computing as in an extended-assuming context.

Consider:

 > $\mathrm{simplify}\left(\mathrm{arccos}\left(\mathrm{cos}\left(x\right)\right)\right)$
 ${\mathrm{arccos}}{}\left({\mathrm{cos}}{}\left({x}\right)\right)$ (3.1.11)

This expression cannot be simplified further: it is equal to x only within some restricted range of x values. You can now place the assumption,

 >
 $\left\{{x}{::}\left({0}{,}\frac{{\mathrm{\pi }}}{{2}}\right)\right\}$ (3.1.12)

and reuse the equation (3.1.11) entered before placing the assumption, hence invoke it by entering its label:

 > $\mathrm{simplify}\left(\right)$
 ${x}$ (3.1.13)
 • Coulditbe and Is permit computing the related operations with an arbitrary number of conditions to be tested, that could be nested with no restrictions, involving And and Or, and also lists.

Consider the two conditions:

 >
 $\mathrm{c__1}{≔}{b}{<}{a}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{=}{a}$ (3.1.14)
 >
 $\mathrm{c__2}{≔}{a}{<}{b}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{=}{a}$ (3.1.15)

None of them can be true, so:

 > $\mathrm{Coulditbe}\left(\mathrm{Or}\left(\mathrm{c__1},\mathrm{c__2}\right)\right)$
 ${\mathrm{false}}$ (3.1.16)

Change the second condition to be:

 >
 $\mathrm{c__3}{≔}{a}{\le }{b}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{And}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{=}{a}$ (3.1.17)

Now $\mathrm{c__3}$ can be true, therefore:

 > $\mathrm{Coulditbe}\left(\mathrm{Or}\left(\mathrm{c__1},\mathrm{c__2},\mathrm{c__3}\right)\right)$
 ${\mathrm{true}}$ (3.1.18)

Coulditbe can also receive as sequence of arguments (statements), in which case it only returns true if it would return true for each of the arguments received. In this example, two conditions cannot be true at the same time, but either of them can be true.

 >
 $\left[{a}{,}{b}{,}{c}\right]{\ne }\left[{A}{,}{B}{,}{C}\right]{,}\left[{a}{,}{b}{,}{c}\right]{=}\left[{A}{,}{B}{,}{C}\right]$ (3.1.19)
 > $\mathrm{Coulditbe}\left(\right)$
 ${\mathrm{true}}$ (3.1.20)

Add a condition that cannot be:

 >
 ${\mathrm{false}}$ (3.1.21)

Note the difference with Or:

 >
 ${\mathrm{true}}$ (3.1.22)

Note also the difference between the result (3.1.20) and the one using And:

 > $\mathrm{Coulditbe}\left(\mathrm{And}\left(\right)\right)$
 ${\mathrm{false}}$ (3.1.23)

The Is command is entirely based on Coulditbe so that $\mathrm{Is}\left(A,B,C\right)$ returns as $\mathbf{not}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{Coulditbe}\left(\mathrm{Not}\left(A\right),\mathrm{Not}\left(B\right),\mathrm{Not}\left(C\right)\right)$. This is a generalization to many arguments of the relationship between the output of the standard is and coulditbe commands.

Hence:

 > $\mathrm{Is}\left(\right)$
 ${\mathrm{false}}$ (3.1.24)
 • Evalf is a new command to numerically evaluate the Heun mathematical functions using different approaches, including sequences of Taylor functions through paths that go around singularities.
 > $\mathrm{Evalf}\left(\mathrm{HeunC}\left(1,2,3,4,5,6\right)\right)$
 HeunCZ and HeunCZPrime at Z = .500000000000-.559016994375*I using a series expansion around Z = 0       HeunCZ and HeunCZPrime at Z = 1.06250000000-.559016994375*I using a series expansion around Z = .500000000000-.559016994375*I       HeunCZ and HeunCZPrime at Z = 1.16204916259-.149352378815*I using a series expansion around Z = 1.06250000000-.559016994375*I       HeunCZ at Z = 1.200000000 using a series expansion around Z = 1.16204916259-.149352378815*I
 ${\mathrm{CPU time elapsed during evaluation: .426 seconds}}$
 ${-0.009083056536}{-}{0.004476814952}{}{I}$ (3.1.25)

Compare with the value obtained using a differential equation approach to this problem:

 > $\mathrm{Evalf}\left(\mathrm{HeunC}\left(1,2,3,4,5,6\right),\mathrm{DE}\right)$
 C using dsolve/numeric approach for 1 <= abs(z). -> computing initial conditions for C and CPrime at z = .1    HeunC at z = .1 using a series expansion around z = 0    HeunCPrime at z = .1 using a series expansion around z = 0 -> computing an extra step at z = 1.+.2*I
 ${\mathrm{CPU time elapsed during evaluation: 1.009 seconds}}$
 ${-0.009083056540}{-}{0.004476814953}{}{I}$ (3.1.26)

Perform the same computation requiring accuracy up to the value of Digits:

 > $\mathrm{Digits}$
 ${10}$ (3.1.27)
 > $\mathrm{Evalf}\left(\mathrm{HeunC}\left(1,2,3,4,5,6\right),\mathrm{withaccuracy}\right)$
 HeunCZ and HeunCZPrime at Z = .500000000000-.559016994375*I using a series expansion around Z = 0       HeunCZ and HeunCZPrime at Z = 1.06250000000-.559016994375*I using a series expansion around Z = .500000000000-.559016994375*I       HeunCZ and HeunCZPrime at Z = 1.16204916259-.149352378815*I using a series expansion around Z = 1.06250000000-.559016994375*I       HeunCZ at Z = 1.200000000 using a series expansion around Z = 1.16204916259-.149352378815*I             HeunCZ and HeunCZPrime at Z = .50000000000000000-.55901699437494740*I using a series expansion around Z = 0             HeunCZ and HeunCZPrime at Z = 1.0625000000000000-.55901699437494740*I using a series expansion around Z = .50000000000000000-.55901699437494740*I             HeunCZ and HeunCZPrime at Z = 1.1620491625867589-.14935237881501522*I using a series expansion around Z = 1.0625000000000000-.55901699437494740*I             HeunCZ at Z = 1.200000000 using a series expansion around Z = 1.1620491625867589-.14935237881501522*I -> Testing accuracy of 10 digits for HeunCZ at Z = 1.200000000 around Z = 1.162049163-.1493523788*I and Z = 1.200000000 using Digits = 15          HeunCZ at Z = 1.16204916259-.149352378815*I using a series expansion around Z = 1.06250000000-.559016994375*I             HeunCZ at Z = 1.06250000000-.559016994375*I using a series expansion around Z = .500000000000-.559016994375*I                   HeunCZ and HeunCZPrime at Z = .499999999999973874825-.559016994374970791168*I using a series expansion around Z = 0                   HeunCZ at Z = .500000000000-.559016994375*I using a series expansion around Z = .499999999999973874825-.559016994374970791168*I                   HeunCZ and HeunCZPrime at Z = .272727272727272727250-.408180805829884514696*I using a series expansion around Z = 0                   HeunCZ and HeunCZPrime at Z = .449885452775968702046-.541443395498165954360*I using a series expansion around Z = .272727272727272727250-.408180805829884514696*I                   HeunCZPrime at Z = .500000000000-.559016994375*I using a series expansion around Z = .449885452775968702046-.541443395498165954360*I             HeunCZPrime at Z = 1.06250000000-.559016994375*I using a series expansion around Z = .500000000000-.559016994375*I          HeunCZPrime at Z = 1.16204916259-.149352378815*I using a series expansion around Z = 1.06250000000-.559016994375*I <- Reached required accuracy of 10 digits for HeunCZ using Digits = 15
 ${\mathrm{CPU time elapsed during evaluation: 1.507 seconds}}$
 ${-0.009083056535}{-}{0.004476814952}{}{I}$ (3.1.28)

Options arguments of the new MathematicalFunctions Evalf command include:

 • DE to numerically evaluate using a differential equation approach
 • R = ...  to indicate the maximum value of the radius used in each Taylor series in a sequence of Taylor series.
 • Taylor to indicate the use of a Taylor series approach
 • Z to use the Z approach to numerically evaluate the confluent HeunC function
 • fdiff to use numerical differentiation to evaluate any of the five HeunPrime functions
 • to indicate the display of a plot showing the path and centers of the Taylor series used to evaluate the function
 • $\mathrm{withaccuracy}$ = ... to compute with as many accurate digits as the value of Digits
 • truncate = ... to request truncating the value returned to the indicated number of digits
 • zoom = ... to zoom within the last plot shown

Numerical evaluation of the Jacobi Amplitude

 • Full rewriting of the numerical evaluation of the Jacobi amplitude, represented in Maple by the function JacobiAM, precisely matching the definition given in the NIST Digital Library of Mathematical Functions.

Examples

 >
 >
 >
 >
 ${\mathrm{am}}{≔}{\mathrm{am}}{}\left({z}{|}{k}\right)$ (4.1.1)
 > $\mathrm{plots}:-\mathrm{display}\left(\left[\mathrm{NIST_22_16_2}\right]\right)$
 >
 >
 > $\mathrm{plots}:-\mathrm{display}\left(\left[\mathrm{NIST_22_19_1}\right]\right)$