Hi Vincent,
Le mardi 15 décembre 2015 23:17:26 UTC+1, Thierry (sage-googlesucks@xxx) a
écrit :
>
>
> I can reproduce this on 6.10.rc1, Debian jessie x86_64.
>
>
I can reproduce it as well.
This seems linked to the ternary logic introduced in Sage 6.10.beta7 (cf. a
similar
issue reported in
https://groups.google.com/d/msg/sage-devel/2ppi74WPUUA/dKBzA5vECQAJ
Note something quite weird: the call to sum(binomial(n-k,k), k, 0, n)
changes *by itself* the output
of bool(n >= 0):
sage: var('k', 'n')
(k, n)
sage: assume(n, 'integer')
sage: bool(n >= 0)
False
sage: sum(binomial(n-k,k), k, 0, n)
ValueError Traceback (most recent call last)
...
sage: bool(n >= 0)
True
Eric.
> 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.
