FreeQ

FreeQ[ausdr, form] ergibt True, falls kein Unterausdruck in ausdr zu form paßt, und sonst False.

FreeQ[ausdr, form, stufe] testet nur die Teile von ausdr auf den durch stufe spezifizierten Ebenen.

form kann ein Muster sein.

Beispiel: FreeQ[f[x^2] + y^2, x^_].

FreeQ untersucht die Köpfe von Grund-Ausdrücken und testet, ob diese Köpfe zu form passen.

Siehe Das Mathematica Buch: 1.8.5, 2.1.5 und 2.3.5.

Siehe auch: MemberQ, Count.

Further Examples