Add negative check to some arguments.
Use mpz_primorial_ui for primorial.
Add documentation.
Improve variable names.