On Thursday, May 10, 2012 2:41:07 PM UTC-7, Duc Trung Ha wrote:
>
> Hola,
>
> would anybody be so kind and explain to me the mechanism behind
> "assume(sth)"?
>
The mechanism seems to be broken. Actually, the mechanism that compares
boolean expressions seems to be broken, which means that assumptions don't
work right, either.
sage: a = (x - 2 <= 0)
sage: b = (x <= 2)
sage: c = (x - 1 <= 0)
sage: a == b
False
sage: a == c
True
sage: b == c
False
The first two claimed equalities are a bit troubling...
--
John
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
