This function determines whether a polynomial over a finite
field (of char p) is a p-th power.
If the coefficient ring is not a finite field then an error is signalled.
Example
/**/ use ZZ/(7)[x];
/**/ IsPthPower(x^7+3);
true
/**/ IsPthPower(x^6+3);
false