Cat::SquareMatrix -- the
category of square matrices
Introduction represents the
category of square matrices over the rng Cat::SquareMatrix(R)R.
Generating
the categoryCat::SquareMatrix(R)
ParametersR |
- | A domain which must be from the category Cat::Rng. |
Cat::Rng
, Cat::Matrix(R)
DetailsCat::SquareMatrix(R) represents the rng
(ring without unit) of square matrices over the coefficient domain
R.Defined if R is a ring: In this case the characteristic
of the matrix domain is the same as that of R.
Cat::SquareMatrixCat