Пример 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 'off' (см. следующий пример). Однако, если оценка 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.