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

Предположение по умолчанию

В Symbolic Math Toolbox™ символьные переменные являются комплексными переменными по умолчанию. Например, если вы объявляете z как символьное переменное использование

syms z

затем MATLAB® принимает тот z комплексная переменная. Можно всегда проверять, принята ли символьная переменная, чтобы быть комплексной или действительной при помощи assumptions. Если z является комплексным, assumptions(z) возвращает пустой символьный объект:

assumptions(z)
ans =
Empty sym: 1-by-0

Установите предположения

Чтобы установить предположение на символьной переменной, используйте assume функция. Например, примите что переменная x является неотрицательным:

syms x
assume(x >= 0)

assume замены все предыдущие предположения на переменной с новым предположением. Если вы хотите добавить новое предположение существующим предположениям, используйте assumeAlso. Например, добавьте предположение что x также целое число. Теперь переменная x неотрицательное целое число:

assumeAlso(x,'integer')

assume и assumeAlso позвольте вам утвердить, что переменная или выражение принадлежат одному из этих наборов: целые числа, положительные числа, рациональные числа и вещественные числа.

В качестве альтернативы можно установить предположение при объявлении символьной переменной с помощью sym или syms. Например, создайте действительные символьные переменные a и b, и положительная символьная переменная c:

a = sym('a', 'real');
b = sym('b', 'real');
c = sym('c', 'positive');

или более эффективно:

syms a b real
syms c positive

Предположения, что можно присвоить символьному объекту с sym или syms являются действительными, рациональными, целочисленными и положительными.

Проверяйте существующие предположения

Чтобы видеть весь набор предположений на символьной переменной, используйте assumptions функция с именем переменной как входной параметр. Например, эта команда возвращает предположения, в настоящее время используемые для переменной x:

assumptions(x)

Чтобы видеть все предположения, используемые для всех символьных переменных в рабочем пространстве MATLAB, используйте assumptions без входных параметров:

assumptions

Для получения дополнительной информации смотрите Набор Предположений Проверки на Переменных.

Удалите символьные объекты и их предположения

Символьные объекты и их предположения хранятся отдельно. Когда вы устанавливаете предположение что x действительное использование

syms x
assume(x,'real')

вы на самом деле создаете символьный объект x и предположение, что объект действителен. Объект хранится в рабочем пространстве MATLAB, и предположение хранится в символьном механизме. Когда вы удаляете символьный объект из использования рабочего пространства MATLAB

clear x

предположение, что x действительное пребывание в символьном механизме. Если вы объявляете новую символьную переменную x позже использование sym, это наследовало предположение что x действительно вместо того, чтобы получить предположение по умолчанию. Если позже вы решаете уравнение и упрощаете выражение с символьной переменной x, вы могли получить неполные результаты.

Примечание

Если вы объявляете переменную с помощью syms, очищены существующие предположения. Если вы объявляете переменную с помощью sym, существующие предположения не очищены.

Например, предположение, что x действительные причины полиномиальный x2 + 1, чтобы не иметь никаких корней:

syms x real
clear x
x = sym('x');
solve(x^2 + 1 == 0, x)
ans =
Empty sym: 0-by-1

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

syms x

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

  1. Чтобы очистить предположение, войти

    syms x
  2. Чтобы удалить символьный объект, войти

    clear x

Для получения дополнительной информации при очищении символьных переменных, смотрите Ясные Предположения и Сброс Символьный Engine.

Похожие темы

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