For my thesis, I need to study hundreds of maximal orders. So hand computations are unwelcome!!!
I would like to know if there is a way to prove that the maximal order of a number field is monogenic by using GP-Pari.
I checked in the documentation but I did not find that.
Does anyone have an idea how to do that?
Thanks in advance.