#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.