[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]