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'

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?

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to