blob: f1f723e2aa63af31681b291fd3449c080fa546c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/usr/bin/env python
import os
from sage.all import save
from sage.env import SAGE_SHARE
install_root = os.path.join(SAGE_SHARE, 'odlyzko')
target = os.path.join(install_root, 'zeros.sobj')
if __name__ == '__main__':
os.makedirs(install_root, exist_ok=True)
print("Creating Odlyzko database.")
F = [float(x) for x in open("src/zeros6").readlines()]
save(F, target)
|