Контроль выражении
При создании программного обеспечения на языке 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 |
