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
h
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):
> ...
>
>
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 s
