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
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
