TropicalFunGroup