[math-fun] Characteristic polynomial question