CoCoA » CoCoALib

The function gens for a submodule of a freemodule produces a set of generators (but with no special guarantees).
There should also be a function which produces a list of module elements being the standard basis for a freemodule.

It should be fairly trivial to implement.

Two ideas:
1 - basis(FM);
2 - gens(FM); (with a comment in the manual saying that, for a FreeModule, returns the standard basis)

If we want a special fn for getting the standard/canonical basis for a free module then it could be called CanonicalBasis; this fn would throw if the arg is not a free module.

Probably gens applied to a free module should return the canonical basis, but I'm unsure whether we should state this in the documentation.

An advantage of a new special fn is that whoever is reading the code knows that the arg should/must be a free module; whereas if the code calls gens then whoever is reading the code cannot "clearly assume" that the arg is a free module (at least, not based on this fn call).