Hi,
On Tue, Dec 15, 2015 at 07:06:37PM -0300, Vincent Delecroix wrote:
[...]
> 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?
I can reproduce this on 6.10.rc1, Debian jessie x86_64.
Ciao,
Thierry
--
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.
