Unit.
has
(*args, **kwargs)¶Test whether any subexpression matches any of the patterns.
Examples
>>> from sympy import sin
>>> from sympy.abc import x, y, z
>>> (x**2 + sin(x*y)).has(z)
False
>>> (x**2 + sin(x*y)).has(x, y, z)
True
>>> x.has(x)
True
Note that expr.has(*patterns)
is exactly equivalent to
any(expr.has(p) for p in patterns)
. In particular, False
is
returned when the list of patterns is empty.
>>> x.has()
False