Invariant cohomology computation done.

Seems to work correctly for the identity map on all three types of
Arnoux-Yoccoz's.