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
Logged In: YES user_id=895922
Fixed with compar.lisp revision 1.12. Closing report.
Log in to post a comment.
Logged In: YES
user_id=895922
Fixed with compar.lisp revision 1.12. Closing report.