BUILT-IN MATHEMATICA SYMBOL
FullSimplify
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:
-
- FullSimplify uses RootReduce on expressions that involve Root objects.
- 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. »
- You can specify default assumptions for FullSimplify using Assuming.
Simplify an expression involving special functions:
| Out[1]= |  |
Simplify using assumptions:
| Out[1]= |  |
Prove a simple theorem from the assumption of associativity:
| Out[1]= |  |
New in 3 | Last modified in 6
