Order of an ideal class (source code)

= Order of an ideal class

The order of the class of a fractional ideal $I$ is the least positive integer $n$ for which $I^n$ is principal.