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





 

К уроку 10


Функции трассировки и отладки программ

  • 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 (или эквивалент в родственных функциях). Он может быть переустановлен во время трассировки для изменения действия, предпринимаемого перед тем, как перехваченные выражения будут вычислены.

 

Назад Начало Вперед