Install libratpoints-2.1.3 by entering the following commands in the terminal:
sudo apt update sudo apt install libratpoints-2.1.3
Description:
library for finding rational points on hyperelliptic curves
This program tries to find all rational points within a given height bound on a hyperelliptic curve in a very efficient way, by using an optimized quadratic sieve algorithm. . This package contains the shared library.
Homepage: http://www.mathe2.uni-bayreuth.de/stoll/programs/
Version: 1:2.1.3-1build1
Section: universe/libs