tropicalize

not defined yet