Online Help

•

The FunctionAdvisor() command returns basic instructions for the use of the FunctionAdvisor function.

•

The FunctionAdvisor(topics) command returns the list of available FunctionAdvisor topics.

•

The FunctionAdvisor(function) command returns a summary of information related to the function function.

•

The FunctionAdvisor(Topic, function) command returns information related to the topic Topic for the function function.

•

The requirement concerning mathematical functions is not just computational. Typically, you need supporting information on definitions, identities, possible simplifications, integral forms, different types of series expansions, and mathematical properties in general. This information is in handbooks of mathematical functions like the one by Abramowitz and Stegun. You can now access this information directly from Maple, using the routines in the MathematicalFunctions package and the FunctionAdvisor command. This command is particularly useful when studying, teaching, and solving problems where mathematical function properties are relevant.

•

Using the FunctionAdvisor command, you can access mathematical language information easily that is both readable and directly usable in Maple mathematical computations. The FunctionAdvisor command provides information on the following topics.

The FunctionAdvisor command provides information on the following mathematical functions.

Like the conversion facility for mathematical functions, the FunctionAdvisor command also works with the concept of function classes and considers assumptions on the function parameters, if any. The FunctionAdvisor command provides information on the following function classes.

•

The FunctionAdvisor command can be considered to be between a help and a computational special function facility. Due to the wide range of information this command can handle and in order to facilitate its use, it includes two distinctive features:

–

If you call the FunctionAdvisor command without arguments, it returns information that you can follow until the appropriate information displays.

–

If you call the FunctionAdvisor command with a topic or function misspelled, but a match exists, it returns the information with a warning message.

So, you do not have to remember the exact Maple name of each mathematical function or the FunctionAdvisor topic. To avoid the warning messages displayed when the topic of function is misspelled, and the FunctionAdvisor verbosity in general, specify the optional argument quiet.

>

$\mathrm{FunctionAdvisor}\left(\right)$

The usage is as follows:
> FunctionAdvisor( topic, function, ... );
where 'topic' indicates the subject on which advice is required, 'function' is the name of a Maple function, and '...' represents possible additional input depending on the 'topic' chosen. To list the possible topics:
> FunctionAdvisor( topics );
A short form usage,
> FunctionAdvisor( function );
with just the name of the function is also available and displays a summary of information about the function.

>

$\mathrm{FunctionAdvisor}\left(\mathrm{topics}\right)$

The topics on which information is available are:

$\left[\mathrm{DE}\,\mathrm{analytic\_extension}\,\mathrm{asymptotic\_expansion}\,\mathrm{branch\_cuts}\,\mathrm{branch\_points}\,\mathrm{calling\_sequence}\,\mathrm{class\_members}\,\mathrm{classify\_function}\,\mathrm{definition}\,\mathrm{describe}\,\mathrm{differentiation\_rule}\,\mathrm{function\_classes}\,\mathrm{identities}\,\mathrm{integral\_form}\,\mathrm{known\_functions}\,\mathrm{periodicity}\,\mathrm{plot}\,\mathrm{relate}\,\mathrm{required\_assumptions}\,\mathrm{series}\,\mathrm{singularities}\,\mathrm{special\_values}\,\mathrm{specialize}\,\mathrm{sum\_form}\,\mathrm{symmetries}\,\mathrm{synonyms}\,\mathrm{table}\right]$

(1)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{function\_classes}\,\mathrm{quiet}\right)$

