[math-fun] characteristic polys of real symmetric matrices