Test that diagonalization generates proper matrices

> SW - (RSW . SSW . SSW . Transpose(RSW));