Category of matrices
This functionality does not run in MATLAB.
Cat::Matrix(R) represents the category of
matrices over the rng
Cat::Matrix(R) is a matrix of arbitrary
dimension over a component ring
In the following description of the methods, we use the following
notations for a matrix A from
a domain of category
nrows(A) denotes the number of rows and ncols(A) the number of columns of A.
Further on, a row index is an integer ranges from 1 to nrows(A), and a column index is an integer ranges from 1 to ncols(A).
A domain which must be from the category
is set to
Of course, this method may implement further possibilites to
create matrices (for example, see the method
the domain constructor
The matrices must be of the same domain type, otherwise
It only exists if
R is of category
Cat::Ring, i.e., a ring with
Note that there may be more than one representation of the zero
matrix of a given dimension if
R does not have
An error message is issued if the two matrices do not have the same number of rows.
A only consists of one column then
A only consists of one row then
An error message is issued if the two matrices do not have the same number of columns.