Компьютерная алгебра в программе Mathematica 4

         

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



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

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



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