On Saturday, October 8, 2016 at 12:14:23 PM UTC+2, Rob H. wrote:
>
> sage: var('A,B')
> sage: assume(A>1)
> sage: assume(B>A)
> sage: bool(2*B>A)
> False
>Maxima 5.37.2: (%i1) assume(a>1); (%o1) [a > 1] (%i2) assume(b>a); (%o2) [b > a] (%i3) is(2*b>a); (%o3) unknown SymPy: In [4]: ask(Q.is_true(2*y>x), Q.is_true(x>1) & Q.is_true(y>x)) In [5]: There is no SMT solver capability in Sage, nor its subsystems. I know there are plans for this in SymPy. Plans we have too: https://trac.sagemath.org/ticket/19162 Regards, -- 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.
