Ideal Class Monoid

ICM_bar(S) : AlgEtQOrd -> SeqEnum
    GRH: BoolElt                        Default: false
Returns the ideal classes of fractional S-ideals having Multiplicator Ring equal to S. This is the same as the orbit of the action of PicardGroup(S) on WKICM_bar(S).
ICM(S) : AlgEtQOrd -> SeqEnum
    GRH: BoolElt                        Default: false
Returns the ideal class monoid of the order S, that is, a set of representatives for the isomorphism classes of the fractional S-ideals.
V2.29, 21 October 2025