simpler to-identity-matrix

  Perhaps this functionality should be provided by an external matrix
  library.