Maple Professional
Maple Academic
Maple Student Edition
Maple Personal Edition
Maple Player
Maple Player for iPad
MapleSim Professional
MapleSim Academic
Maple T.A. - Testing & Assessment
Maple T.A. MAA Placement Test Suite
Möbius - Online Courseware
Machine Design / Industrial Automation
Aerospace
Vehicle Engineering
Robotics
Power Industries
System Simulation and Analysis
Model development for HIL
Plant Modeling for Control Design
Robotics/Motion Control/Mechatronics
Other Application Areas
Mathematics Education
Engineering Education
High Schools & Two-Year Colleges
Testing & Assessment
Students
Financial Modeling
Operations Research
High Performance Computing
Physics
Live Webinars
Recorded Webinars
Upcoming Events
MaplePrimes
Maplesoft Blog
Maplesoft Membership
Maple Ambassador Program
MapleCloud
Technical Whitepapers
E-Mail Newsletters
Maple Books
Math Matters
Application Center
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
FunctionAdvisor/specialize - specialize a given mathematical function into other mathematical functions
Calling Sequence
FunctionAdvisor(specialize, math_function_1)
FunctionAdvisor(specialize, math_function_1(a, b, ..., z))
FunctionAdvisor(specialize, math_function_1, math_function_2)
FunctionAdvisor(specialize, math_function_1(a, b, ..., z), math_function_2)
Parameters
specialize
-
literal name; 'specialize'
math_function_1
(Maple) name of mathematical function to be specialized
math_function_1(a, b, ..., z)
(Maple) mathematical function to be specialized, evaluated at (a, b, ..., z)
math_function_2
(optional) name of mathematical function used to express output
Description
The FunctionAdvisor(specialize, math_function_1) command attempts to specialize this function in terms of every other mathematical function. When the function is given with parameters, as in math_function_1(a, b, ..., z), only specializations valid for those values of the parameters or particular cases of them are returned.
The FunctionAdvisor(specialize, math_function_1, math_function_2) command attempts to specialize the first function, math_function_1 in terms of the other one using Maple algorithms. When the first function is given with parameters, as in math_function_1(a, b, ..., z), only specializations valid for those values of the parameters or particular cases of them are returned. For more information, see convert/to_special_function.
Note the specialization operation typically requires additional constraints for the function parameters involved. These constraints are returned as a boolean function. If no constraints are required, this is explicitly indicated.
Examples
The specialization can be requested for particular values of some or all of the function parameters.
Note the difference between using specialize and relate (see FunctionAdvisor/relate). The former computes the required restrictions on the function parameters while the latter only returns a result when it does not require additional constraints on the parameters involved.
The following is a specialization which cannot be obtained using the relate keyword.
Knowing the possible specialization of a function is useful when trying to express functions in terms of other functions. Typically, the conversion is not possible unless restrictions on the function parameters are imposed. To perform the transformation (conversion), use the output of the FunctionAdvisor command with convert and assuming. For example, to transform as in the previous example, all KummerU functions entering an expression try the following.
The following example specializes sin into the other mathematical functions.
While the previous specializations do not require restrictions on the function parameters, if you specialize more general functions into simpler ones, restrictions are necessary. For example, for the LegendreQ function you have the following.
See Also
assuming, convert/to_special_function, FunctionAdvisor, FunctionAdvisor/relate, FunctionAdvisor/topics, sin
Download Help Document
