(matrix,Matrix)

matrix f -- produce the matrix of a map f.

If the source and target of f are free, then the result is f itself. Otherwise, the source and target will be replaced by the free modules whose basis elements correspond to the generators of the modules.

See also map and matrix.

topindexpreviousupnext