Skip to content

Commit

Permalink
script updates
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnCremona committed Oct 13, 2022
1 parent 33e0680 commit 1e50408
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 3 deletions.
3 changes: 3 additions & 0 deletions scripts/ec_utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -146,6 +146,9 @@ def map_points(maps, Plist, verbose=0):
break
for j in range(1, ncurves):
if (maps[i][j] != 0) and Qlists[j] == []:
if verbose>1:
print("Mapping points from curve {} to curve {} via {}".format(i,j,maps[i][j]))
print("points to be mapped: {}".format(Qlists[i]))
Qlists[j] = [maps[i][j](P) for P in Qlists[i]]
nfill += 1
# now we saturate the points just computed at all primes up to maxp
Expand Down
11 changes: 8 additions & 3 deletions scripts/ecdb.py
Original file line number Diff line number Diff line change
Expand Up @@ -89,12 +89,17 @@ def make_datafiles(infilename, mode='w', verbose=False, prefix="t"):
reglist = [1 for F in Elist]
else:
Plist = get_gens(E, r, verbose)
genlist = map_points(maps, Plist)
# Saturate these points
prec0 = mwrank_get_precision()
mwrank_set_precision(mwrank_saturation_precision)
if verbose:
print("genlist (before saturation) = {}".format(genlist))
genlist = [Elist[i].saturation(genlist[i], max_prime=mwrank_saturation_maxprime)[0] for i in range(ncurves)]
print("gens (before saturation) = {}".format(Plist))
Plist, ind, _ = Elist[0].saturation(Plist, max_prime=-1)
if verbose:
print("gens (after saturation) = {}".format(Plist))
if ind>1:
print("index gain {}".format(ind))
genlist = map_points(maps, Plist)
if verbose:
print("genlist (before reduction) = {}".format(genlist))
genlist = [Elist[i].lll_reduce(genlist[i])[0] for i in range(ncurves)]
Expand Down

0 comments on commit 1e50408

Please sign in to comment.