PARI GP ispseudoprime

To be completed...