Hi,
there seems to be a problem between 'assume' and 'is_integer'/'is_positive'
methods:
sage: var('k')
k
sage: assume(k, 'integer')
sage: assume(k > 0)
sage: assumptions()
[k is integer, k > 0]
sage: k.is_integer()
False
sage: k.is_positive()
True
The list of assumptions is OK but I would expect to get 'True' from both
'is_integer' and 'is_positive' calls. Interestingly, if you switch the
order of 'assume' (and to be sure restart sage) you get:
sage: var('k')
k
sage: assume(k > 0)
sage: assume(k, 'integer')
sage: assumptions()
[k > 0, k is integer]
sage: k.is_integer()
True
sage: k.is_positive()
False
I guess this is a bug, or am I missing something?
Tomáš
--
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 https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
