Just a basic frontend to PARI/GP.