Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#10273 closed defect (duplicate)

Maxima returns wrong value for sum(binomial(j,k),j,k,n)

Reported by: jpflori Owned by: burcin
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords: maxima
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Fixed upstream, in a later stable release. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

The -1 should not be here:

sage: sum(binomial(j,k),j,k,k+1)
k + 2
sage: sum(binomial(j,k),j,k,n)
binomial(n + 1, k + 1) - 1
sage: sum(binomial(j,k),j,k,n).subs({n:k+1})
binomial(k + 2, k + 1) - 1
sage: maxima_console()
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/defsystem.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/cmp.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/sysfun.lsp"
Maxima 5.20.1 http://maxima.sourceforge.net
using Lisp ECL 10.2.1
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) load("simplify_sum");
(%o1) /home/jp/boulot/sage/sage-4.6/local/share/maxima/5.20.1/share/contrib/so\
lve_rec/simplify_sum.mac
(%i2) sum(binomial(j,k),j,k,n);
                              n
                             ====
                             \
(%o2)                         >    binomial(j, k)
                             /
                             ====
                             j = k
(%i3) simplify_sum(%);
(%o3)                     binomial(n + 1, k + 1) - 1
(%i4) sum(binomial(j,k),j,0,n);
                              n
                             ====
                             \
(%o4)                         >    binomial(j, k)
                             /
                             ====
                             j = 0
(%i5) simplify_sum(%);
(%o5)             binomial(n + 1, k + 1) - binomial(1, k + 1)

Change History (3)

comment:1 Changed 9 years ago by jpflori

  • Report Upstream changed from N/A to Fixed upstream, in a later stable release.

I just tested it with Maxima 5.22.1 and Ecl from #10187 and the result is now correct. So updating to that version will fix this problem.

sage: maxima_console()
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/sb-bsd-sockets.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/sockets.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/defsystem.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/cmp.fas"
;;; Loading #P"/home/jp/boulot/sage/sage-4.6/local/lib/ecl/sysfun.lsp"
Maxima 5.22.1 http://maxima.sourceforge.net
using Lisp ECL 10.4.1
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) load("simplify_sum");

(%o1) /home/jp/boulot/sage/sage-4.6/local/share/maxima/5.22.1/share/contrib/so\
lve_rec/simplify_sum.mac
(%i2) sum(binomial(j,k),j,k,n);

                              n
                             ====
                             \
(%o2)                         >    binomial(j, k)
                             /
                             ====
                             j = k
(%i3) simplify_sum(%);

(%o3)                       binomial(n + 1, k + 1)
(%i4) sum(binomial(j,k),j,0,n);

                              n
                             ====
                             \
(%o4)                         >    binomial(j, k)
                             /
                             ====
                             j = 0
(%i5) simplify_sum(%);

(%o5)             binomial(n + 1, k + 1) - binomial(0, k + 1)
sage: x,y,z=var('x,y,z')
sage: i,j,k,n,m,d=var('i,j,k,n,m,d')
sage: sum(binomial(j,k),j,k,n)
binomial(n + 1, k + 1)

comment:2 Changed 9 years ago by jpflori

  • Keywords maxima added
  • Resolution set to duplicate
  • Status changed from new to closed

Sorry for the noise, it was already mentionned here: #7952

However the patch to maxima was not included yet.

comment:3 Changed 9 years ago by mvngu

  • Milestone set to sage-duplicate/invalid/wontfix
Note: See TracTickets for help on using tickets.