Invariant manifolds, quasi-periodic maps, computation