Note that variables are complex by default in Sage. There is some support
for what you attempt in Sage:
sage: a,b,c= var('a,b,c', domain='real')
sage: assume(a>0, b >0)
sage: (a+b).is_positive()
True
But anything more needs an SMT solver in Sage
https://trac.sagemath.org/ticket/19000
On Tuesday, April 23, 2019 at 4:20:15 PM UTC+2, Sophia Elia wrote:
>
> I am performing some symbolic calculations and found that Sage does not
> automatically linearly combine symbolic assumptions.
>
> Minimal example:
>
> sage: forget()
> ....: a,b,c= var('a,b,c')
> ....: assume(a>0, b+c >0)
> ....: print bool(a+b+c > 0)
> ....: print assumptions()
> ....:
> False
> [a > 0, b + c > 0]
>
> The same was tested running Maxima in Sage and the same thing happened.
> Is this the expected behavior?
>
>
> I am running Sage version 8.8 on mac. os 10.14.
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
