Wolfram ResearchProductsPurchasingServices & ResourcesAbout UsOur Sites
DOCUMENTATION CENTER SEARCH
Mathematica > Formula Manipulation >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

FullSimplify

Updated In 6 Graphic
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.
  • FullSimplify will always yield at least as simple a form as Simplify, but may take substantially longer.
  • The following options can be given:
Assumptions$Assumptionsdefault assumptions to append to assum
ComplexityFunctionAutomatichow to assess the complexity of each form generated
ExcludedForms{}patterns specifying forms of subexpression that should not be touched
TimeConstraintInfinityfor how many seconds to try doing any particular transformation
TransformationFunctionsAutomaticfunctions to try in transforming the expression
  • FullSimplify does transformations on most kinds of special functions.
  • With assumptions of the form ForAll[vars, axioms], FullSimplify can simplify expressions and equations involving symbolic functions.  »
EXAMPLESCLOSE ALL
Basic Examples   (3)
Simplify an expression involving special functions:
In[1]:=
Click for copyable input
Out[1]=
 
Simplify using assumptions:
In[1]:=
Click for copyable input
Out[1]=
 
Prove a simple theorem from the assumption of associativity:
In[1]:=
Click for copyable input
Out[1]=
New in 3 | Last modified in 6
© 2008 Wolfram Research, Inc. japanese.gif
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team