#10273: Maxima returns wrong value for sum(binomial(j,k),j,k,n)
-------------------------+--------------------------------------------------
   Reporter:  jpflori    |       Owner:  burcin
       Type:  defect     |      Status:  new   
   Priority:  major      |   Milestone:        
  Component:  symbolics  |    Keywords:        
     Author:             |    Upstream:  N/A   
   Reviewer:             |      Merged:        
Work_issues:             |  
-------------------------+--------------------------------------------------
 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)

 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10273>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to