Rotation Number and Exponential Dichotomy for Linear Hamiltonian Systems: From Theoretical to Numerical Results