Hi,
This is weird:
sage: p = var('p')
sage: q = var('q')
sage: assume(p >= 0)
sage: assume(q >= 0)
sage: assume(p <= 1)
sage: assume(q <= 1)
sage: bool(p**2 <= 1)
True
sage: bool(q**2 <= 1)
True
sage: bool(p**2 + q**2 <= 2)
False
It happens in 4.1.1 and 4.2.1.alpha0.
Any ideas?
Thanks,
--
Carlo Hamalainen
http://carlo-hamalainen.net
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
