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


Refine[expr, assum]
gives the form of expr that would be obtained if symbols in it were replaced by explicit numerical expressions satisfying the assumptions assum.
uses default assumptions specified by any enclosing Assuming constructs.
  • Assumptions can consist of equations, inequalities, domain specifications such as xIntegers, and logical combinations of these.
  • Refine can be used on equations, inequalities and domain specifications.
  • Quantities that appear algebraically in inequalities are always assumed to be real.
  • The following options can be given:
Assumptions$Assumptionsdefault assumptions to append to assum
TimeConstraint30for how many seconds to try doing any particular transformation
New in 5