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.

Details and OptionsDetails and Options

  • 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.
  • Refine is one of the transformations tried by Simplify.
  • The following options can be given:
  • Assumptions$Assumptionsdefault assumptions to append to assum
    TimeConstraint30for how many seconds to try doing any particular transformation

ExamplesExamplesopen allclose all

Basic Examples (2)Basic Examples (2)

cannot be simplified for arbitrary complex :

In[1]:=
Click for copyable input
Out[1]=

For explicit positive numeric expressions, evaluates to :

In[2]:=
Click for copyable input
Out[2]=

Refine evaluates to when a symbolic expression is assumed to be positive:

In[3]:=
Click for copyable input
Out[3]=

Weaker assumptions may result in a weaker simplification:

In[4]:=
Click for copyable input
Out[4]=

Use Assuming to specify the same assumptions for several Refine calls:

In[1]:=
Click for copyable input
Out[1]=
New in 5
New to Mathematica? Find your learning path »
Have a question? Ask support »