Hi all! 
Is there any possibility in Maple to perform symbolic operations with arbitrary matrices (possibly given only the size of the matrix or it's structure (block matrices, diagonal matrix and so on)). For example, I would like to obtain the following results (input -> output). 

Possible code: 

assume(A, Matrix(n)): assume(B, Matrix): assume(E,IdentityMatrix(n)):