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.

Reply via email to