Числовой тип символьного входа
Синтаксис 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
assume
| assumeAlso
| false
| imag
| isalways
| isequal
| isequaln
| isfinite
| isinf
| piecewise
| real
| true