Opened 13 years ago
Last modified 8 years ago
#7998 new enhancement
Improve Prime Number Theory Function documentation and make mpmath.functions.riemannr a builtin
Reported by: | Kevin Stueve | Owned by: | William Stein |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | number theory | Keywords: | Riemann prime counting function |
Cc: | William Stein, Leif Leonhardy | Merged in: | |
Authors: | Reviewers: | kstueve | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
See comments below.
Change History (6)
comment:1 Changed 13 years ago by
Authors: | William Stein |
---|---|
Description: | modified (diff) |
Summary: | Add William's Riemann Prime Counting Function code to Sage (EASY) → Improve Prime Number Theory Function documentation and make mpmath.functions.riemannr a builtin |
comment:2 Changed 13 years ago by
Cc: | Leif Leonhardy added |
---|
comment:3 Changed 9 years ago by
Milestone: | sage-5.11 → sage-5.12 |
---|
comment:4 Changed 9 years ago by
Milestone: | sage-6.1 → sage-6.2 |
---|
comment:5 Changed 8 years ago by
Milestone: | sage-6.2 → sage-6.3 |
---|
comment:6 Changed 8 years ago by
Milestone: | sage-6.3 → sage-6.4 |
---|
Note: See
TracTickets for help on using
tickets.
I was not aware that Sage already had an implementation of the Riemann prime counting function in mpmath.
It would be nice if there was a page that listed the functions in Sage related to prime number theory, listing those in pari, mpmath, various other files, etc.
I am going to open a new ticket for getting approximations to the prime counting function that use the nontrivial zeros into Sage.
I am going to keep this ticket open, changing the task from "Get Riemann Prime counting function into Sage", to "Improve prime number theory function documentation".
1) The docstring for Li, the logarithmic integral, should refer to the existence of a Riemann prime counting function in Sage. The documentation for prime_pi should refer to the existence of the Li and R approximations. The documentation for Li should refer to the existence of the prime_pi function. mpmath's riemannr function refers to mpmath's primepi function (which is good documentation style). Sage's local copy of mpmath's riemannr documentation should refer to Sage's prime_pi function (which currently uses Legendre's method, which is much better than mpmath's primepi). Li, R, and prime_pi's documentation strings should all refer to each other.
2) When I search for Riemann prime counting function, or especially the exact name of the function, riemannr, at http://www.sagemath.org/doc/reference/search.html, I should be able to find something about the Riemann prime counting function in Sage. There should be a simple way to search for any function in Sage.
3) By default searches should include documentation for subcomponents of Sage, such as mpmath (http://mpmath.googlecode.com/svn/trunk/doc/build/index.html). At a minimum, a list of other pages to search (such as the mpmath documentation and pages for other subcomponents of Sage) should be provided after a search. "Some other pages that might contain the information you seek:....."
It was not until I researched mpmath's logarithmic integral implementation that I stumbled upon documentation for mpmath's Riemann prime counting function at http://mpmath.googlecode.com/svn/trunk/doc/build/functions/numtheory.html#riemannr
I would imagine that many Sage users would have the same trouble I did.
I believe that the Riemann prime counting function plays such a critical role in prime number theory that it should be accessible in Sage without importing from mpmath.