Top
Back: map related functions (plural)
Forward: module declarations (plural)
FastBack: map (plural)
FastForward: poly (plural)
Up: Data types (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.2.3 module (plural)

Modules are left submodules of a free module over the basering with basis gen(1), gen(2), ..., gen(n) for some natural number n.
They are represented by lists of vectors, which generate the left submodule. Like vectors, they can only be defined or accessed with respect to a basering.

If $M$ is a left submodule of $R^n$(where $R$ is the basering) generated by vectors $v_1, \ldots, v_k$, then these generators may be considered as
the generators of relations of $R^n/M$between the canonical generators gen(1),...,gen(n). Hence, any finitely generated $R$-module can be represented in PLURAL by its module of relations.
The assignments module M=v1,...,vk; matrix A=M; create the presentation matrix of size $n \times k$ for $R^n/M$, i.e. the columns of A are the vectors $v_1, \ldots, v_k$ which generate $M$.

7.2.3.1 module declarations (plural)  
7.2.3.2 module expressions (plural)  
7.2.3.3 module operations (plural)  
7.2.3.4 module related functions (plural)  


Top Back: map related functions (plural) Forward: module declarations (plural) FastBack: map (plural) FastForward: poly (plural) Up: Data types (plural) Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.