This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)



FilledSmallSquareSimplify[expr] performs a sequence of algebraic transformations on expr, and returns the simplest form it finds.

FilledSmallSquareSimplify[expr, assum] does simplification using assumptions.

FilledSmallSquareSimplify tries expanding, factoring and doing other transformations on expressions, keeping track of the simplest form obtained.

FilledSmallSquare The following options can be given:

FilledSmallSquare Assumptions can consist of equations, inequalities, domain assertions such as x Integers, and logical combinations of these.

FilledSmallSquare Example: Simplify[Sqrt[x^2], x Reals] LongRightArrow.

FilledSmallSquareSimplify can be used on equations, inequalities and domain assertions.

FilledSmallSquare Example: Simplify[x^2 > 3, x > 2] LongRightArrow.

FilledSmallSquare Objects that are specified as satisfying inequalities are always assumed to be real.

FilledSmallSquare Example: Simplify[x Reals, x > 0] LongRightArrow.

FilledSmallSquareFullSimplify does more extensive simplification than Simplify.

FilledSmallSquare See The Mathematica Book: Section 1.4.4, Section 1.4.6 and Section 3.3.9.

FilledSmallSquare See also: FullSimplify, Factor, Expand, TrigExpand, PowerExpand, ComplexExpand, Element, FunctionExpand.

Further Examples