Zeta zero reverse engineering

[Victor Van Weyenberg]

Good day

I found your dataset of the Riemann zeta zeros along with a python script to interpret those .dat files.

It has been a couple of years since I wanted to try and do something with this data.

The last two weeks I suddenly had a lot of extra time, so I gave it a shot.

There's a more elegant and efficient way to process the .dat files.

I found that, in contradiction to the python script, there's no garbage data between blocks in files.

That in mind, if you want to stream all zeros, you actually don't need the database at all.

If, however, you want to stream all or a couple of zeros starting from a specific point in the dataset, 

then you'll only need to request one row from the database in order to find the location of the first block.

Then you can start processing the blocks from that point on.

I summarized the processing method in a GitHub repository.

https://github.com/VictorVanWeyenberg/zeta

More interesting for you: I also took the liberty to document the structure of the dataset.

The python script mentions this as a TO DO item.

Hopefully, with my documentation, you can mark this done.

Can we share this repository and documentation with the community on the lmfdb.org website?

Sincerely yours

Victor Van Weyenberg