The quotient is the mapping torus of
A mapping torus of a cellular map has a finite CW structure. On integral homology, is on and and is on . The Wang sequence therefore gives
Over , the map is the identity. The Wang sequence splits as vector spaces into one copy of and one copy of , yielding