tropicalization

not defined yet