Yes indeed, tropicalization = tropical variety of an ideal. For computing that, I do recommend installing gfan (even if you wanted to use it through our interface, you'd still need to install it separately). Singular should also have its own tropicalization functions soon, but I don't know if that i...