• Off [s] — отключает сообщения трассировки, связанные с символом s.
• Off [m1, m2,...] — отключает несколько сообщений.
• Off[ ] — отключает все сообщения трассировки.
• On [s] — включает трассировку для символа s.
• On [m1, m2,...] — включает ряд сообщений.
• On [ ] — включает трассировку для всех символов.
• Trace [ехрг] — генерирует список всех выражений, используемых при вычислении ехрг.
• Trace[expr, form] —включает в список только те выражения, которые сопоставимы с form.
• Trace [ехрr, s] — включает в список все вычисления, которые используют правила преобразования, связанные с символом s.
• TraceDialog [ехрг] — инициирует диалог для каждого выражения, используемого при вычислении ехрr (на каждом шаге продолжение диалога осуществляется исполнением команды Return []).
• TraceDialog [expr, form] — инициирует диалог только для выражений, сопоставимых с form.
• TraceDialog [expr, s] — инициирует диалоги только для выражений, при вычислении которых используются правила преобразований, связанные с символом S.
• TraceLevel [ ] — всякий раз, когда вычисляется Trace [ ] или родственная функция, TraceLevel [ ] возвращает тот уровень ее выхода, который в данный момент заполняется.
• TracePrint [ехрr] — выводит (печатает) все выражения, используемые в процессе вычисления ехрг.
• TracePrint [expr, form] — включает в операцию только те выражения, которые совпадают с form.
• TracePrint [expr, s] — включает в вывод все вычисления, которые применяют правила преобразования, связанные с указанным символом s.
• TraceScan[f, expr] — применяет f ко всем выражениям, используемым при вычислении ехрr,
• TraceScan[f, expr, form] — включает только те выражения, которые сопоставимы с form.
• TraceScan [f, expr, s] — включает все вычисления, которые применяют правила преобразования, связанные с символом s.
• TraceScan [f, expr, form, fp] — применяет f до вычисления, a fp после вычисления к выражениям, используемым при вычислении ехрr.

С этими функциями могут использоваться следующие основные опции и относящиеся к ним значения:

• Traceforward — указывает, следует ли включать в вычислительную цепочку более поздние (последующие) выражения, которые содержат искомую форму шаблона.
• Tracelnternal — имея значения True или False, указывает, следует ли трассировать вычисления выражений, генерируемые внутри Mathematica. Вспомогательная установка Automatic трассирует выбранное множество внутренний вычислений, включая сообщения и установки или отмены установок видимых символов.
• $TraceOff — является значением активной в данный момент опции Trace-Off, относящейся к Trace и родственным функциям. В течение трассировки она может быть переустановлена для изменения множества выражений, в которых трассировка заблокирована.
• TraceOf f — отключает трассировку.
• $ТгасеОn — является значением активной в данный момент опции ТгасеОn, относящейся к функции Trace и родственным функциям. Она может быть переустановлена в процессе трассировки для изменения множества выражений, в которых трассировка произойдет.
• ТгасеОп — включает трассировку.
• TraceOriginal — указывает, следует ли проверять форму каждого выражения перед вычислением его заголовка и аргументов.
• $TracePattern — активный в данный момент параметр-шаблон, относящийся к Trace и родственным функциям. Он может быть переустановлен в процессе трассировки для изменения множества записываемых или выводимых выражений.
• $TracePostAction — активный в данный момент четвертый параметр функции TraceScan (или эквивалент в родственных функциях). Он может быть переустановлен во время трассировки для изменения операции, применяемой после того, как перехваченные выражения вычислены.
• $TracePreAction — активный в данный момент первый аргумент функции TraceScan (или эквивалент в родственных функциях). Он может быть переустановлен во время трассировки для изменения действия, предпринимаемого перед тем, как перехваченные выражения будут вычислены.