TROPICALIZATION

Definition of TROPICALIZATION