$\left[\mathrm{trig}\,\mathrm{trigh}\,\mathrm{arctrig}\,\mathrm{arctrigh}\,\mathrm{elementary}\,\mathrm{GAMMA\_related}\,\mathrm{Psi\_related}\,\mathrm{Kelvin}\,\mathrm{Airy}\,\mathrm{Hankel}\,\mathrm{Bessel\_related}\,\mathrm{0F1}\,\mathrm{orthogonal\_polynomials}\,\mathrm{Ei\_related}\,\mathrm{erf\_related}\,\mathrm{Kummer}\,\mathrm{Whittaker}\,\mathrm{Cylinder}\,\mathrm{1F1}\,\mathrm{Elliptic\_related}\,\mathrm{Legendre}\,\mathrm{Chebyshev}\,\mathrm{2F1}\,\mathrm{Lommel}\,\mathrm{Struve\_related}\,\mathrm{hypergeometric}\,\mathrm{Jacobi\_related}\,\mathrm{InverseJacobi\_related}\,\mathrm{Elliptic\_doubly\_periodic}\,\mathrm{Weierstrass\_related}\,\mathrm{Zeta\_related}\,\mathrm{complex\_components}\,\mathrm{piecewise\_related}\,\mathrm{Other}\,\mathrm{Bell}\,\mathrm{Heun}\,\mathrm{Appell}\,\mathrm{trigall}\,\mathrm{arctrigall}\,\mathrm{Polylog\_related}\,\mathrm{integral\_transforms}\right]$

(2)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{bess}\right)$

* Partial match of "bess" against topic "Bessel_related".
The 14 functions in the "Bessel_related" class are:

$\left[\mathrm{AiryAi}\,\mathrm{AiryBi}\,\mathrm{BesselI}\,\mathrm{BesselJ}\,\mathrm{BesselK}\,\mathrm{BesselY}\,\mathrm{HankelH1}\,\mathrm{HankelH2}\,\mathrm{KelvinBei}\,\mathrm{KelvinBer}\,\mathrm{KelvinHei}\,\mathrm{KelvinHer}\,\mathrm{KelvinKei}\,\mathrm{KelvinKer}\right]$

(3)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{describe}\,\mathrm{BesselK}\right)$

$\mathrm{BesselK}=\mathrm{Modified\; Bessel\; function\; of\; the\; second\; kind}$

(4)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{sum\_form}\,\tan \right)$

$\left[\tan \left(z\right)=\sum _{\mathrm{\_k1}=0}^{\mathrm{\infty }}\frac{8z}{{\left(2\mathrm{\_k1}+1\right)}^2{\mathrm{\pi }}^2-4z^2}\right],\left[\tan \left(z\right)=\sum _{\mathrm{\_k1}=1}^{\mathrm{\infty }}\frac{\mathrm{bernoulli}\left(2\mathrm{\_k1}\right){\left(\mathrm{-1}\right)}^{\mathrm{\_k1}}{z}^{-1+2\mathrm{\_k1}}\left(4^{\mathrm{\_k1}}-{16}^{\mathrm{\_k1}}\right)}{\mathrm{\Gamma }\left(2\mathrm{\_k1}+1\right)}\&comma;\left|z\right|<\frac{\mathrm{\pi }}{2}\right]$

(5)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{integral\_form}\&comma;\mathrm{{\rm B}}\right)$

$\left[\mathrm{{\rm B}}\left(x\&comma;y\right)={\int }_0^1{\mathrm{\_k1}}^{x-1}{\left(1-\mathrm{\_k1}\right)}^{y-1}\&DifferentialD;\mathrm{\_k1}\&comma;0<\mathrm{\Re }\left(x\right)\wedge 0<\mathrm{\Re }\left(y\right)\right]$

(6)

>

$\mathrm{sp\_eq}≔\mathrm{FunctionAdvisor}\left(\mathrm{specialize}\&comma;\mathrm{HermiteH}\&comma;\mathrm{KummerU}\right)$

$\mathrm{sp\_eq}≔\left[\mathrm{HermiteH}\left(a\&comma;z\right)=2^a\mathrm{KummerU}\left(-\frac{a}{2}\&comma;\frac{1}{2}\&comma;z^2\right)\&comma;0<\mathrm{\Re }\left(z\right)\vee \left(\mathrm{\Re }\left(z\right)=0\wedge 0<\mathrm{\Im }\left(z\right)\right)\right]$

(7)

>

$\mathrm{has}\left(\left[\mathrm{sp\_eq}\right]\&comma;\left\{a\&comma;z\right\}\right)$

$\mathrm{false}$

(8)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{syntax}\&comma;\mathrm{EllipticF}\right)$

$\mathrm{EllipticF}\left(z\&comma;k\right)$

