Menu

#680 zeta declared posfun

closed
nobody
None
5
2006-07-29
2005-01-30
No

The zeta function is declared to be a positive function

(%i70) featurep(zeta,'posfun);
(%o70) TRUE

This isn't true--for example, zeta(-1) = -1/12.
The bogus declaration is in the file compar.lisp.

Barton

Discussion

  • Barton Willis

    Barton Willis - 2006-07-29

    Logged In: YES
    user_id=895922

    Fixed with compar.lisp revision 1.12. Closing report.

     
  • Barton Willis

    Barton Willis - 2006-07-29
    • status: open --> closed
     

Log in to post a comment.