Skip to content

Commit

Permalink
updated data files
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnCremona committed Oct 17, 2016
1 parent 0dc3619 commit 4195520
Show file tree
Hide file tree
Showing 22 changed files with 720,041 additions and 104 deletions.
58,170 changes: 58,170 additions & 0 deletions 2adic/2adic.390000-399999

Large diffs are not rendered by default.

5,094 changes: 5,094 additions & 0 deletions allbigsha/allbigsha.390000-399999

Large diffs are not rendered by default.

58,170 changes: 58,170 additions & 0 deletions allbsd/allbsd.390000-399999

Large diffs are not rendered by default.

58,170 changes: 58,170 additions & 0 deletions allcurves/allcurves.390000-399999

Large diffs are not rendered by default.

58,170 changes: 58,170 additions & 0 deletions alldegphi/alldegphi.390000-399999

Large diffs are not rendered by default.

58,170 changes: 58,170 additions & 0 deletions allgens/allgens.390000-399999

Large diffs are not rendered by default.

42,310 changes: 42,310 additions & 0 deletions allisog/allisog.390000-399999

Large diffs are not rendered by default.

58,170 changes: 58,170 additions & 0 deletions alllabels/alllabels.390000-399999

Large diffs are not rendered by default.

42,310 changes: 42,310 additions & 0 deletions aplist/aplist.390000-399999

Large diffs are not rendered by default.

10,000 changes: 10,000 additions & 0 deletions count/count.390000-399999

Large diffs are not rendered by default.

42,310 changes: 42,310 additions & 0 deletions curves/curves.390000-399999

Large diffs are not rendered by default.

42,310 changes: 42,310 additions & 0 deletions degphi/degphi.390000-399999

Large diffs are not rendered by default.

28 changes: 14 additions & 14 deletions doc/manin.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Manin constants and optimal curves: conductors 60000-390000
Manin constants and optimal curves: conductors 60000-400000
-----------------------------------------------------------

For all conductors (levels) N up to 60000 we have computed the full
Expand All @@ -11,16 +11,16 @@ Applied Mathematics Quarterly, Vol. 2 no.2 (2006), pp. 617-636.]
Here we report on what is known for larger conductors, currently
covering the range 60000-390000.

# isogeny classes: 1440190
# isogeny classes with only one curve: 1002497
# isogeny classes with more than one curve: 437693
# isogeny classes: 1482500
# isogeny classes with only one curve: 1032801
# isogeny classes with more than one curve: 449649

Of the latter, c=1 known for: 437650+43=437693
optimality known for: 203623+43=203766
optimality not known for: 233884
[191106,39141,3277,163,197 classes have 2,3,4,5,6 possible candidates]
Of the latter, c=1 known for: 449655+44=449699
optimality known for: 209322+44=209366
optimality not known for: 240289
[196391,40180,3354,166,198 classes have 2,3,4,5,6 possible candidates]

For all 1002497 classes with only one curve, obviously that curve is
For all 1032801 classes with only one curve, obviously that curve is
optimal, and we have shown that c=1.

For all classes with more than one curve, we have proved that the
Expand All @@ -39,12 +39,12 @@ that c=3 is impossible unless N is a multiple of 3.

-----------------------------------------------------------

In detail, for the 437693 classes with more than one curve:
In detail, for the 449699 classes with more than one curve:

In 203766 classes the optimal curve is provably the first one listed,
In 209366 classes the optimal curve is provably the first one listed,
and c=1.

In 233884 classes the optimal curve is one of up to 6 possible curves
In 240289 classes the optimal curve is one of up to 6 possible curves
in the class, but c=1 in any case.

e.g. 130050em: class has 8 curves
Expand All @@ -53,7 +53,7 @@ e.g. 130050em: class has 8 curves
-either the optimal curve has type 1 and is #1 or #3 with c=1 [c*aj=1]
-or the optimal curve has type 2 and is #2, #4, #6, or #7 with c=1 [c*aj=2]

Note that for 43 classes, there would be a possibility that c=2 and
Note that for 44 classes, there would be a possibility that c=2 and
that the optimal curve is the second one listed, if we relied only on
the information given by modular symbols with sign +1. These all have
the same form: 2 curves in the class with types 1,2 and aj=1,1 so
Expand All @@ -70,7 +70,7 @@ These classes are: the 13 listed in the appendix to the paper cited,
217172b, 219088b, 220916b, 236212b, 240116a,
250064a, 256052a, 260116a, 280916a, 285172a,
291664a, 300368a, 302516a, 306932a, 329492a,
343412a, 345808a, 367252a, 377012b, 384464d.
343412a, 345808a, 367252a, 377012b, 384464d, 391892a.

In all of the above cases I have computed the full modular symbol
space to eliminate the second possibility. Hence, in this range all
Expand Down
28 changes: 14 additions & 14 deletions doc/merging.txt
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ In main g0n directory (~/g0n):

./postproc nnn

(e.g. ./postproc 379 for the range 379000-379999); this will keep
(e.g. ./postproc 399 for the range 399000-399999); this will keep
looping until all are done.