(9)

>

$\mathrm{EF\_and\_DE}≔\mathrm{FunctionAdvisor}\left(\mathrm{DE}\&comma;\mathrm{EllipticF}\left(z\&comma;k\right)\right)$

$\mathrm{EF\_and\_DE}≔\left[f\left(z\&comma;k\right)=\mathrm{EllipticF}\left(z\&comma;k\right)\&comma;\left[\frac{{\partial }^2}{\partial k^2}f\left(z\&comma;k\right)=\frac{\left(-1-3k^4{z}^2+\left(z^2+3\right)k^2\right)\left(\frac{\partial }{\partial k}f\left(z\&comma;k\right)\right)}{k^5{z}^2+\left(-z^2-1\right)k^3+k}+\frac{\left(z^3-z\right)\left(\frac{\partial }{\partial z}f\left(z\&comma;k\right)\right)}{\left(k^4-k^2\right)z^2-k^2+1}+\frac{\left(-k^2{z}^2+1\right)f\left(z\&comma;k\right)}{k^4{z}^2-k^2{z}^2-k^2+1}\&comma;\frac{{\partial }^2}{\partial k\partial z}f\left(z\&comma;k\right)=-\frac{\left(\frac{\partial }{\partial z}f\left(z\&comma;k\right)\right)k{z}^2}{k^2{z}^2-1}\&comma;\frac{{\partial }^2}{\partial z^2}f\left(z\&comma;k\right)=\frac{\left(-2k^2{z}^3+\left(k^2+1\right)z\right)\left(\frac{\partial }{\partial z}f\left(z\&comma;k\right)\right)}{1+k^2{z}^4+\left(-k^2-1\right)z^2}\right]\right]$

(10)

>

$\mathrm{map2}\left(\mathrm{has}\&comma;\left[\mathrm{EF\_and\_DE}\right]\&comma;\left[z\&comma;k\right]\right)$

$\left[\mathrm{true}\&comma;\mathrm{true}\right]$

(11)

>

$\mathrm{pdetest}\left(\mathrm{EF\_and\_DE}\left[1\right]\&comma;\mathrm{EF\_and\_DE}\left[2\right]\right)$

$\left[0\&comma;0\&comma;0\right]$

(12)

>

$\mathrm{EF\_and\_DE}\left[1\right]$

$f\left(z\&comma;k\right)=\mathrm{EllipticF}\left(z\&comma;k\right)$

(13)

>

$\mathrm{convert}\left(\mathrm{EF\_and\_DE}\left[1\right]\&comma;\mathrm{Int}\right)$

$f\left(z\&comma;k\right)={\int }_0^z\frac{1}{\sqrt{-{\mathrm{\_\&alpha;1}}^2+1}\sqrt{-k^2{\mathrm{\_\&alpha;1}}^2+1}}\&DifferentialD;\mathrm{\_\&alpha;1}$

(14)

>

$\mathrm{FunctionAdvisor}\left(\mathrm{arccot}\&comma;\mathrm{quiet}\right)\&colon;$

>

$\mathrm{elementary\_functions}≔\mathrm{FunctionAdvisor}\left(\mathrm{elementary}\right)$

The 26 functions in the "elementary" class are:

$\mathrm{elementary\_functions}≔\left[\arccos \&comma;\mathrm{arccosh}\&comma;\mathrm{arccot}\&comma;\mathrm{arccoth}\&comma;\mathrm{arccsc}\&comma;\mathrm{arccsch}\&comma;\mathrm{arcsec}\&comma;\mathrm{arcsech}\&comma;\arcsin \&comma;\mathrm{arcsinh}\&comma;\arctan \&comma;\mathrm{arctanh}\&comma;\cos \&comma;\cosh \&comma;\cot \&comma;\coth \&comma;\csc \&comma;\mathrm{csch}\&comma;\exp \&comma;\ln \&comma;\sec \&comma;\mathrm{sech}\&comma;\sin \&comma;\sinh \&comma;\tan \&comma;\tanh \right]$

(15)

>

