  Any continuous, transitive, piecewise monotonic map is determined up to a
binary choice by its dimension module with the associated finite sequence of
generators. The dimension module by itself determines the topological entropy
of any transitive piecewise monotonic map, and determines any transitive
unimodal map up to conjugacy. For a transitive piecewise monotonic map which is
not essentially injective, the associated dimension group is a direct sum of
simple dimension groups, each with a unique state.
