diff --git a/tests/in_no_ntl/tsatbnd.in b/tests/in_no_ntl/tsatbnd.in index 0199f580..9dd4efd9 100644 --- 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 index c57bddec..e5988f76 100644 --- 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