# 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 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 \$Assumptions default assumptions to append to assum TimeConstraint 30 for how many seconds to try doing any particular transformation

# Examples

open allclose all

## Basic Examples(2)

cannot be simplified for arbitrary complex :

 In[1]:=
 Out[1]=

For explicit positive numeric expressions, evaluates to :

 In[2]:=
 Out[2]=

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

 In[3]:=
 Out[3]=

Weaker assumptions may result in a weaker simplification:

 In[4]:=
 Out[4]=

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

 In[1]:=
 Out[1]=