tropicalizing

not defined yet