In the historical calculations of the Riemann zeta function Gram points and Gram’s Law plays a part. Gram’s Law, which does not always hold, says that the zeros of the Riemann zeta function, actually Z(t), are separated by the Gram points. This observation is useful to help count the number of zeros on the critical line.
Wolfram MathWorld has an article on each of Gram Point and Gram’s Law. Both have a Mathematica notebook for download.
In the Gram Point notebook there is a plot of Gram Points made with
ListPlot[Table[{n, GramPoint[n]}, {n, 0, 20}],
PlotStyle -> {PointSize[.02], Red},
AxesLabel -> TraditionalForm /@ {n, Subscript[g, n]}]
Note the function GramPoint[n]. Since the notebook doesn’t define it, I inferred it is a built in function. However, it is not included in Mathematic 13.1.
Can somebody help me find the built in function? Had it been in an earlier version and removed?
Attachments: