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