DOCUMENTATION CENTER SEARCH

Mathematica > Formula Manipulation >

Built-in Mathematica Symbol

Tutorials »|See Also »|More About »

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.

MORE INFORMATION

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

CLOSE 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

, 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]=

Scope (9)

Options (4)

Applications (1)

Properties & Relations (4)

Possible Issues (1)