Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Compute facts about modules

I am new to programming in general but in my project, I am required to work with a finite set 𝑆={𝐴_1,...,𝐴_𝑛} of 𝑚×𝑛 matrices over a finite ring 𝑅 , and the submodule 𝑀 they generate. To be more specific, I would like to compute facts such as: Maximal lin. indep. set of columns for each matrix, maximal lin. indep. subset of 𝑆 , minimal generating set of 𝑀 , span of S, length of 𝑀 and a composition series if it exists, and free rank of largest free submodule of 𝑀 (or possibly the set of all submodules/free submodules of 𝑀 , which is finite since 𝑅 and 𝑆 are finite). However, while browsing through the documentation in the Sage website, I found very little in terms of commands that compute the above facts for suitable 𝑅 , could someone point out a package or set of commands that compute (some of) the above stuff? I apologize in advance if the question violates forum rules.