#16671: implement harmonic number function H(n,m)
-------------------------+-------------------------------------------------
       Reporter:  rws    |        Owner:
           Type:         |       Status:  needs_work
  defect                 |    Milestone:  sage-6.4
       Priority:  major  |   Resolution:
      Component:         |    Merged in:
  symbolics              |    Reviewers:
       Keywords:         |  Work issues:  merge fix for #17790
  special, log           |       Commit:
        Authors:  Ralf   |  ca696281c6d2425b72d72b6408e4a787b32d637a
  Stephan                |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/rws/16671            |
   Dependencies:         |
  #17790                 |
-------------------------+-------------------------------------------------

Comment (by rws):

 Let's document here that both forms for the generalized harmonic numbers
 {{{
 H(q/p,m) = zeta(m) - p^m * sum(1/(q+p*k)^m, k, 1, oo)   (Wikipedia
 2015-Mar-07)

 H(k,n) = binomial(n+k-1,k-1)*(harmonic_number(n+k-1)-harmonic_number(k-1))
          (http://mathworld.wolfram.com/HarmonicNumber.html eq. 55)
 }}}
 are both wrong, with the counterexamples `H(5/2,3)=1/27*sqrt(3) +
 1/8*sqrt(2) + 1` and `H(5,3)=256103/216000`.

--
Ticket URL: <http://trac.sagemath.org/ticket/16671#comment:63>
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 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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to