Other Functions on Modules

[Future release] Dual(M) : ModOrd -> ModOrd

The module dual to M.

ElementaryDivisors(M, N) : ModOrd, ModOrd -> SeqEnum

The elementary divisors (ideals) of the torsion part of the quotient R-module M/N: For N subseteq M we get T(M/N) isomorphic to oplus_(i=1)^n R/(frac A_i) The (frac A_i) are unique if we require R subseteq (frac A_1) subseteq ... subseteq (frac A_n). The (frac A_i) are called the elementary divisors (or elementary ideals) of M/N. This corresponds to the Smith normal form for integral matrices.

Reduce(M) : ModOrd -> ModOrd, Map

The module M in normal form. A map from M into the normal form can also be returned.

[Future release] Steiniz(M) : ModOrd -> RngOrdIdl

The Steiniz class of M.