fixed tests for non mpfp option

JohnCremona · Apr 14, 2021 · 131e7e6 · 131e7e6
1 parent e0e25b7
commit 131e7e6
Show file tree

Hide file tree

Showing 2 changed files with 120 additions and 0 deletions.
diff --git a/tests/in_no_ntl/tsatbnd.in b/tests/in_no_ntl/tsatbnd.in
@@ -28,4 +28,20 @@
 [458:19:8]
 [36:-259:1]
 
+[0,1,0,-19357973048906456166239827272707359553313344,21187731957757821187375878909257489490487412099497964528006317056]
+12
+[11376724821019368394185473144824 : 531128848935479591898724774494856605576120 : 2212245127]
+[7623939119367566734712416 : 221638196641185505905607878680125440 : 6859]
+[36426251939262077044010523050021856 : 1440660184888000534262415597113906110443804160 : 7723644690663]
+[-2374492566122734660340122 : 529890342210233698629090661148812455 : 2744]
+[133315763430614733564506995979036000 : 12052050702684033030644774922369112945461998208 : 13452404189687]
+[-736456133932085217609486905120 : 65252742580786613608001616883511206150656 : 281011375]
+[-595772851387421768949418976 : 167161309967794524103557005329392387840 : 912673]
+[6022489089748785062867974730217810 : 556978335673856277257836463329999151388906387 : 588059226152]
+[-14469357974751181338226317055916720 : 4882855888975145618903473912921126613023223376 : 27655941287521]
+[401117760561576371833764564008128488352 : 9772673504421360502054799343252140728954874846976 : 98542628343088957]
+[289759090016726210750821602762394720 : 4585180501130133566892803635614473034268791168 : 75274392943567]
+[147460739409404501162213937304 : 6903716310575347660155145984848699291480 : 143055667]
+
+
 [0,0,0,0,0]
diff --git a/tests/out_no_ntl/tsatbnd.out b/tests/out_no_ntl/tsatbnd.out
@@ -6,6 +6,15 @@ E = [0,0,1,-7,36]
 [-30:21:8] (height 3.23143983180252)
 [-3:5:1] (height 1.8051880666154)
 [-2:6:1] (height 1.75120185338337)
+Regulator of input points: 3.30637847459132
+Subgroup of EGR points has index 1
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+545723  [ 1 ]  [ 0 ][ 0 ][ 0 ][ 0 ]
+R [ 1 ]  [ 0 ][ 0 ][ 0 ][ 0 ]
+
 Global Tamagawa number:   1
 Global Tamagawa exponent: 1
 lower height bound (egr points): 0.210224103813429
@@ -17,6 +26,20 @@ bound on saturation index (all points): 82
 E = [1,1,1,-218325338,-1241755642969]
 1 points entered:
 [52725:11541787:1] (height 7.39057471768362)
+Regulator of input points: 7.39057471768362
+Subgroup of EGR points has index 6
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+2  [ 6 ]  [ 2 ]
+3  [ 2 ]  [ 1 ]
+5  [ 4 ]  [ 2 ]
+7  [ 1 ]  [ 0 ]
+17  [ 1 ]  [ 0 ]
+43  [ 1 ]  [ 0 ]
+R [ 2 ]  [ 0 ]
+
 Global Tamagawa number:   96
 Global Tamagawa exponent: 12
 lower height bound (egr points): 0.942172089516167
@@ -35,6 +58,15 @@ E = [0,0,1,-23737,960366]
 [-11005:192282:125] (height 8.57190341268437)
 [-3021:40175:27] (height 7.60749929757449)
 [10532:78629:64] (height 8.06085211926412)
+Regulator of input points: 260586.997204953
+Subgroup of EGR points has index 2
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+457532830151317  [ 1 ]  [ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ]
+R [ 2 ]  [ 1 ][ 1 ][ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 0 ]
+
 Global Tamagawa number:   2
 Global Tamagawa exponent: 2
 lower height bound (egr points): 4.84538508610588
@@ -46,6 +78,18 @@ bound on saturation index (all points): 3793
 E = [0,1,0,-3532341,2671895459]
 1 points entered:
 [-70530065697753731555722521380451694847027684946481619207066358883190994719487509574998052510855059423334984274230836976431876403642:200898144915891992877832706966832248880788948705776913304828657795482993310179952832361429299128720575547455788810135494156109029455:32383162777362251978562757665550366176161600539636371030636031896984923251479838151766462063041425141567992375986724367103348073] (height 200.116146237352)
+Regulator of input points: 200.116146237352
+Subgroup of EGR points has index 2
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+2  [ 1 ]  [ 0 ]
+5  [ 1 ]  [ 0 ]
+7  [ 1 ]  [ 0 ]
+41  [ 2 2 ]  [ 1 0 ]
+R [ 1 ]  [ 0 ]
+
 Global Tamagawa number:   2
 Global Tamagawa exponent: 2
 lower height bound (egr points): 1.46686324452063
@@ -60,9 +104,69 @@ E = [0,1,1,-9872,374262]
 [56:13:1] (height 1.93419849519224)
 [458:19:8] (height 2.78810110289101)
 [36:-259:1] (height 3.57409195177616)
+Regulator of input points: 13.9954728915898
+Subgroup of EGR points has index 1
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+24191611  [ 1 ]  [ 0 ][ 0 ][ 0 ][ 0 ]
+R [ 1 ]  [ 0 ][ 0 ][ 0 ][ 0 ]
+
 Global Tamagawa number:   1
 Global Tamagawa exponent: 1
 lower height bound (egr points): 0.0251639114367071
 bound on saturation index (egr points): 11816
 lower height bound (all points): 0.0251639114367071
 bound on saturation index (all points): 11816
