  Tropical algebraic geometry offers new tools for elimination theory and
implicitization. We determine the tropicalization of the image of a subvariety
of an algebraic torus under any homomorphism from that torus to another torus.
