Hello,
On sage-6.10.rc1 I have
sage: var('k', 'n')
sage: assume(n, 'integer')
sage: assumptions()
[n is integer]
sage: bool(n >= 0)
False
sage: assume(n >= 0)
sage: bool(n >= 0)
True
sage: assumptions()
[n is integer, n >= 0]
Which is perfectly normal.
Now if I restart a new Sage session and start with a failing maxima
command then the behavior is different
sage: var('k', 'n')
sage: sum(binomial(n-k,k), k, 0, n)
Traceback (most recent call last):
...
ValueError: Computation failed since Maxima requested additional
constraints; using the 'assume' command before evaluation *may* help
(example of legal syntax is 'assume(n>0)', see `assume?` for more details)
Is n positive or zero?
sage: assumptions()
[]
sage: bool(n >= 0)
False
sage: assume(n, 'integer')
sage: assumptions()
[n is integer]
sage: bool(n >= 0) # WTF!?
True
sage: assume(n >= 0)
Traceback (most recent call last):
...
ValueError: Assumption is redundant
Could anybody confirm this problem?
Vincent
--
You received this message because you are subscribed to the Google Groups
"sage-devel" 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-devel.
For more options, visit https://groups.google.com/d/optout.
