def _inf(self): # We use min_ so that sup is meaningful in combination with symbolic # interval end points. from sympy.functions.elementary.miscellaneous import min_ inf = self.args[0].inf for set in self.args[1:]: inf = min_(inf, set.inf) return inf
def test_min(): assert min_(5, 4) == 4