• Simplify[expr] performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds.
• Simplify[expr, assum] does simplification using assumptions.
• Simplify tries expanding, factoring and doing many other transformations on expressions, keeping track of the simplest form obtained.
• The following options can be given:
• Assumptions can consist of equations, inequalities, domain specifications such as x Integers
, and logical combinations of these.
• Example: Simplify[Sqrt[x^2], x Reals]
• Simplify can be used on equations, inequalities and domain specifications.
• Example: Simplify[x^2 > 3, x > 2]
• Quantities that appear algebraically in inequalities are always assumed to be real.
• Example: Simplify[x Reals, x > 0]
does more extensive simplification than Simplify
• You can specify default assumptions for Simplify
• See also: FullSimplify
• New in Version 1; modified in 5.