LEVEL
Глубина замены идентификаторов
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.
Описание
Переменная окружения LEVEL определяет максимальную глубину замены идентификаторов.
Возможные значения: положительное целое число, меньшее, чем 231.
Когда объект MuPAD® оценен, идентификаторы, происходящие в нем, заменяются их значениями. Это происходит рекурсивно, т.е. если сами значения содержат идентификаторы, то они заменяются также. LEVEL определяет максимальную глубину рекурсии этого процесса.
Технически, оценка объекта MuPAD работает можно следующим образом. Для составного объекта обычно сначала операнды оценены рекурсивно, и затем сам объект оценен. Например, если объект является вызовом функции с аргументами, аргументы оценены сначала, и затем функция выполняется с оцененными аргументами.
Относительно оценки идентификаторов текущая глубина замены зарегистрирована внутренне. Первоначально, это значение является нулем. Если с идентификатором сталкиваются во время рекурсивного процесса оценки, аналогичного описанному выше, и текущая глубина замены меньше, чем LEVEL, затем идентификатор заменяется его значением, текущая глубина замены увеличена на одну и доходы оценки рекурсивно со значением идентификатора. После того, как идентификатор был оценен, текущая глубина замены сбрасывается к ее предыдущему значению. Если текущая глубина замены равняется LEVEL, однако, затем остановки рекурсии и идентификатор остаются неоцененными.
Примечание
Значение по умолчанию LEVEL на интерактивном уровне 100. Однако значение по умолчанию LEVEL в рамках процедуры 1. Затем идентификатор только заменяется его значением, которое не оценено рекурсивно.
Значение LEVEL может быть изменен в рамках процедуры, но она сбрасывается к 1 каждый раз новая процедура вводится. После того, как процедура возвращается, LEVEL сбрасывается к его предыдущему значению. Смотрите Пример 3.
Примечание
Оценка локальных переменных и формальные параметры процедур, типа DOM_VAR, не затронут LEVEL: они всегда оцениваются с глубиной замены 1. Это означает, что локальная переменная или формальный параметр заменяются его значением, когда оценено, но значение не оценено далее.
Смотрите пример 3.
Смотрите пример 4.
Функциональный eval оценивает его аргумент с глубиной замены, данной LEVEL, и затем оценивает результат снова с той же глубиной замены.
Вызов level(object, n) оценивает его аргумент с глубиной замены n, независимый от значения LEVEL.
Если, во время оценки, глубина замены MAXLEVEL, достигнут, затем оценка отключена с ошибкой. Это - эвристика для распознавания рекурсивных определений, как в примере delete a; a := a + 1; a. Здесь, a был бы заменен a + 1 бесконечно часто. Обратите внимание на то, что это не оказывает влияния если MAXLEVEL больше LEVEL. Значение по умолчанию MAXLEVEL 100, т.е. это равно значению по умолчанию LEVEL на интерактивном уровне. Однако различающийся LEVEL, MAXLEVEL не изменяется в рамках процедуры, и следовательно рекурсивные определения обычно не распознаются в рамках процедур. Смотрите страницу справки MAXLEVEL для примеров.
Значение по умолчанию LEVEL 100 на интерактивном уровне; LEVEL имеет это значение после запуска или сброса системы через reset. В рамках процедуры значением по умолчанию является 1. Команда delete LEVEL восстанавливает значение по умолчанию.
Примеры
Пример 1
Мы демонстрируем эффект различных значений LEVEL на интерактивном уровне:
delete a0, a1, a2, a3, a4, b: b := b + 1: a0 := a1: a1 := a2 + 2: a2 := a3 + a4: a3 := a4^2: a4 := 5:
LEVEL := 1: a0, a0 + a2, b; LEVEL := 2: a0, a0 + a2, b; LEVEL := 3: a0, a0 + a2, b; LEVEL := 4: a0, a0 + a2, b; LEVEL := 5: a0, a0 + a2, b; LEVEL := 6: a0, a0 + a2, b; delete LEVEL:
Пример 2
В следующих вызовах, идентификатор a полностью оценен:
delete a, b, c: a := b: b := c: c := 7: a
После присвоения значения 2 к LEVELA оценен только с глубиной два:
LEVEL := 2: a; delete LEVEL:
Если мы устанавливаем MAXLEVEL к 2 также, оценка a производит ошибку, несмотря на то, что нет никакого рекурсивного включенного определения:
LEVEL := 2: MAXLEVEL := 2: a
Error: Recursive definition: Reached maximal evaluation level.
delete LEVEL, MAXLEVEL:
Пример 3
Этот пример показывает различие между оценкой идентификаторов и локальными переменными. По умолчанию, значение LEVEL 1 в рамках процедуры, т.е. глобального идентификатора заменяется его значением, когда оценено, но нет никакой дальнейшей рекурсивной оценки. Это изменяется когда LEVEL присвоен большее значение в процедуре:
delete a0, a1, a2, a3:
a0 := a1 + a2: a1 := a2 + a3: a2 := a3^2 - 1: a3 := 5:
p := proc()
save LEVEL;
begin
print(a0, eval(a0)):
LEVEL := 2:
print(a0, eval(a0)):
end_proc:p()
В отличие от этого оценка локальной переменной заменяет его своим значением без дальнейшей оценки. Когда eval применяется к объекту, содержащему локальную переменную, затем эффект является оценкой значения локальной переменной с глубиной замены LEVEL:
q := proc()
save LEVEL;
local x;
begin
x := a0:
print(x, eval(x)):
LEVEL := 2:
print(x, eval(x)):
end_proc:
q()
Команда x:=a0 присваивает значение идентификатора a0, а именно, неоцененное выражение a1+a2, к локальной переменной x, и x заменяется этим значением каждый раз, когда оно оценено, независимо от значения LEVEL.
Пример 4
LEVEL не влияет на оценке polynomials:
delete a, x: p := poly(a*x, [x]): a := 2: x := 3: p, eval(p); LEVEL := 1: p, eval(p); delete LEVEL:
То же самое верно для arrays и tables:
delete a, b: A := array(1..2, [a, b]): T := table(a = b): a := 1: b := 2: A, eval(A), T, eval(T); LEVEL := 1: A, eval(A), T, eval(T); delete LEVEL:
