User Guide

Displaying Assumptions To view the assumptions on an expression, use
the about command.
>
Originally x, renamed x~: is assumed to be: RealRange(-infinity,Open(0))
Imposing Multiple Assumptions To simultaneously impose multiple con-
ditions on an expression, specify multiple arguments in the assume calling
sequence.
>
To specify additional assumptions without replacing previous assumptions,
use the additionally command. The syntax of the additionally calling se-
quence is the same as that of the assume command.
>
Originally x, renamed x~: is assumed to be: 1
The only integer in the open interval (0, 2) is 1.
Testing Properties To test whether an expression always satisfies a condi-
tion, use the is command.
>
The following test returns false because there are values of x and y (x = 0,
y = 10) that satisfy the assumptions, but do not satisfy the relation in the is
calling sequence.
>
118 • 3 Performing Computations