Контроль выражении

При создании программного обеспечения на языке Mathematica, а иногда и в ходе диалоговой работы с системой необходим контроль за некоторыми свойствами выражений. Следующие функции обеспечивают такой контроль:

AtomQ [expr] — возвращает True, если выражение ехрг не может быть разложено на подвыражения и является атомарным, и возвращает False в противном случае;
FreeQ [expr, form] — возвращает значение True, если в выражении ехрr отсутствует подвыражение, совпадающее с form, в противном случае возвращает False;
FreeQ[expr, form, levelspec] — тестирует только части выражения на уровнях, указанных levelspec.

Следующие примеры показывают действие этих функций.

Ввод (In)	Вывод (Out)
AtomQ [{a	False
AtomQ[2+3/4]	True
AtomQ [Sin]	True
FreeQ[a*x^b,a]	False
FreeQ [ a*x ^ b+c , 1 ]	True
FreeQ [a*x^b+c, 1,1]	True
FreeQ[a*x^b+c,b,2]}]	True

Содержание раздела