# Basis

## `Basis(M): ModSS -> SeqEnum`

A basis for $M$ as a ${\mathbb{Z}}$-module.