Mathematica. Организация справочной системы

Для вызова справки используются меню Help и его команда «Help Browser...». Справочная система Mathematica состоит из нескольких разделов, которые разделены на главы и подглавы. Всего имеется 7 частей помощи, они вынесены с помощью закладок.

Built-in Functions – список всех строенных функций приложения, разделенных по математическим областям (Численные вычисления, алгебраические, линейная алгебра и т.д.);

Add-on & links – описание стандартных пакетов Mathematica, которые расширяются ее встроенные функции;

The Mathematica Books – полноценный и очень подробный учебник по программе;

Front End – описание интерфейса программы (меню, горячие клавиши, ESC- последовательности и т.д.);

Getting Started - «быстрый старт», небольшой курс основ интерфейса программы;

Tour – небольшой курс основ вычислений в программе. Отличием от предыдущего является обзор математических возможностей программы;

Demos – различные примеры использования программы;

Master Index – главный индекс справочной системы. Содержит описание всех функций и ESC-последовательностей в упорядоченном по алфавиту списке.

Mathematica. Именование образца и его части. Примеры.

Образцу можно присваивать имя xxx_Head?Test. Имя части образца помещается перед именуемой частью и отделяется двоеточием PatternName: Pattern. Например: Convex[1,{P: {_?NumericQ, _?NumericQ}}, rest_] - выражение с головой Convex, имеющее своим первым аргументом число 1, вторым - список, состоящий из одного списка по имени P, третьим и следующими аргументами - некоторое выражение или последовательность выражений, которые именуются в дальнейшем rest.

Mathematica. Образцы, соответствующие условию. Примеры.

В Mathematica можно описывать множества выражений путем построения необходимых логических высказываний. Для этого используют встроенную функцию Condition. Ее инфиксная форма - /; Выражение - Pattern /; Condition. Примеры: x_ /; NumberQ[x] - некоторое число, x_ /; NumberQ[x]&&Im[x]=0 некоторое вещественное число, x_List /; VectorQ[x] - вектор, не содержащий подсписков и т.д.

Mathematica. Образцы, содержащие альтернативу. Примеры.

Если множество описываемых выражений не укладывается в один образец, используют несколько образцов, объединяя их в один при помощи функции Alternatives. Это многоместная функция, ее инфиксная форма имеет вид |. Pattern1 | Pattern2 |... | Patternn Пример: f[x: (_Integer | _Rational | _Complex)]:=Log[x] /; Positive[x]. Вычисляет лагорифм от выражений с головой либо Integer, либо Rational, либо Complex при условии, что они положительны.

Mathematica. Установка значений аргументов функции по умолчанию. Примеры.

При создании функций ее аргументы можно задать по умолчанию, используя конструкцию вида x_:Value. Пример: f[x_,y_:1,z_:2]:=p[x,y,z]

Mathematica. Использование в образцах встроенных по умолчанию значений. Примеры.

В работе с некоторыми образцами Mathematica, не найдя некоторых элементов в исходном выражении, может вместо недостающих данных использовать встроенные по умолчанию значения и продолжать вычисления. Такие выражения конструируются с помощью функции Optional. Выражение x. означает, что если на месте х ничего нет, тогда по умолчанию следует использовать встроенное значение. Примеры x_+y_ - сумма 2-х и более слагаемых; x_+y_. - одиночное выражение или сумма 2-х и более слагаемых; a_.x_^2+b_.x_+c_ - квадратное выражение с ненулевым линейным членом

Mathematica. Функции, осуществляющие поиск выражений, соответствующих образцу.

Функция MatchQ[expr, pattern] возвращает значение true, если соответствует. Чтобы правильно построить образец, надо использовать функции FullForm и Head, дающие информацию о полной форме выражения. Пример: MatchQ[Sqrt[3], _Real]