THE SECTION BELOW PROVIDES THE EIGENVAL MODULE IN THE ABSENCE OF SLEPC/PETSC (i.e. WITH_EIG not defined).