Email Record: REDUCE-aided study of a problem in Hermitian matrix theory