(Yes, I realize I'm responding to an 8-month-old email.)
On Wed, Nov 11, 2009 at 12:38 PM, kcrisman wrote:
>
> It would be worth trying this out in Maxima. If Maxima can do it, we
> can try to expose more stuff; if not, we'll have to return to other
> things if people really need this. A while
It would be worth trying this out in Maxima. If Maxima can do it, we
can try to expose more stuff; if not, we'll have to return to other
things if people really need this. A while ago QEPCAD was made an
optional package, I think, but I know nothing about it or whether it
can do this kind of thin
On 11 lis, 12:45, Carlo Hamalainen wrote:
> 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)
>
