Le samedi 8 octobre 2016 12:14:23 UTC+2, Rob H. a écrit :
>
> 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 might want to use QEPCAD.
See the documentation for Sage's interface to QEPCAD:
http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/qepcad.html
--
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.
