#7084: Make assumption comparison work for GenericDeclarations
-----------------------+----------------------------------------------------
Reporter: kcrisman | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.3
Component: symbolics | Keywords:
Reviewer: | Author:
Merged: |
-----------------------+----------------------------------------------------
On Sep 30, 11:07 am, lutusp <[email protected]> wrote:
> I find I cannot make more than one of a certain kind of assume
> statement:
>
> sage: assume(a,'real')
> sage: assume(b,'real')
>
> If I do, I get an error message:
>
> AttributeError: 'GenericDeclaration' object has no attribute
> 'variables'
It's comparing your second assumption with the first one, presumably to
make sure it doesn't conflict (?) ... but it is strange that it is talking
about an attribute variables, since the attribute _var is being called,
and b is real has that.
The problem is in symbolic/expression.pyx, where __nonzero__ tries to find
the variable of "a is real" - but it only has a _var, not variables like
"t>0", which is a symbolic expression.
>
> One such assumption is accepted, but not two. But more typical
> assumptions are accepted:
>
> sage: forget()
> sage: assume(a > 0)
> sage: assume(b > 0)
> sage: assume(c > 0)
> sage: assumptions()
>
> [a > 0, b > 0, c > 0]
>
> Am I using the wrong syntax or is this a bug?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7084>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
