выполнение матричных преобразований в Maple

[Grom]

Доброго времени суток!
Возможно, я не по теме, однако помогите пожалуйста понять, как реализовывать в мэпле матричные преобразования.
имеется матричное уравнение в виде допустим

ур-е1:= D=A.D.A+

(А, D - матрицы; + - транспонирвоание, . - матичное умножение)
необходимо проводить допутстим примерно такие преобразования этого уравнения

A=B.C^(-1)

и получать

D=B.C^(-1).D.(B.C^(-1))+

затем группировать, упрощать и тп

дело в том, что матрицы в мэпле задаются весьма конкретно - по крайней мере с размерами, или более того со значениями элементов
и мэпл вместо желаемого выдаёт все в виде

|d11 d12| = |b11*c11*d11 ... |
|d21 d22|   | ...        ... |

такой вид мне не нужен, по нему я асболютно не могу понять, что за конструкцию получил
можно ли преобразовывать, упрощать, группировать в мэпле матричные уравнения, как обычные?
возможно, будет удобно использовать какую-то другую систему (пока посоветовали maxima для преобразований)
надеюсь понятно объяснил, спасибо за помощь!