tropicalise

  1. (bkz: tropicalize ) / (bkz: tropicalization )