Wolfram Language & System 11.0 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)


performs a sequence of algebraic and other transformations on expr and returns the simplest form it finds.

does simplification using assumptions.

Details and OptionsDetails and Options

  • Simplify tries expanding, factoring, and doing many other transformations on expressions, keeping track of the simplest form obtained.
  • Simplify can be used on equations, inequalities, and domain specifications.
  • Quantities that appear algebraically in inequalities are always assumed to be real.
  • FullSimplify does more extensive simplification than Simplify.
  • You can specify default assumptions for Simplify using Assuming.
  • The following options can be given:
  • Assumptions$Assumptionsdefault assumptions to append to assum
    ComplexityFunctionAutomatichow to assess the complexity of each form generated
    TimeConstraint300how many seconds to try doing any particular transformation
    TransformationFunctionsAutomaticfunctions to try in transforming the expression
    TrigTruewhether to do trigonometric as well as algebraic transformations
  • Assumptions can consist of equations, inequalities, domain specifications such as xIntegers, and logical combinations of these.
  • With the setting TimeConstraint->{tloc,ttot}, at most tloc seconds are spent for any particular transformation, and at most ttot seconds are spent for all transformations before the best result is returned.
Introduced in 1988
| Updated in 2014