Making Assumptions About Variables

To make assumptions about the domain of a variable in a symbolic expression, such as restricting it to be a real number, place the cursor at the end of the line containing the expression and either:

In the placeholder that appears after "assume," type a modifying expression specifying the assumption on the variable(s).

Then press [Enter].

If you insert "assume" after another keyword, the assumption on the variables applies to the operation performed by first keyword.

The following table lists the types of modifying expressions you can insert after "assume":

Modifying Expressions Assumption
= real x is a real number
= integer x is an integer
> a x is a real number greater than a
 a x is a real number greater than or equal to a
< b x is a real number less than b
 b x is a real number less than or equal to b
= RealRange(a,b) x is a real number in the range a < x < b, where a < b

Use Boolean equals ([Ctrl] [=]) to specify the equalities in the preceding list.

Example:

Applying

Restricting Multiple Variables

To restrict the domain of more than one variable in the expression, insert a comma-separated list of modifying expressions after "assume." For example,

assume, x = real, y > 0, z > 0

To restrict the domain of all variables in the expression, insert the word "ALL" in the modifying expression. For example,

Applying

Note:

QuickSheet - Symbolic Solutions of Equations

Related Topics