Diofantos - published revised paper release

Description

This is the latest release of Diofantos, corresponding to the published paper, an updated version of First releas: paper version.
Essential files

For trying out the software, I recommend downloading (instead of all 7GB results) only a few following files in the top folder (where exact_ed.py is located):

exact_ed.py
diophantine_solver.py
doones.py
linear_database_newbl.csv
cores_test.csv
sindy_oeis.py
blacklist.py (redundant, feel free to remove it from the code)

The list above is not checked so please make sure there are no import errors.
Get essential files via git

Optionally use git to automatically download the essential files to try out the method:
git clone -n --depth=1 --filter=tree:0 https://github.com/B0Gec/Diofantos
cd Diofantos
git restore --source cf66eec6d45f6cbc0bc5d0b2da0361332a811484 exact_ed.py diophantine_solver.py doones.py cores_test.csv sindy_oeis.py blacklist.py
In the end download linear_database_newbl.csv manually since it is stored as git lfs (large files).

And ignore files under the GitHub "Assets" section.
Simple example

of execution in terminal:

python doones.py --task_id 14 --exper_id output_dir

will produce the output file results/output_file/00014_A000045.txt with similar content:

While total time consumed by now, scale:15/164, seq_id:A000045, order:10 took:
0.6 seconds, i.e. 0.01 minutes or 0.0 hours.
CORELIST True, SINDy False, GROUND_TRUTH False, SINDy_default True
Library: n, max_order 10, threshold: 0.1

by degree: 1 and order: 2.
A000045:
a(n) = a(n - 2) + a(n - 1)
truth:

• checked against website ground truth.
  True - "manual" check if equation is correct.