IsPrimePower

IsPrimePower(n, p) returns whether n is a power of the prime number p. See also the GAP's function IsPrimePowerInt.