2. Batches of 100 & 1000: when postproc has finished a batch of 1000,
Expand All @@ -29,7 +29,7 @@ to create 12 files of the form g0n/data/*.nn0000-nn9999 . Copy these
into ~/ecdata, move them into the appropriate subdirectories, and use
"git add" to add them to the git repository:

nn=38
nn=39
NN=${nn}0000-${nn}9999
cd ~/g0n/data
for f in curves allcurves paricurves allbigsha allbsd alldegphi allgens allisog aplist count degphi intpts; do cp ${f}.${NN} ~/ecdata/${f}; done
Expand All @@ -40,15 +40,15 @@ for f in curves allcurves paricurves allbigsha allbsd alldegphi allgens allisog
4. Make alllabels file:

sage: %runfile "scripts/labels.py"
sage: make_alllabels("curves/curves.380000-389999")
sage: make_alllabels("curves/curves.390000-399999")
(outputs a line to screen every 1000 input lines, takes about 40s per
1000, so about 30 minutes)
[quit sage]

Check that outputfile (e.g. talllabels.380000-389999) & rename without
Check that outputfile (e.g. talllabels.390000-399999) & rename without
the prefix "t", moving to the alllabels/ subdirectory. Add to git
tracking:
mv talllabels.380000-389999 alllabels/alllabels.380000-389999
mv talllabels.390000-399999 alllabels/alllabels.390000-399999
git add alllabels/

From now on work in data directory (~/ecdata) which is a git
Expand All @@ -58,13 +58,13 @@ which only contains the html files, from which GitHub automatically
cretes the website at http://johncremona.github.io/ecdata/ .

5. Email Sutherland and ask him to run his script on any new
allcurves file (e.g. allcurves.380000-389999) and rename his output
galrep.* (e.g. galrep.380000-389999), move to into galrep/ and
allcurves file (e.g. allcurves.390000-399999) and rename his output
galrep.* (e.g. galrep.390000-399999), move to into galrep/ and
git add galrep/

5a. Create 2adic images file and move to correct place:
magma -b filename:=allcurves/allcurves.380000-389999 scripts/2adic.m
mv 2adic.380000-389999 2adic/
magma -b filename:=allcurves/allcurves.390000-399999 scripts/2adic.m
mv 2adic.390000-399999 2adic/
git add 2adic/

6. Files to be edited are: html/table.html, html/shas.html, Makefile,
Expand All @@ -86,7 +86,7 @@ table. Current range is s^2 for s in range(32)+[33,41,47,50,75].

Use sharanktable.py to create a new version newshas.html:
sage: %runfile scripts/sharanktable.py
sage: make_rankshatable(39) # to go up to 389999
sage: make_rankshatable(40) # to go up to 399999
If happy:
mv newshas.html html/shas.html

Expand All @@ -100,7 +100,7 @@ to see if the script needs adjusting (record is now 4).

Use scripts/summarytable.py to create a new version newtable.html:
sage: %runfile scripts/summarytable.py
sage: make_table(39) # to go up to 389999
sage: make_table(40) # to go up to 399999
If happy:
mv newtable.html html/table.html

Expand All @@ -127,7 +127,7 @@ cd ..
(6f) doc/manin.txt needs some real work:

[In g0n working dir]
N=38
N=39
let 'Nminus1 = N-1'
NCL=`awk '$3==1' data/allcurves.${N}0000-${N}9999 | wc -l`
echo "$NCL isogeny classes in range ${N}0000-${N}9999"
Expand All @@ -148,8 +148,8 @@ grep -v "c=1" data/optimality.${N}
cat h1pp/h1pp.conc.13-${Nminus1} data/optimality.${N} > h1pp/h1pp.conc.13-${N}
cat h1pp/h1pp.conc.6-${Nminus1} data/optimality.${N} > h1pp/h1pp.conc.6-${N}
# Numbers for lines 14-16 of manin.txt (edit the lines below):
Nall=`cat ~/ecdata/curves/curves.*9 | awk '($1>60000)&&($1<390000)' | wc -l`
N2=`cat ~/ecdata/allcurves/allcurves.*9 | awk '($3==2)&&($1>60000)&&($1<390000)' | wc -l`
Nall=`cat ~/ecdata/curves/curves.*9 | awk '($1>60000)&&($1<400000)' | wc -l`
N2=`cat ~/ecdata/allcurves/allcurves.*9 | awk '($3==2)&&($1>60000)&&($1<400000)' | wc -l`
let 'N1=Nall-N2'
echo $Nall $N1 $N2

Expand Down
3 changes: 2 additions & 1 deletion doc/release_notes.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
# ecdata release notes (since 2001)

## Last major update: 2016-08-20
## Last major update: 2016-10-17

### 2016
- 17 October 2016: Added all data for 390000-399999
- 20 August 2016: Added all data for 380000-389999
- 7 February 2016: Added all data for 370000-379999

Expand Down
Loading

0 comments on commit 4195520

Please sign in to comment.