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

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