#diagonal_matrix__diagonalmatrix  a square matrix with all off-diagonal elements equal to zero
  supertype:  square_matrix  a matrix with the same number of rows and columns
  subtype:  scalar_matrix  a diagonal matrix in which all of the diagonal elements are equal
     subtype:  identity_matrix__unit_matrix  a scalar matrix in which all of the diagonal elements are unity

No statement uses or specializes diagonal_matrix; click here to add one.