|
FunctionAdvisor/definition - return the definition of a given mathematical function
|
|
Calling Sequence
|
|
FunctionAdvisor(definition, math_function)
|
|
|
Parameters
|
|
|
definition
|
-
|
literal name; 'definition'
|
|
math_function
|
-
|
Maple name of mathematical function
|
|
|
|
|
|
Description
|
|
|
•
|
The FunctionAdvisor(definition, math_function) command returns the definition of the function used by the Maple system. This definition is typically in terms of infinite sums or integrals and sometimes in terms of other simpler functions.
|
|
|
|
Examples
|
|
|
>
|
|
|
![[exp(z) = Sum(z^_k1/factorial(_k1), _k1 = 0 .. infinity), `with no restrictions on `(z)]](/support/helpjp/helpview.aspx?si=7476/file01725/math58.png)
| (1) |
|
>
|
|
|
![[arccoth(z) = (1/2)*ln(z+1)-(1/2)*ln(z-1), `with no restrictions on `(z)]](/support/helpjp/helpview.aspx?si=7476/file01725/math65.png)
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
![[Beta(x, y) = GAMMA(x)*GAMMA(y)/GAMMA(x+y), And(x::(Not(nonposint)), y::(Not(nonposint)), (x+y)::(Not(nonposint)))]](/support/helpjp/helpview.aspx?si=7476/file01725/math79.png)
| (4) |
The variables used by the FunctionAdvisor command to create the function calling sequences are local variables. Therefore, the previous example does not depend on z.
|
>
|
![depends([Beta(x, y) = GAMMA(x)*GAMMA(y)/GAMMA(x+y), And(x::(Not(nonposint)), y::(Not(nonposint)), (x+y)::(Not(nonposint)))], a), depends([Beta(x, y) = GAMMA(x)*GAMMA(y)/GAMMA(x+y), And(x::(Not(nonposint)), y::(Not(nonposint)), (x+y)::(Not(nonposint)))], z)](/support/helpjp/helpview.aspx?si=7476/file01725/math92.png)
|
|
| (5) |
To make the FunctionAdvisor command return results using global variables, pass the function call itself when requesting the function definition.
|
>
|
|
|
![[Beta(a, z) = GAMMA(a)*GAMMA(z)/GAMMA(a+z), And(a::(Not(nonposint)), z::(Not(nonposint)), (a+z)::(Not(nonposint)))]](/support/helpjp/helpview.aspx?si=7476/file01725/math108.png)
| (6) |
|
>
|
![depends([Beta(a, z) = GAMMA(a)*GAMMA(z)/GAMMA(a+z), And(a::(Not(nonposint)), z::(Not(nonposint)), (a+z)::(Not(nonposint)))], a), depends([Beta(a, z) = GAMMA(a)*GAMMA(z)/GAMMA(a+z), And(a::(Not(nonposint)), z::(Not(nonposint)), (a+z)::(Not(nonposint)))], z)](/support/helpjp/helpview.aspx?si=7476/file01725/math112.png)
|
|
| (7) |
|
>
|
|
|
|
Download Help Document
Was this information helpful?
