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