User Guide

To test whether an expression can satisfy a condition, use the coulditbe
command.
>
Removing Assumptions To remove all assumptions on a variable, unassign
its name.
>
For more information, see Unassigning Names (page 57).
For more information on the assume command, refer to the ?assume help
page.
The assuming Command
To perform a single evaluation under assumptions on the names in an expres-
sion, use the assuming command.
The syntax of the assuming command is expression assuming <property
or relation>. Properties and relations are introduced in The assume Com-
mand (page 117).
The frac command returns the fractional part of an expression.
>
Using the assuming command is equivalent to imposing assumptions with
the assume command, evaluating the expression, and then removing the as-
sumptions.
3.6 Restricting the Domain • 119