$\mathrm{map2}\left(\mathrm{FunctionAdvisor}\&comma;\mathrm{relate}\&comma;\mathrm{elementary\_functions}\&comma;\mathrm{hypergeom}\right)$

$\left[\arccos \left(z\right)=\frac{\mathrm{\pi }}{2}-z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;z^2\right)\&comma;\mathrm{arccosh}\left(z\right)=\frac{\sqrt{-{\left(-1+z\right)}^2}\left(z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;z^2\right)-\frac{\mathrm{\pi }}{2}\right)}{-1+z}\&comma;\mathrm{arccot}\left(z\right)=\frac{\mathrm{\pi }}{2}-z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;1\right]\&comma;\left[\frac{3}{2}\right]\&comma;-z^2\right)\&comma;\mathrm{arccoth}\left(z\right)=z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;1\right]\&comma;\left[\frac{3}{2}\right]\&comma;z^2\right)+\frac{\mathrm{\pi }\sqrt{-{\left(z-1\right)}^2}}{2\left(z-1\right)}\&comma;\mathrm{arccsc}\left(z\right)=\frac{\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{1}{z^2}\right)}{z}\&comma;\mathrm{arccsch}\left(z\right)=\frac{\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{1}{z^2}\right)}{z}\&comma;\mathrm{arcsec}\left(z\right)=\frac{\mathrm{\pi }}{2}-\frac{\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{1}{z^2}\right)}{z}\&comma;\mathrm{arcsech}\left(z\right)=\frac{\sqrt{-\frac{{\left(z-1\right)}^2}{z^2}}\left(z\mathrm{\pi }-2\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{1}{z^2}\right)\right)}{2\left(z-1\right)}\&comma;\arcsin \left(z\right)=z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;z^2\right)\&comma;\mathrm{arcsinh}\left(z\right)=z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;\frac{1}{2}\right]\&comma;\left[\frac{3}{2}\right]\&comma;-z^2\right)\&comma;\arctan \left(z\right)=z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;1\right]\&comma;\left[\frac{3}{2}\right]\&comma;-z^2\right)\&comma;\mathrm{arctanh}\left(z\right)=z\mathrm{hypergeom}\left(\left[\frac{1}{2}\&comma;1\right]\&comma;\left[\frac{3}{2}\right]\&comma;z^2\right)\&comma;\cos \left(z\right)=\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;-\frac{z^2}{4}\right)\&comma;\cosh \left(z\right)=\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;\frac{z^2}{4}\right)\&comma;\cot \left(z\right)=\frac{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;-\frac{z^2}{4}\right)}{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{z^2}{4}\right)}\&comma;\coth \left(z\right)=\frac{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;\frac{z^2}{4}\right)}{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{z^2}{4}\right)}\&comma;\csc \left(z\right)=\frac{1}{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{z^2}{4}\right)}\&comma;\mathrm{csch}\left(z\right)=\frac{1}{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{z^2}{4}\right)}\&comma;{\&ExponentialE;}^z=\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;z\right)\&comma;\ln \left(z\right)=\left(z-1\right)\mathrm{hypergeom}\left(\left[1\&comma;1\right]\&comma;\left[2\right]\&comma;-z+1\right)\&comma;\sec \left(z\right)=\frac{1}{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;-\frac{z^2}{4}\right)}\&comma;\mathrm{sech}\left(z\right)=\frac{1}{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;\frac{z^2}{4}\right)}\&comma;\sin \left(z\right)=z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{z^2}{4}\right)\&comma;\sinh \left(z\right)=z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{z^2}{4}\right)\&comma;\tan \left(z\right)=\frac{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{z^2}{4}\right)}{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;-\frac{z^2}{4}\right)}\&comma;\tanh \left(z\right)=\frac{z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;\frac{z^2}{4}\right)}{\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{1}{2}\right]\&comma;\frac{z^2}{4}\right)}\right]$

(16)

>

$$

Cheb-Terrab, E.S. "The function wizard project: A Computer Algebra Handbook of Special Functions". Proceedings of the Maple Summer Workshop. University of Waterloo, Ontario, Canada, 2002.

•

The FunctionAdvisor command was updated in Maple 2016.