Support zero eigenvalues, better instructions, more tests