Exponenta Banner
exponenta event banner

isSymType

Определение того, является ли символический объект определенным типом

свернуть все на странице

Синтаксис

TF = isSymType (symObj, тип)
TF = isSymType (symObj, funType, vars)

Описание

пример

TF = isSymType(symObj,type) возвращает логический 1 (true), если символический объект symObj имеет тип type, и логический 0 (false) в противном случае. Вход type должен быть чувствительным к регистру строковым скалярным или символьным вектором и может включать логическое выражение. Например, isSymType(sym('3'),'real & integer') возвращает логический 1.

Если symObj - символьное выражение с самым верхним оператором типа type, то isSymType(symObj,type) также возвращает логическое 1.

пример

TF = isSymType(symObj,funType,vars) проверяет, symObj - неназначенная символьная функция, которая зависит от символьных переменных vars.

Можно задать тип функции. funType кому 'symfunOf' или 'symfunDependingOn'. Например, syms f(x); isSymType(f,'symfunOf',x) возвращает логический 1.

Примеры

свернуть все

Открыть сценарий в реальном времени

Создайте символическое число. Проверьте, имеет ли символическое число тип 'rational'.

a = sym('1/2');
TF = isSymType(a,'rational')
TF = logical
   1

Теперь создайте символьный массив путем включения символьных чисел или констант в элементы массива.

N = [sym('1/2'), vpa(0.5), pi, vpa(pi), 1i]
N = 

(120.5π3.1415926535897932384626433832795i)[sym(1/2), vpa('0.5'), sym(pi), vpa('3.1415926535897932384626433832795'), sym(1i)]

Проверка типа каждого элемента массива 'real'.

TF = isSymType(N,'real')
TF = 1x5 logical array

   1   1   0   1   0

Проверка типа каждого элемента массива 'integer | real'.

TF = isSymType(N,'integer | real')
TF = 1x5 logical array

   1   1   0   1   0

Проверка типа каждого элемента массива 'number'.

TF = isSymType(N,'number')
TF = 1x5 logical array

   1   1   0   1   1

Проверка типа каждого элемента массива 'constant'.

TF = isSymType(N,'constant')
TF = 1x5 logical array

   1   1   1   1   1
Открыть сценарий в реальном времени

Определите, относится ли самый верхний оператор символического выражения к определенному типу, например 'plus' или 'power'.

Создайте символическое выражение.

syms x
expr = x^2 + 2*x - 1
expr = x2+2 x-1x^2 + 2*x - 1

Проверьте, является ли самый верхний оператор expr имеет тип 'plus'.

TF = isSymType(expr,'plus')
TF = logical
   1

Проверьте, является ли самый верхний оператор expr имеет тип 'power'.

TF = isSymType(expr,'power')
TF = logical
   0

Теперь выполните операцию символьного квадратного корня в выражении.

expr = sqrt(x^2 + 2*x - 1)
expr = x2+2 x-1sqrt(x^2 + 2*x - 1)

Проверьте, является ли самый верхний оператор expr имеет тип 'power'.

TF = isSymType(expr,'power')
TF = logical
   1
Открыть сценарий в реальном времени

Выберите конкретные уравнения, которые являются постоянными в правой части.

Создайте массив из трех символьных уравнений.

syms r(t) x(t) y(t)
eq1 = [x(t) == r(t)*cos(t), y(t) == r(t)*sin(t), r(t) == 5]
eq1 = (x(t)=cos(t) r(t)y(t)=r(t) sin(t)r(t)=5)[x(t) == cos(t)*r(t), y(t) == r(t)*sin(t), r(t) == 5]

Выберите правую сторону каждого уравнения, используя rhs функция. Проверьте, имеет ли правая сторона каждого уравнения тип 'constant'.

TF = isSymType(rhs(eq1),'constant')
TF = 1x3 logical array

   0   0   1

Возвращает приведенное уравнение, постоянное в правой части.

eq2 = eq1(TF)
eq2 = r(t)=5r(t) == 5
Открыть сценарий в реальном времени

Создание символьной функции из нескольких переменных f(x,y) использование syms. Проверка неназначенной символьной функции f имеет тип 'symfun'.

syms f(x,y)
TF = isSymType(f,'symfun')
TF = logical
   1

Проверить, f зависит от точной переменной x.

TF = isSymType(f,'symfunOf',x)
TF = logical
   0

Проверить, f зависит от точной последовательности переменных [x y].

TF = isSymType(f,'symfunOf',[x y])
TF = logical
   1

Проверить, f зависит от переменной x.

