Пример 1

В следующем двум примерам оценка выражения MuPAD предотвращена с помощью hold:

x := 2:
hold(3*0 - 1 + 2^2 + x)

hold(error("not really an error"))

Без hold результаты были бы следующие:

x := 2:
3*0 - 1 + 2^2 + x

error("not really an error")

Error: not really an error

Следующая команда предотвращает оценку операции _plus, но не оценку операндов:

hold(_plus)(3*0, -1, 2^2, x)

Обратите внимание на то, что в предыдущем примере, аргументы вызова функции оценены, потому что hold применяется только к функциональному _plus. В следующем примере аргумент вызова функции оценен, несмотря на то то, что f имеет опцию, содержите:

f := proc(a)
       option hold;
     begin
       return(a + 1)
     end_proc:
x := 2:
hold(f)(x)

Это происходит по следующей причине. Когда f оценен, опция, hold предотвращает оценку аргумента x f (см. следующий пример). Однако, если оценка f предотвращена hold, то опция, hold не имеет никакого эффекта и MuPAD, оценивает операнды, но не вызов функции.

Следующий пример показывает ожидаемое поведение:

f(x), hold(f(x))

Функциональный eval отменяет эффект hold. Обратите внимание на то, что это приводит к очень отличающимся результатам, в зависимости от того, как это применяется:

eval(f(x)), eval(hold(f)(x)), eval(hold(f(x))), eval(hold(f))(x)

Пример 2

Несколько вызовов hold могут быть вложены, чтобы предотвратить последующие оценки:

x := 2:
hold(x), hold(hold(x))

Результатом hold ( hold(x) ) является неоцененный операнд внешнего вызова hold, то есть, hold(x). Применение eval оценивает результат hold(x) и приводит к неоцененному идентификатору x:

eval(%)

Другое приложение eval приводит к значению x:

eval(%)

delete x, f:

Пример 3

Следующая команда предотвращает оценку операции _plus, заменяет его операцией _mult, и затем оценивает результат:

eval(subsop(hold(_plus)(2, 3), 0 = _mult))

Пример 4

Функциональный domtype оценивает свои аргументы:

x := 0:
domtype(x), domtype(sin), domtype(x + 2)

Используя hold, может быть определен доменный тип неоцененных объектов: x и sin являются идентификаторами, и x + 2 является выражением:

domtype(hold(x)), domtype(hold(sin)), domtype(hold(x + 2))

Пример 5

hold предотвращает только одну оценку объекта, но это не предотвращает оценку в более позднее время. Таким образом с помощью hold, чтобы получить символ без значения обычно является не хорошей идеей:

x := 2:
y := hold(x);
y

В этом примере удаляя значение идентификатора x делает его символом и использованием, hold не необходим:

delete x:
y := x;
y

Однако лучший способ получить новый символ без значения состоит в том, чтобы использовать genident:

y := genident("z");
y

delete y:

Пример 6

Рассмотрите кусочный заданный функциональный f (x), который является тождественно нулевым на отрицательной вещественной оси и равным на положительной вещественной оси:

f := x -> if x < 0 then 0 else exp(-x) end_if:

Эта функция не может быть вызвана с символьным аргументом, потому что условие x <0 не может быть решено:

f(x)

Error: Unable to evaluate to Boolean. [_less]
  Evaluating: f

Мы хотим интегрировать f численно. Однако числовой интегратор ожидает функцию как выражение:

numeric::int(f(x), x = -2..2)

Error: Unable to evaluate to Boolean. [_less]
  Evaluating: f

Решение состоит в том, чтобы подавить преждевременную оценку f при передаче функции с символьным аргументом. В числовом интеграторе численными значениями заменяют x, прежде чем функция будет вызвана и оценена:

numeric::int(hold(f)(x), x = -2..2)

Пример 7

Функциональный int не может вычислить закрытую форму следующего интеграла и отвечает на символьный звонок int:

int(sqrt(x)*sqrt(sqrt(x) + 1), x)

После изменения variablessqrt(x)=t может быть вычислена закрытая форма:

t := time():
f := intlib::changevar(int(sqrt(x)*sqrt(sqrt(x) + 1), x), sqrt(x) = y);
time() - t;
eval(f)

Измерение вычислительных времен с time показывает: Наиболее часто в вызове intlib::changevar потрачен в переоценке аргумента. Это может быть предотвращено при помощи hold:

t := time():
f := intlib::changevar(hold(int)(sqrt(x)*sqrt(sqrt(x) + 1), x),
                       sqrt(x) = y);
time() - t;

Возвращаемые значения

Объект Unevaluated.