> var('x,y')
> assume([x > 0, y > 0, x > 2*y])
>bool(x > y)
> => False
I'm not familiar with the limitations of symbolic computation,
but the design is in my opinion completely broken,
or to say it more polite, unfortunate. This is an invitation for tons of
bugs...
(returning 'False' in case the answer cannot be computed by sage)
Jakob
Am Samstag, 30. Mai 2015 17:10:29 UTC+2 schrieb Fedor Sumkin:
>
> Hello,
>
> Are there any limitations for conditional assumptions?
> I.e. :
>
>
> forget();
>
> assume([x > 0, y > 0, x > 2*y])
>
> assumptions()
>
> var('x,y')
>
> bool(x > y)
>
> bool(x > 2*y)
>
> bool(x > 3*y)
>
>
> Result :
>
> [x > 0, y > 0, x > 2*y](x, y)FalseTrueFalse
>
> SageMath from cloud.sagemath.com :
>
> version()
>
> 'SageMath Version 6.7, Release Date: 2015-05-17'
>
> Regards,
> Fedor
>
>
>
>
--
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