+======================================================
+
+E = [0,1,0,-19357973048906456166239827272707359553313344,21187731957757821187375878909257489490487412099497964528006317056]
+12 points entered:
+[11376724821019368394185473144824:531128848935479591898724774494856605576120:2212245127] (height 20.7249582788064)
+[7623939119367566734712416:221638196641185505905607878680125440:6859] (height 22.4088105212294)
+[36426251939262077044010523050021856:1440660184888000534262415597113906110443804160:7723644690663] (height 28.2138182871606)
+[-2374492566122734660340122:529890342210233698629090661148812455:2744] (height 25.2626562864233)
+[133315763430614733564506995979036000:12052050702684033030644774922369112945461998208:13452404189687] (height 26.0653444838548)
+[-736456133932085217609486905120:65252742580786613608001616883511206150656:281011375] (height 18.5493379088294)
+[-595772851387421768949418976:167161309967794524103557005329392387840:912673] (height 27.3468387110325)
+[6022489089748785062867974730217810:556978335673856277257836463329999151388906387:588059226152] (height 31.2385084203718)
+[-14469357974751181338226317055916720:4882855888975145618903473912921126613023223376:27655941287521] (height 27.9228560029315)
+[401117760561576371833764564008128488352:9772673504421360502054799343252140728954874846976:98542628343088957] (height 28.9274716740178)
+[289759090016726210750821602762394720:4585180501130133566892803635614473034268791168:75274392943567] (height 26.0812320079939)
+[147460739409404501162213937304:6903716310575347660155145984848699291480:143055667] (height 28.7633608261539)
+Regulator of input points: 165496855732756
+Subgroup of EGR points has index 12582912
+
+ Images of points in component groups at bad primes and R
+
+p   Group   Image(s)
+2  [ 16 ]  [ 1 ][ 8 ][ 7 ][ 0 ][ -5 ][ 7 ][ -6 ][ 0 ][ -2 ][ -6 ][ 5 ][ 1 ]
+3  [ 12 ]  [ -5 ][ 4 ][ 0 ][ -5 ][ 1 ][ 3 ][ -5 ][ 0 ][ -4 ][ 3 ][ 3 ][ -2 ]
+7  [ 4 ]  [ 2 ][ 2 ][ 0 ][ 0 ][ 1 ][ 2 ][ 2 ][ 2 ][ 1 ][ 0 ][ 0 ][ 1 ]
+13  [ 4 ]  [ 2 ][ 2 ][ 1 ][ 1 ][ 1 ][ 0 ][ 0 ][ 1 ][ 0 ][ 2 ][ 2 ][ 2 ]
+29  [ 2 ]  [ 1 ][ 0 ][ 1 ][ 1 ][ 0 ][ 0 ][ 1 ][ 1 ][ 0 ][ 1 ][ 1 ][ 0 ]
+31  [ 4 ]  [ 1 ][ 1 ][ 1 ][ 0 ][ 1 ][ 2 ][ 0 ][ 1 ][ 2 ][ 1 ][ 2 ][ 1 ]
+43  [ 2 ]  [ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 0 ][ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ]
+73  [ 2 ]  [ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 0 ][ 1 ][ 1 ][ 0 ][ 0 ]
+79  [ 4 ]  [ 1 ][ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 0 ][ 1 ]
+83  [ 2 ]  [ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ]
+89  [ 2 ]  [ 0 ][ 1 ][ 1 ][ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 0 ][ 1 ][ 0 ][ 1 ]
+151  [ 2 ]  [ 0 ][ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ]
+199  [ 2 ]  [ 1 ][ 0 ][ 1 ][ 1 ][ 0 ][ 1 ][ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 1 ]
+239  [ 4 ]  [ 0 ][ 2 ][ 1 ][ 0 ][ 1 ][ 2 ][ 0 ][ 0 ][ 1 ][ 1 ][ 0 ][ 1 ]
+263  [ 4 ]  [ 0 ][ 0 ][ 2 ][ 2 ][ 1 ][ 1 ][ 2 ][ 1 ][ 0 ][ 1 ][ 2 ][ 0 ]
+601  [ 4 ]  [ 2 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 1 ][ 2 ][ 2 ][ 1 ][ 2 ][ 1 ]
+617  [ 2 ]  [ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 1 ][ 0 ][ 0 ][ 1 ][ 0 ][ 1 ][ 0 ]
+1433  [ 2 ]  [ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ][ 0 ]
+3449  [ 2 ]  [ 1 ][ 0 ][ 1 ][ 0 ][ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 1 ][ 0 ][ 1 ]
+6199  [ 2 ]  [ 1 ][ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 0 ][ 1 ][ 0 ][ 0 ][ 1 ][ 0 ]
+1607849  [ 2 ]  [ 1 ][ 0 ][ 0 ][ 0 ][ 1 ][ 0 ][ 0 ][ 1 ][ 1 ][ 1 ][ 1 ][ 0 ]
+R [ 2 ]  [ 0 ][ 1 ][ 0 ][ 1 ][ 0 ][ 1 ][ 1 ][ 0 ][ 1 ][ 0 ][ 0 ][ 1 ]
+
+Global Tamagawa number:   25769803776
+Global Tamagawa exponent: 48
+lower height bound (egr points): 49.6596671139444
+bound on saturation index (egr points): 3621299
+lower height bound (all points): 0.0215536749626495
+bound on saturation index (all points): 43050497269923774464