  We give an explicit upper bound for the degree of a tropical basis of a
homogeneous polynomial ideal. As an application f-vectors of tropical varieties
are discussed. Various examples illustrate differences between Gr\"obner and
tropical bases.
