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. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
