tropicalization (tropical + -ization; action_result)
The process of tropicalizing