How to troubleshoot a sage database not accessible after install?

asked 2023-06-06 13:55:30 +0200

toni gravatar image

updated 2023-06-07 09:24:07 +0200

FrédéricC gravatar image

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


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?

edit retag flag offensive close merge delete