PARI/GP is a widely used computer algebra system designed for fast computations in number theory