On 11/22/2012 03:05 AM, Jianrong Li wrote:
> Dear all,
>
> Is assume(not q = 1, not p = 1, not r = 1 , not p^2 = q , not
> r^2 = p*q, not r^2 = p , not q^2 = p*r^2); correct if I want to
> assume that q \neq 1, and so on? When I use q # 1, it does not work.
> Thank you very much.
? assume
-- Function: assume (<pred_1>, ..., <pred_n>)
...
The predicates <pred_1>, ..., <pred_n> can only be expressions
with the relational operators `< <= equal notequal >=' and `>'.
Predicates cannot be literal equality `=' or literal inequality `#'
expressions, nor can they be predicate functions such as
`integerp'.
Regards,
Jaime