Добавьте предположение на символьном объекте
assumeAlso( состояния, что condition)condition допустимо для всех символьных переменных в condition. Это сохраняет все предположения, ранее установленные на этих символьных переменных.
Установите использование предположений assume. Затем добавьте больше использования предположений assumeAlso.
Решите это уравнение, принимающее это оба x и y являются неотрицательными.
syms x y assume(x >= 0 & y >= 0) s = solve(x^2 + y^2 == 1, y)
Warning: Solutions are valid under the following conditions: x <= 1; x == 1. To include parameters and conditions in the solution, specify the 'ReturnConditions' value as 'true'. > In solve>warnIfParams (line 482) In solve (line 357) s = (1 - x)^(1/2)*(x + 1)^(1/2) -(1 - x)^(1/2)*(x + 1)^(1/2)
Решатель предупреждает, что оба решения содержат только при определенных обстоятельствах.
Добавьте предположение что x < 1. Чтобы добавить новое предположение, не удаляя предыдущее, используйте assumeAlso.
assumeAlso(x < 1)
Решите то же уравнение под расширенным набором предположений.
s = solve(x^2 + y^2 == 1, y)
s = (1 - x)^(1/2)*(x + 1)^(1/2)
Для дальнейших расчетов очистите предположения.
assume([x y],'clear')
Установите использование предположений syms. Затем добавьте больше использования предположений assumeAlso.
При объявлении символьной переменной n, установите предположение что n положительно.
syms n positive
Используя assumeAlso, добавьте больше предположений на той же переменной n. Например, примите также тот n целое число.
assumeAlso(n,'integer')
Возвратите все предположения, влияющие на переменную n использование assumptions. В этом случае, n положительное целое число.
assumptions(n)
ans = [ 0 < n, in(n, 'integer')]
Для дальнейших расчетов очистите предположения.
assume(n,'clear')
Используйте предположение на матрице как ярлык для установки того же предположения на каждом элементе матрицы.
Создайте 3х3 символьную матрицу A с автоматически сгенерированными элементами. Принимать каждый элемент A рационально, задайте set как 'rational'.
A = sym('A',[3 3],'rational')A = [ A1_1, A1_2, A1_3] [ A2_1, A2_2, A2_3] [ A3_1, A3_2, A3_3]
Теперь добавьте предположение что каждый элемент A больше 1.
assumeAlso(A > 1)
Возвратите предположения, влияющие на элементы A использование assumptions:
assumptions(A)
ans = [ 1 < A1_1, 1 < A1_2, 1 < A1_3, 1 < A2_1, 1 < A2_2, 1 < A2_3,... 1 < A3_1, 1 < A3_2, 1 < A3_3,... in(A1_1, 'rational'), in(A1_2, 'rational'), in(A1_3, 'rational'),... in(A2_1, 'rational'), in(A2_2, 'rational'), in(A2_3, 'rational'),... in(A3_1, 'rational'), in(A3_2, 'rational'), in(A3_3, 'rational')]
Для дальнейших расчетов очистите предположения.
assume(A,'clear')
Когда вы добавляете предположения, гарантируете, что новые предположения не противоречат предыдущим предположениям. Противоречие предположениям может привести к противоречивым и непредсказуемым результатам. В некоторых случаях, assumeAlso обнаруживает конфликтные предположения и выдает ошибку.
Попытайтесь установить предположения противоречия. assumeAlso возвращает ошибку.
syms y assume(y,'real') assumeAlso(y == i)
Error using mupadengine/feval (line 172)
Inconsistent assumptions.
Error in sym/assumeAlso (line 627)
feval(symengine, 'assumeAlso', cond);assumeAlso не гарантирует, что обнаружил предположения противоречия. Например, примите тот y является ненулевым, и оба y и y*i действительные значения.
syms y assume(y ~= 0) assumeAlso(y,'real') assumeAlso(y*i,'real')
Возвратите все предположения, влияющие на переменную y использование assumptions:
assumptions(y)
ans = [ in(y, 'real'), in(y*1i, 'real'), y ~= 0]
Для дальнейших расчетов очистите предположения.
assume(y,'clear')
assumeAlso сохраняет все предположения ранее установленными на символьных переменных. Чтобы заменить предыдущие предположения на новое, используйте assume.
При добавлении предположений всегда проверяйте, что новое предположение не противоречит существующим предположениям. Чтобы видеть существующие предположения, использовать assumptions. Symbolic Math Toolbox™ не гарантирует, что обнаружил конфликтные предположения. Конфликтные предположения могут привести к непредсказуемым и противоречивым результатам.
Когда вы удаляете символьную переменную от использования рабочей области MATLAB® clear, все предположения, что вы устанавливаете на той переменной, остаются в символьном механизме. Если позже вы объявляете новую символьную переменную с тем же именем, это наследовало эти предположения.
Очистить весь набор предположений на символьной переменной var используйте эту команду.
assume(var,'clear')Чтобы очистить все объекты в рабочем пространстве MATLAB и закрыть механизм Symbolic Math Toolbox, сопоставленный с рабочим пространством MATLAB, сбрасывающим все его предположения, используйте эту команду.
clear allКомплексные числа проектов MATLAB в неравенствах к вещественной оси. Если condition неравенство, затем обе стороны неравенства должны представлять действительные значения. Неравенства с комплексными числами недопустимы, потому что поле комплексных чисел не является упорядоченным полем. (Невозможно сказать ли 5 + i больше или меньше, чем 2 + 3*i.), Например, x > i становится x > 0, и x <= 3 + 2*i становится x <= 3.
Тулбокс не поддерживает предположения на символьных функциях. Сделайте предположения на символьных переменных и выражениях вместо этого.
Вместо того, чтобы добавить предположения один за другим, можно установить несколько предположений в одном вызове функции. Чтобы установить несколько предположений, использовать assume и объедините эти предположения при помощи логических операторов and, or, xor, not, all, any, или их ярлыки.