On 2/29/08, Ralf Hemmecke wrote:
>
> 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 : Fin
Dear Martin and Ralf,
> In Aldor it might be possible to do
> better, but not in SPAD:
>
>(M: RectangularMatrix(n, m, R)) * (N: RectangularMatrix(m, k, R))
> -> RectangularMatrix(n, k, R)
>
> To be honest, I doubt that this would be very useful.
If this signature is too subtle for axiom,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> On 02/29/2008 09:27 AM, Martin Rubey wrote:
> > make SQMATCAT inherit from MATCAT.
>
> I am sure you don't want that.
I'm not so sure...
> We have
>
> MatrixCategory(R,Row,Col): Category == Definition where
>R : Ring
>Row : FiniteLinearAgg
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 ==> TwoDimensionalArrayC
