Install libratpoints-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libratpoints-dev
Description:
development files for libratpoints
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 development files for the library.
Homepage: http://www.mathe2.uni-bayreuth.de/stoll/programs/
Version: 1:2.1.3-1build1
Section: universe/libdevel