[Axiom-developer] Re: [open-axiom-devel] [fricas-devel] Re: [Axiom-mail] Setting elements in a matrix

[Francois Maltey]

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, 
then bad size matrix must produce an error, 
and per homogeneity, all other mismatchs over dimensions 
must also produce an error.

But... type must remain fine in order to verify as easily as possible 
the Cayley-Hamilto theorem.

Good luck and courage.

F.