FullSimplify
Usage Message:
Mathematica 4.0
FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds. FullSimplify[expr, assum] does simplification using assumptions.
Mathematica 3.0
FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds.
Attributes[FullSimplify] = {Protected} Options: ComplexityFunction
-> Automatic
ExcludedForms
-> {}
TimeConstraint
-> Infinity
Trig
-> True
Notes: The time needed to try all of the transformations used by FullSimplify can be very large, especially for large expressions. You can use the ExcludedForms
and TimeConstraint
options to exclude certain transformations, or to limit the time that will be used for individual transformations. Known Bugs: See the
notes for Factor
for information about errors that will be reflected in the behavior of FullSimplify.
There is an error in FullSimplify in Mathematica Version 3.0 that can cause it to return incorrect results for expressions involving BesselK
or Beta
. The recommended workaround for this error is to avoid using FullSimplify for expressions that contain these functions. You can achieve this effect in
general with the use of the ExcludedForms
option. Here is a typical example showing an error in the simplification of an expression involving BesselK
. The sign of Out[2] is wrong.
In[1]:= expr = x BesselK[0, x] + 2 BesselK[1, x]
Out[1]= x BesselK[0, x] + 2 BesselK[1, x]
In[2]:= FullSimplify[expr]
Out[2]= -(x BesselK[2, x])
Here is a typical example showing an error in the simplification of an expression involving Beta
. The result should not be zero.
In[3]:= FullSimplify[Beta[I, 5, 5]]
Out[3]= 0
Both errors can be avoided by excluding transformations involving these functions:
In[4]:= SetOptions[FullSimplify, ExcludedForms -> {_BesselK, _Beta}]
Out[4]= {ComplexityFunction -> Automatic, ExcludedForms -> {_BesselK, _Beta},
> TimeConstraint -> Infinity, Trig -> True}
In[5]:= FullSimplify[expr]
Out[5]= x BesselK[0, x] + 2 BesselK[1, x]
In[6]:= FullSimplify[Beta[I, 5, 5]]
Out[6]= Beta[I, 5, 5]
You can have this workaround automatically loaded by placing
http://support.wolfram.com/mathematica/kernel/Symbols/System/FullSimplify.m
at the location given by
In[7]:= ToFileName[{$TopDirectory,"AddOns", "Autoload",
"FullSimplify", "Kernel"}, "init.m"]
Additional Online Documentation:
Mathematica 3.0
http://documents.wolfram.com/v3/RefGuide/FullSimplify.html
Mathematica 4.0
http://documents.wolfram.com/v4/RefGuide/FullSimplify.html
Questions or comments? Send email to support@wolfram.com.
| 
