[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [open-axiom-devel] [fricas-devel] Re: [Axiom-mail]
From: |
Francois Maltey |
Subject: |
[Axiom-developer] Re: [open-axiom-devel] [fricas-devel] Re: [Axiom-mail] Setting elements in a matrix |
Date: |
29 Feb 2008 15:07:54 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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.