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