IsSymmetric(M: MAT): BOOL
/**/ M := mat([ [1, 2, 3], [2, 4, 5], [3, 5, 6] ]); /**/ IsSymmetric(M); true