Accessing Module Information

M . i : ModTupRng, RngIntElt -> ModElt

Given an R-module M and a positive integer i, return the i-th generator of M.

CoefficientRing(M) : ModTupRng -> Rng

BaseRing(M) : ModTupRng -> Rng

Given an R-module M which is defined as a submodule of S^((n)), return the ring S.

Generators(M) : ModTupRng -> { ModTupElt }

The generators for the R-module M, returned as a set.

OverDimension(M) : ModTupRng -> RngIntElt

Given an R-module M which is an embedded submodule of the module S^((n)), return n.

OverDimension(u) : ModTupRngElt -> RngIntElt

Given an element of an embedded submodule of the module S^((n)), return n.

Moduli(M) : ModTupRng -> [ RngElt ]

The column moduli of the module M over a euclidean domain.

Parent(u) : ModTupElt -> ModRng

Given an element u belonging to the R-module M, return M.

Generic(M) : ModRng -> ModRng

Given an R-module M which is a submodule of the module R^((n)), return the module R^((n)) as an R-module.