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

Documentation / Mathematica / Built-in Functions / New in Version 5.0 / Algebraic Computation /

Refine

FilledSmallSquare 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.

FilledSmallSquare Refine[expr] uses default assumptions specified by any enclosing Assuming constructs.

FilledSmallSquare Example: Refine[Sqrt[x^2], x > 0] LongRightArrow.

FilledSmallSquare Assumptions can consist of equations, inequalities, domain specifications such as x Integers, and logical combinations of these.

FilledSmallSquare Example: Refine[Sqrt[x^2], x Reals] LongRightArrow.

FilledSmallSquare Refine can be used on equations, inequalities and domain specifications.

FilledSmallSquare Quantities that appear algebraically in inequalities are always assumed to be real.

FilledSmallSquare Refine is one of the transformations tried by Simplify.

FilledSmallSquare Refine has the option Assumptions, with default setting $Assumptions.

FilledSmallSquare Refine[expr, a, Assumptions->b] uses assumptions a && b.

FilledSmallSquare See Section 3.3.10.

FilledSmallSquare See also: Simplify, PowerExpand, Assuming.

FilledSmallSquare New in Version 5.0.

Further Examples