Hi,
I have
sage: var('A,B')
sage: assume(A>1)
sage: assume(B>A)
sage: bool(2*B>A)
False
Now, I know it's that sage considers 2*B and A incomparable, not that it
actually thinks that 2*B <= A. And similarly,
sage: bool(B > A - 10)
False
Is this really something sage (i.e. maxima) can't handle? Is there some
trick I can use without manually assuming each such case that arises?
Thanks,
Rob
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