TF = isSymType(f,'symfunDependingOn',x)
TF = logical
   1

Входные аргументы

свернуть все

Символьные объекты, определяемые как символьные выражения, символьные функции, символьные переменные, символьные числа или символьные единицы измерения.

Символьные типы, определяемые как чувствительная к регистру скалярная строка или символьный вектор. Вход type может содержать логическое выражение. Ниже приведены параметры значений.

Категория символьного типаСтроковые значенияПримеры возврата логического 1
числа

  • 'integer' - целые числа

  • 'rational' - рациональные числа

  • 'vpareal' - вещественные числа с плавающей запятой переменной точности

  • 'complex' - комплексные числа

  • 'real' - вещественные числа, в том числе 'integer', 'rational', и 'vpareal'

  • 'number' - номера, в т.ч. 'integer', 'rational', 'vpareal', 'complex', и 'real'

  • isSymType(sym(2),'integer')

  • isSymType(sym(1/2),'rational')

  • isSymType(vpa(0.5),'vpareal')

  • isSymType(vpa(1i),'complex')

  • isSymType([sym(1/2) vpa(0.5)],'real')

  • isSymType([vpa(1i) sym(1/2)],'number')

константы'constant' - символьные математические константы, в том числе 'number'isSymType([sym(pi) vpa(1i)],'constant')
символьные математические функции'vpa', 'sin', 'exp', и так далее - самые верхние символьные математические функции в символьных выраженияхisSymType(vpa(sym(pi)),'vpa')
неназначенные символические функции

  • 'F', 'g', и так далее - имя функции неназначенной символической функции

  • 'symfun' - неназначенные символические функции

  • syms F(x); isSymType(F(x+2),'F')

  • syms g(x); isSymType(g(x),'symfun')

арифметические операторы

  • 'plus' - оператор сложения + и оператор вычитания -

  • 'times' - оператор умножения * и оператор деления /

  • 'power' - оператор мощности или возведения в степень ^ оператор квадратного корня sqrt

  • syms x y; isSymType(2*x + y,'plus')

  • syms x y; isSymType(x*y,'times')

  • syms x y; isSymType(x^(y+2),'power')

переменные'variable' - символьные переменныеisSymType(sym('x'),'variable')
единицы'units' - символьные единицыisSymType(symunit('m'),'units')
выражения'expression' - символьные выражения, включая все предшествующие символьные типы isSymType(sym('x')+1,'expression')
логические выражения

  • 'or' - логический оператор OR |

  • 'and' - логический оператор И &

  • 'not' - логический оператор NOT ~

  • 'xor' - логический оператор исключающее ИЛИ xor

  • 'logicalconstant' - символьные логические константы symtrue и symfalse

  • 'logicalexpression' - логические выражения, в том числе 'or', 'and', 'not', 'xor', symtrue и symfalse

  • syms x y; isSymType(x|y,'or')

  • syms x y; isSymType(x&y,'and')

  • syms x; isSymType(~x,'not')

  • syms x y; isSymType(xor(x,y),'xor')

  • isSymType(symtrue,'logicalconstant')

  • syms x y; isSymType(~x|y,'logicalexpression')

уравнения и неравенства

  • 'eq' - оператор равенства ==

  • 'ne' - оператор неравенства ~=

  • 'lt' - меньше оператора < или оператор «больше» >

  • 'le' - оператор меньше или равен <= или оператор «больше» или «равно» >=

  • 'equation' - символические уравнения и неравенства, в том числе 'eq', 'ne', 'lt', и 'le'

  • syms x; isSymType(x==2,'eq')

  • syms x; isSymType(x~=1,'ne')

  • syms x; isSymType(x>0,'lt')

  • syms x; isSymType(x<=2,'le')

  • syms x; isSymType([x>0 x~=1],'equation')

неподдерживаемые символьные типы

'unsupported' - неподдерживаемые символьные типы

 

Тип функции, указанный как 'symfunOf' или 'symfunDependingOn'.

  • 'symfunOf' проверяет, symObj - неназначенная символьная функция, которая зависит от точной последовательности переменных, заданных массивом; vars. Например, syms f(x,y); isSymType(f,'symfunOf',[x y]) возвращает логический 1.

  • 'symfunDependingOn' проверяет, symObj - неназначенная символьная функция, которая зависит от переменных, заданных массивом; vars. Например, syms f(x,y); isSymType(f,'symfunDependingOn',x) возвращает логический 1.

Входные переменные, определяемые как символьные переменные или символьный массив.

См. также

| | | |

Представлен в R2019a

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

Поддержка