Предположим x даже.

syms x
assume(x/2,'integer')

Найдите все четные числа между 0 и 10 использование solve.

solve(x>0,x<10,x)

ans =
 2
 4
 6
 8

Предположим x нечетно. assume не является аддитивной, но вместо этого автоматически удаляет предыдущее предположение in(x/2, 'integer').

assume((x-1)/2,'integer')
solve(x>0,x<10,x)

ans =
 1
 3
 5
 7
 9

Очистить допущения по x для дальнейших расчетов.

assume(x,'clear')

Предположим x > 5 а затем x < 10 при помощи assume. Использовать assumptions чтобы проверить, что существует только второе предположение, потому что assume удалил первое предположение при установке второго.

syms x
assume(x > 5)
assume(x < 10)
assumptions

ans =
x < 10

Примите первое предположение в дополнение ко второму при помощи assumeAlso. Проверяйте, что оба допущения существуют.

assumeAlso(x > 5)
assumptions

ans =
[ 5 < x, x < 10]

Очистить допущения по x.

assume(x,'clear')

Предположим, что оба условия используют & оператор. Проверяйте, что оба допущения существуют.

assume(x>5 & x<10)
assumptions

ans =
[ 5 < x, x < 10]

Очистить допущения по x для будущих расчетов.

assume(x,'clear')

Использование assume чтобы задать предположение, что a не равен -1.

syms x a
assume(a ~= -1)

Вычислите этот интеграл.

int(x^a,x)

ans =
x^(a + 1)/(a + 1)

Теперь очистите предположение и вычислите тот же интеграл. Без допущений, int возвращает этот кусочно-линейный результат.

assume(a,'clear')
int(x^a, x)

ans =
piecewise(a == -1, log(x), a ~= -1, x^(a + 1)/(a + 1))

Решить это уравнение.

syms x
eqn = x^5 - (565*x^4)/6 - (1159*x^3)/2 - (2311*x^2)/6 + (365*x)/2 + 250/3;
solve(eqn, x)

ans =
   -5
   -1
 -1/3
  1/2
  100

Использование assume ограничить решения интервалом -1 < =  x < = 1.

assume(-1 <= x <= 1)
solve(eqn, x)

ans =
   -1
 -1/3
  1/2

Установите несколько допущений одновременно с помощью логических операторов and, or, xor, notили их ярлыки. Для примера все отрицательные решения менее -1 и все положительные решения, большие 1.

assume(x < -1 | x > 1)
solve(eqn, x)

ans =
  -5
 100

Для дальнейших расчетов очистите допущения.

assume(x,'clear')

Попытайтесь упростить выражение sin(2*pi*n) использование simplify. simplify функция не может упростить вход и возвращает вход в том виде, в котором он есть.

syms n
simplify(sin(2*n*pi))

ans =
sin(2*pi*n)

Предположим n - целое число. simplify теперь упрощает выражение.

assume(n,'integer')
simplify(sin(2*n*pi))

ans =
0

Для дальнейших расчетов очистите предположение.

assume(n,'clear')

Докажите, что sin(pi*x) никогда не равен 0 когда x не является целым числом. isAlways функция возвращает логический 1 (true), что означает, что условие выполняется для всех значений x в соответствии с установленными допущениями.

syms x
assume(~in(x,'integer'))
isAlways(sin(pi*x) ~= 0)

ans =
  logical
   1

Создайте символьную матрицу 2 на 2 A с автоматически сгенерированными элементами. Задайте set как rational.

A = sym('A',[2 2],'rational')

A =
[ A1_1, A1_2]
[ A2_1, A2_2]

Верните допущения к элементам A использование assumptions.

assumptions(A)

ans =
[ in(A1_1, 'rational'), in(A1_2, 'rational'),...
  in(A2_1, 'rational'), in(A2_2, 'rational')]

Вы также можете использовать assume чтобы задать допущения для всех элементов массива матрицы. Теперь примите все элементы A имеют положительные рациональные значения. Установите допущения как камеру векторов символов {'positive','rational'}.

assume(A,{'positive','rational'})

Верните допущения к элементам A использование assumptions.

assumptions(A)

ans =
[ 0 < A1_1, 0 < A1_2, 0 < A2_1, 0 < A2_2,...
  in(A1_1, 'rational'), in(A1_2, 'rational'),...
  in(A2_1, 'rational'), in(A2_2, 'rational')]

Для дальнейших расчетов очистите допущения.

assume(A,'clear')