Basis

Basis(M) : ModSS -> SeqEnum
A basis for M as a Z-module.
V2.28, 13 July 2023