forked from JohnCremona/eclib
/
mwrank.cc
110 lines (90 loc) · 3.16 KB
/
mwrank.cc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
// mwrank.cc: program to find Mordell-Weil group via 2-descent and saturation
//////////////////////////////////////////////////////////////////////////
//
// Copyright 1990-2012 John Cremona
//
// This file is part of the eclib package.
//
// eclib is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2 of the License, or (at your
// option) any later version.
//
// eclib is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
// for more details.
//
// You should have received a copy of the GNU General Public License
// along with eclib; if not, write to the Free Software Foundation,
// Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
//
//////////////////////////////////////////////////////////////////////////
#include <eclib/mwprocs.h>
#include <eclib/getcurve.h>
#include <eclib/timer.h>
#include <eclib/options.h>
#include <eclib/descent.h>
#include <eclib/version.h>
#define MAX_HEIGHT 20 // will never search for points on curve of naive
// logarithmic height greater than this
#define SEARCH_METHOD 0 // 0 for Stoll sieve (fastest)
// 1, 2, 3 for JC's sieve
int main(int argc, char **argv)
{
mrank_options opt;
opt.set(argc, argv);
int verbose = (opt.get_verbose());
//opt.show();
if(!opt.get_quiet()) {opt.banner(1); show_version();}
#if defined(NTL_ALL)
long decimal_precision=opt.get_precision();
set_precision(decimal_precision);
if(verbose) cerr<<"Using NTL multiprecision floating point with "
<<decimal_precision <<" decimal places.\n";
#else
cout.precision(15);
cerr.precision(15);
#endif
initprimes("PRIMES",0);
cin.flags( cin.flags() | ios::dec ); //force decimal input (bug fix)
init_time();
long sat_bd = opt.get_saturation_bound();
int selmer_only = (opt.get_selmer_only());
int second_descent = (opt.get_second_descent());
long hlimq = (opt.get_hlimq());
long hlimq0 = hlimq; if(hlimq0!=0) hlimq0=10;
Curvedata CD;
vector<bigrational> ai;
// while ( getcurve(CD,!opt.get_quiet()) )
while ( getcurve(ai,!opt.get_quiet()) )
{
cout << "Curve "<<
"["<<ai[0]<<","<<ai[1]<<","<<ai[2]<<","<<ai[3]<<","<<ai[4]<<"] :\t";
start_time();
// Step 1: 2-descent
two_descent two_d(ai, verbose, selmer_only,
hlimq0, hlimq,
opt.get_naux(), second_descent);
two_d.report_rank();
if((!two_d.ok())||selmer_only) continue; // to next curve
if(!verbose&&!opt.get_ptl()&&!opt.get_output_pari()) continue;
// no point in saturating since no points are output
// Step 2: saturation
two_d.saturate(sat_bd);
// Step 3: output
if(verbose||opt.get_ptl())
two_d.show_gens();
if(verbose)
two_d.show_result_status();
// Optional Pari interface output:
if(opt.get_output_pari())
{
two_d.pari_output();
cout<<endl;
}
stop_time();
if(verbose) {show_time(cerr); cerr<<endl;}
}
cout<<endl;
}