tropicalize - EE Dictionary | EE Dictionary