computations in tropical geometry