Thank you for replying. Yes. I understand what you said. Maple already has the greatest power for calculation of matrices defined as components. If Maple doesn't have some functions like what I wrote, I hope Maple does. I don't know it is really worth trying to develop this functionality and implement it to the next Maple. But I want to send my repuirement to the Maple developers. (However, I don't know how to send them repuirements...)

Ah... I understood. Sometimes I get the moment at which I really need the functionality while considering over abstract layer of calculation.