https://pari.math.u-bordeaux.fr/ computer algebra system designed for fast computations in number theory