assumingAlso, _assumingAlso

Добавьте временное предположение

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

calculation assumingAlso condition
calculation assumingAlso (expr, set)
_assumingAlso(calculation, condition)
_assumingAlso(calculation, (expr, set))

Описание

calculation assumingAlso condition оценивает calculation под всеми существующими предположениями наряду с новым предположением, что condition верно для того вычисления.

calculation assumingAlso(expr, set) временно присоединяет свойство set к идентификатору или выражению expr и оценивает calculation. Этот вызов учитывает все предыдущие предположения, содержащие идентификаторы, используемые в expr.

calculation assumingAlso condition эквивалентно _assumingAlso(calculation, condition).

calculation assumingAlso (expr, set) эквивалентно _assumingAlso(calculation, (expr, set)).

assumingAlso наборы временные предположения в дополнение к существующим постоянным предположениям. Здесь, condition сохраняется только в то время как аргумент calculation оценен. После этой оценки, condition удален. Поэтому это не влияет на дальнейшие расчеты. condition также удален, если оценка останавливается с ошибкой.

Если предположения содержат линейные уравнения с одной переменной, assumingAlso решает эти уравнения. Затем команда вставляет решения в calculation и оценивает результат. Смотрите Пример 3.

Если expr список, вектор или матрица, используйте синтаксисы calculation assumingAlso(expr, set) и _assumingAlso(calculation, (expr, set)). Здесь, set задан как один из C_RQZN, или выражение, созданное с операциями присвоения, такими как unionпересечение, или minusНабор также может быть функция Type библиотека, например, Type::Real, Type::Integer, Type::PosInt, и так далее.

Не используйте синтаксисы calculation assumingAlso (expr in set) (или его эквивалентный _assumingAlso(calculation, expr in set)) и calculation assumingAlso condition (или его эквивалентный _assumingAlso(calculation, condition)) для нескалярного expr.

Примеры

Пример 1

Решите это уравнение без любых предположений на переменной x:

solve(x^5 - x, x)

Предположим, что ваши расчеты имеют дело с вещественными числами только. В этом случае используйте assume функционируйте, чтобы установить постоянное предположение что x isreal:

assume(x in R_)

Если вы решите то же уравнение теперь, вы получите три действительных решения:

solve(x^5 - x, x)

Чтобы получить только ненулевые решения для этого конкретного уравнения, используйте assumingAlso временно добавить соответствующее предположение:

solve(x^5 - x, x) assumingAlso x <> 0

После решения этого уравнения MuPAD® отбрасывает временное предположение, но сохраняет постоянное:

getprop(x)

Пример 2

Если вы уже используете постоянное предположение и хотите добавить временное предположение на том же объекте, не используйте assuming. Это временно перезаписывает постоянное предположение:

assume(x in Z_):
solve(x^3 - (44*x^2)/3 + (148*x)/3 - 80/3 = 0, x) assuming x < 5

Вместо этого используйте assumingAlso:

solve(x^3 - (44*x^2)/3 + (148*x)/3 - 80/3 = 0, x) assumingAlso x < 5

Пример 3

Если предположения содержат линейные уравнения с одной переменной, assumingAlso решает уравнения, вставляет решения в выражение, и затем выполняет выражение:

a^2 + 1 assumingAlso a - 2 = 1;

assume и assumeAlso не решайте уравнения:

assumeAlso(a - 2 = 1) ;
a^2 + 1

Параметры

calculation

Любая команда MuPAD или выражение, которое вы хотите выполнить под временным предположением.

condition

Равенство, неравенство, элемент отношения или булева комбинация (с операторами and или or).

expr

Идентификатор, математическое выражение, список, вектор или матрица, содержащая идентификаторы.

Если expr список, вектор или матрица, затем только синтаксисы calculation assumingAlso(expr, set) и _assumingAlso(calculation, (expr, set)) допустимы.

set

Свойство, представляющее набор чисел или набор, возвращенный solve. Этот набор может быть элементом Dom::Interval, Dom::ImageSet, piecewise, или один из C_RQZN. Это также может быть выражение, созданное с операциями присвоения, такими как unionпересечение или minus. Для большего количества примеров смотрите Свойства.

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

assumingAlso возвращает результат оценки calculation.

Для просмотра документации необходимо авторизоваться на сайте