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
def test_min():
assert min_(5, 4) == 4