computing generating elements of ZZ_p^* ?

Hello,

I wonder whether Maxima contains the following functionality (couldn't
find it):

Let p be a prime number, and consider the residual field ZZ_p (residual
classes modulo p with modular addition and multiplication).
ZZ_p^* = {1,...,p-1} together with the multiplication is a cyclic group:
now what is needed is a test to determine whether an element i is a generating
element --- is this somehow in Maxima?

Thanks for your attention.

Oliver