[sage-devel] Re: Wrong symbolic sum

2010-08-01 Thread Henryk Trappmann
On Jul 31, 4:27 pm, Mitesh Patel wrote: > You could try using sage.misc.citation.get_systems: > > sage: var('n, k'); > sage: sum(1 / sum(k, k, 1, n), n, 1, infinity) > 2 > sage: from sage.misc.citation import get_systems > sage: get_systems('sum(1 / sum(k, k, 1, n), n, 1, infinity)') > ['MPFI', 'g

[sage-devel] Re: Wrong symbolic sum

2010-08-01 Thread Henryk Trappmann
On Jul 31, 4:27 pm, Mitesh Patel wrote: > You could try using sage.misc.citation.get_systems: > > sage: var('n, k'); > sage: sum(1 / sum(k, k, 1, n), n, 1, infinity) > 2 > sage: from sage.misc.citation import get_systems > sage: get_systems('sum(1 / sum(k, k, 1, n), n, 1, infinity)') > ['MPFI', 'g

Re: [sage-devel] Re: Wrong symbolic sum

2010-07-31 Thread Mitesh Patel
On 07/31/2010 12:53 AM, Henryk Trappmann wrote: > On Jul 29, 9:12 pm, kcrisman wrote: >> I will point out, though, that you clearly *do* use Maxima, since you >> tried to do this in Sage, which uses Maxima heavily. > > This may be, but I dont know about it. > I know that Sage uses Maxima, but nei

[sage-devel] Re: Wrong symbolic sum

2010-07-30 Thread Henryk Trappmann
On Jul 29, 9:12 pm, kcrisman wrote: > I will point out, though, that you clearly *do* use Maxima, since you > tried to do this in Sage, which uses Maxima heavily. This may be, but I dont know about it. I know that Sage uses Maxima, but neither do I know what Maxima is, nor how to use it. But most

Re: [sage-devel] Re: Wrong symbolic sum

2010-07-29 Thread Dr. David Kirkby
On 07/29/10 02:12 PM, kcrisman wrote: I will point out, though, that you clearly *do* use Maxima, since you tried to do this in Sage, which uses Maxima heavily. One of the things Sage has gotten a lot better about is acknowledging use of all the many high-quality components, so let's all try t

[sage-devel] Re: Wrong symbolic sum

2010-07-29 Thread kcrisman
On Jul 29, 3:38 am, Henryk Trappmann wrote: > On Jul 28, 5:47 pm, Burcin Erocal wrote: > > > Can you open a ticket about these problems with the binomial (including > > the "either m or x-m must be an integer" error mentioned in kcrisman's > > message? > > The bug in maxima for the evaluation o

[sage-devel] Re: Wrong symbolic sum

2010-07-29 Thread Henryk Trappmann
On Jul 28, 5:47 pm, Burcin Erocal wrote: > Can you open a ticket about these problems with the binomial (including > the "either m or x-m must be an integer" error mentioned in kcrisman's > message? > The bug in maxima for the evaluation of the sum should also be a > separate ticket. I opened the

Re: [sage-devel] Re: Wrong symbolic sum

2010-07-28 Thread Burcin Erocal
On Tue, 27 Jul 2010 18:29:27 -0700 (PDT) Henryk Trappmann wrote: > On Jul 28, 2:21 am, kcrisman wrote: > > On Jul 27, 1:17 am, Henryk Trappmann > > wrote: > > > sage: sum(binomial(n,k)*binomial(k-1,j)*(-1)**(k-1-j),k,j+1,n) > > In fact, the answer appears to always be 1 or 0.  Is that true? >

[sage-devel] Re: Wrong symbolic sum

2010-07-27 Thread Henryk Trappmann
On Jul 28, 2:21 am, kcrisman wrote: > On Jul 27, 1:17 am, Henryk Trappmann wrote: > > sage: sum(binomial(n,k)*binomial(k-1,j)*(-1)**(k-1-j),k,j+1,n) > In fact, the answer appears to always be 1 or 0.  Is that true? Yes, its 1 for n>=j+1 and (of course) 0 for n in () /opt/sage-4.5-linux-32bit-ub

[sage-devel] Re: Wrong symbolic sum

2010-07-27 Thread Robert Dodier
On Jul 27, 12:21 pm, kcrisman wrote: > This appears to be a bug in Maxima. Agreed. Can someone please submit a bug report. See: http://sourceforge.net/projects/maxima/bugs best Robert Dodier -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group

[sage-devel] Re: Wrong symbolic sum

2010-07-27 Thread kcrisman
This appears to be a bug in Maxima. (%i1) load(simplify_sum); (%i3) simplify_sum(sum(binomial(n,k)*binomial(k-1,j)*(-1)**(k-1-j),k,j +1,n)); (%o3) 0 (%i4) simplify_sum(sum(binomial(5,k)*binomial(k-1,3)*(-1)**(k-1-3),k, 4,5)); (%o4)