hasSymType

Определите, содержит ли символьный объект определенный тип

Синтаксис

TF = hasSymType(symObj,type)
TF = hasSymType(symObj,funType,vars)

Описание

пример

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

пример

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

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

Примеры

свернуть все

Определите, содержит ли символьное выражение символьную переменную, постоянную, или количество определенного типа.

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

syms x;
expr = sym('1/2') + 2*pi + x
expr = 

x+2π+12

Проверяйте, содержит ли expr символьную переменную типа 'variable'.

TF = hasSymType(expr,'variable')
TF = logical
   1

Проверяйте, содержит ли expr символьную константу типа 'constant'.

TF = hasSymType(expr,'constant')
TF = logical
   1

Проверяйте, содержит ли expr символьное число типа 'integer'.

TF = hasSymType(expr,'integer')
TF = logical
   1

Проверяйте, содержит ли expr символьное число типа 'integer | real'.

TF = hasSymType(expr,'integer | real')
TF = logical
   1

Проверяйте, содержит ли expr символьное число типа 'complex'.

TF = hasSymType(expr,'complex')
TF = logical
   0

Определите, содержит ли символьное уравнение символьную функцию или оператор определенного типа.

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

syms f(x) n
eq = f(x^n) + int(f(x),x) + vpa(2.7) == 1i
eq = 

f(xn)+f(x)dx+2.7000=1i

Проверяйте, содержит ли eq символьный функциональный 'f'.

TF = hasSymType(eq,'f')
TF = logical
   1

Проверяйте, содержит ли eq неприсвоенную символьную функцию типа 'symfun'.

TF = hasSymType(eq,'symfun')
TF = logical
   1

Проверяйте, содержит ли eq символьную математическую функцию типа 'int'.

TF = hasSymType(eq,'int')
TF = logical
   1

Проверяйте, содержит ли eq оператор типа 'power'.

TF = hasSymType(eq,'power')
TF = logical
   1

Создайте символьную функцию нескольких переменных с помощью syms.

syms f(x,y,z)
g = f + x*y + pi
g(x, y, z) = π+xy+f(x,y,z)

Проверяйте, зависит ли g от точной переменной x с помощью 'symfunOf'.

TF = hasSymType(g,'symfunOf',x)
TF = logical
   0

Проверяйте, зависит ли g от точной последовательности переменных [x y z] с помощью 'symfunOf'.

TF = hasSymType(g,'symfunOf',[x y z])
TF = logical
   1

Проверяйте, имеет ли g зависимость от переменных [y x] с помощью 'symfunDependingOn'.

TF = hasSymType(g,'symfunDependingOn',[y x])
TF = logical
   1

Входные параметры

свернуть все

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

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

Символьная категория типаПредставьте значения в виде строкиПримеры, возвращающие логическую единицу
числа
  • Целое число целые числа

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

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

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

  • действительный вещественные числа, включая 'integer', 'rational' и 'vpareal'

  • 'number' — числа, включая 'integer', 'rational', 'vpareal', 'complex' и 'real'

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

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

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

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

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

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

константы'constant' — символьные константы, включая 'number'hasSymType([vpa(1i) sym(pi)],'constant')
символьные математические функции'vpa', 'sin', 'exp', и так далее — символьные математические функции в символьных выраженияхhasSymType(vpa(sym(pi)),'vpa')
неприсвоенные символьные функции
  • 'F', 'g', и так далее — имя функции неприсвоенной символьной функции

  • 'symfun' — неприсвоенные символьные функции

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

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

арифметические операторы
  • плюс оператор сложения + и оператор вычитания -

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

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

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

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

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

переменные'variable' — символьные переменныеhasSymType(sym('x'),'variable')
модулиМодули символьные модулиhasSymType(symunit('m'),'units')
выраженияВыражение символьные выражения, включая все предыдущие символьные типы hasSymType(sym('x')+1,'expression')
логические выражения
  • 'or' — логическая операция ИЛИ |

  • 'and' — логическая операция И &

  • 'not' — логический НЕ оператор ~

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

  • 'logicalexpression' — логические выражения, включая 'or', 'and', 'not' и 'xor'

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

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

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

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

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

уравнения и неравенства
  • eq оператор равенства ==

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

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

  • 'le' — меньше, чем или равный оператору <= или больше, чем или равный оператору >=

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

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

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

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

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

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

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

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

 

Функциональный тип, заданный как 'symfunOf' или 'symfunDependingOn'.

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

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

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

Советы

  • Чтобы проверять, содержит ли символьное выражение конкретное подвыражение, используйте функцию has.

Смотрите также

| | | | | | |

Введенный в R2019a