Специальное условие на символьной переменной или выражении

Синтаксис in(x,type) описывает условие что x имеет заданный type. Опишите условие что x имеет тип Real.

syms x
cond = in(x,'real')

cond =
in(x, 'real')

Оцените использование условия isAlways. Поскольку isAlways не может определить условие, оно выдает предупреждение и возвращает логический 0 ложь).

isAlways(cond)

Warning: Unable to prove 'in(x, 'real')'.

ans =
  logical
     0

Примите условие cond истинное использование assume, и оцените условие снова. isAlways функция возвращает логический 1 TRUE) указание, что условие верно.

assume(cond)
isAlways(cond)

ans =
  logical
     1

Использовать x в дальнейших расчетах очистите его предположение, воссоздающее его с помощью syms.

syms x

Специальные условия в Выходе

Функционирует такой как solve использование in в выходе, чтобы описать условия.

Решите уравнение sin(x) == 0 использование solve. Установите опцию ReturnConditions к true возвратить условия на решении. solve функциональное использование in описывать условия.

syms x
[solx, params, conds] = solve(sin(x) == 0,'ReturnConditions',true)

solx =
pi*k

params =
k

conds =
in(k, 'integer')

Решением является pi*k параметром k при условии in(k,'integer'). Можно использовать это условие установить предположение для дальнейших расчетов. Под предположением, solve возвращает только целочисленные значения k.

assume(conds)
k = solve(solx > 0, solx < 5*pi, params)

k =
 1
 2
 3
 4

Найти решения , соответствующие этим значениям kИспользование subs заменять k в solx.

subs(solx,k)

ans =
   pi
 2*pi
 3*pi
 4*pi

Очистите предположение на k использовать его в дальнейших расчетах.

assume(params, 'clear')

Протестируйте, если Элементы Символьной матрицы Рациональны

Создайте символьную матрицу M.

syms x y z
M = sym([1.22 i x; sin(y) 3*x 0; Inf sqrt(3) sym(22/7)])

M =
[  61/50,      1i,    x]
[ sin(y),     3*x,    0]
[    Inf, 3^(1/2), 22/7]

Использование isAlways протестировать если элементы M рациональные числа. in функционируйте действия на M поэлементно. Обратите внимание на то, что isAlways возвращает логический 0 ложь) для операторов, которые не могут быть решены и выдают предупреждение для тех операторов.

in(M,'rational')

ans =
[  in(61/50, 'rational'),      in(1i, 'rational'),    in(x, 'rational')]
[ in(sin(y), 'rational'),     in(3*x, 'rational'),    in(0, 'rational')]
[    in(Inf, 'rational'), in(3^(1/2), 'rational'), in(22/7, 'rational')]

isAlways(in(M,'rational'))

Warning: Unable to prove 'in(sin(y), 'rational')'.
Warning: Unable to prove 'in(3*x, 'rational')'.
Warning: Unable to prove 'in(x, 'rational')'.
ans =
  3×3 logical array
   1   0   0
   0   0   1
   0   0   1