[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Setting elements in a matrix
From: |
Ralf Hemmecke |
Subject: |
Re: [Axiom-mail] Setting elements in a matrix |
Date: |
Fri, 29 Feb 2008 10:27:21 +0100 |
User-agent: |
Thunderbird 2.0.0.9 (X11/20071031) |
On 02/29/2008 09:27 AM, Martin Rubey wrote:
> make SQMATCAT inherit from MATCAT.
I am sure you don't want that.
We have
MatrixCategory(R,Row,Col): Category == Definition where
R : Ring
Row : FiniteLinearAggregate R
Col : FiniteLinearAggregate R
Definition ==> TwoDimensionalArrayCategory(R,Row,Col) with
...
coerce: Col -> %
transpose: Row -> %
horizConcat: (%,%) -> %
vertConcat: (%,%) -> %
...
There are even more functions that allow the result to be a non-square
matrix.
SquareMatrix *should not* inherit from MatrixCategory!!!
The better way would be to factor out a subcategory that doesn't change
the structure of the matrix and let SquareMatrix and MatrixCategory
inherit from that.
Ralf