Abstract: The computation of the tropical prevariety $P$ of a polynomial system $f$ requires the intersection of normal cones to the Newton polytopes of $f$. It is a generalization of the mixed volume computation, and a necessary first step in the generalization of polyhedral homotopies from isolated solutions to positive dimensional solution sets.