FreeQ

FreeQ(`expr`, `x`)

returns ‘True’ if expr does not contain the expression x.

Examples

>> FreeQ(y, x)
True
>> FreeQ(a+b+c, a+b)
False
>> FreeQ({1, 2, a^(a+b)}, Plus)
False
>> FreeQ(a+b, x_+y_+z_)
True
>> FreeQ(a+b+c, x_+y_+z_)
False
>> FreeQ(x_+y_+z_)(a+b)
True

Implementation status

• ✅ - full supported

Github

• Implementation of FreeQ