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

Refine

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.
Refine[expr]
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