I installed from source SageMath 10 on Ubuntu (WSL) to be able to use FriCas and to take a look at the database sage.databases.odlyzko.zeta_zeros(). Unfortunately, I don't have the compute skills to make it happen. On the second point (the database), I installed it within the directory where I had installed sage with the command sage -i database_odlyzko_zeta, and then tried to use it within a Jupyter NB by first calling the database (?) as
sage.databases.odlyzko.zeta_zeros()
AttributeError: module 'sage.databases' has no attribute 'odlyzko'
and then
zz = zeta_zeros()
FileNotFoundError: [Errno 2] No such file or directory: '/usr/share/odlyzko/zeros.sobj'
Does the last error message mean that I had to install it in /usr/share? How can I find this database? Can I move it? What am I missing?
