Comprobando

> DIAGONAL(A):

> evalm(transpose(P)&*A&*P-%);

[Maple Math]