Re: Looking for Ada Technique Name and References

[Gautier <gautier.demontmollin@maths.unine.ch>]

Hi. The point with what you are trying to do is that the "*"
cannot know if its argument is transposed by nature...
unless you create a sort of matrices that are taken
as transposed! But it doesn't solve your pb.
The thing to do is "function Mult_transposed_by(..."
as suggested. No ambiguity... NB: For small matrices (3x3)
it's not so dramatic explicitely to transpose - since
you chose the functional writing that's is already a bit more expensive.
The real cost is with the multiplications. Transposing
is not too awful - no fp arithmetic and well cached. E.g.
I fill sparse matrices with tiny 4x4 up to 27x27 matrices
involved in expressions like 
 Transpose(Me4) + Transpose(Me3) + Re + Transpose(Me)
and the filling is very fast (DEC Ada on OpenVMS).

-- 
Gautier

_____\\________________\_______\
http://members.xoom.com/gdemont/