diff --git a/pymbolic/mapper/__init__.py b/pymbolic/mapper/__init__.py index baa0cfcf55fed15031820ef6859b61d46f28c5e5..5485e682e0890ce8649178150c449d07204393e0 100644 --- a/pymbolic/mapper/__init__.py +++ b/pymbolic/mapper/__init__.py @@ -493,6 +493,12 @@ class IdentityMapper(Mapper): self.rec(expr.then, *args, **kwargs), self.rec(expr.else_, *args, **kwargs)) + def map_min(self, expr, *args, **kwargs): + return type(expr)(tuple( + self.rec(child, *args, **kwargs) for child in expr.children)) + + map_max = map_min + # }}}