Документация

Используйте утверждения

Если вы полагаетесь на правильность конкретных операторов для вашего кода, то рассматриваете включая эти операторы в коде. Такие операторы называются утверждениями. Утверждения помогают вам помнить особые условия, при которых вы ожидали выполнять свой код. Они могут также помочь другим разработчикам, которые могут должны быть рассмотреть или обновить ваш код.

MuPAD^® позволяет вам использовать проверяемые утверждения. Если вы переключаетесь на специальный режим выполнения вашего кода, система оценивает утверждения в течение времени выполнения. Если утверждение не оценивает к TRUE, система останавливает выполнение кода и выдает ошибку.

Например, эта процедура решает уравнение sin (x) + cos (x) = a ². Предположим, что вы получаете параметр a в результате некоторых вычислений, и вы ожидаете условие быть всегда допустимыми. Полагаясь на это условие, вы ожидаете решения быть действительными. Задайте это условие как утверждение при помощи assert:

f := proc(a)
begin
  assert(a^2 <= sqrt(2));
  s := solve(sin(x) + cos(x) = a^2)
end:

Утверждения проверяются только, когда вы запускаетесь, ваш код в специальном режиме вызвал режим проверки аргументов. В противном случае система игнорирует все утверждения. Например, в этом вызове процедуры, MuPAD пропускает утверждение и возвращает следующий комплексный результат:

f(4/3)

Чтобы переключиться на режим проверки аргументов, установите значение testargs к TRUE:

testargs(TRUE):

Теперь, когда вы вызываете процедуру f, MuPAD проверяет утверждение. Для   a = 4/3 утверждение оценивает к FALSE и остановкам осуществления процедуры с ошибкой:

f(4/3)

Error: Assertion 'a^2 <= sqrt(2)' has failed. [f]

Для   a = 1 утверждение оценивает к TRUE. Вызов процедуры выполнение до завершения и возвращает следующий набор действительных решений:

f(1)

Режим проверки аргументов может замедлить ваши вычисления. Используйте этот режим только для отладки вашего кода. Всегда восстанавливайте testargs к его значению по умолчанию FALSE после того, как вы закончите отлаживать:

testargs(FALSE):