| числа |
'integer' - целые числа
'rational' - рациональные числа
'vpareal' - вещественные числа с плавающей запятой переменной точности
'complex' - комплексные числа
'real' - вещественные числа, в том числе '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([sym(pi) vpa(1i)],'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')
|
| арифметические операторы |
'plus' - оператор сложения + и оператор вычитания -
'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') |
| единицы | 'units' - символьные единицы | hasSymType(symunit('m'),'units') |
| выражения | 'expression' - символьные выражения, включая все предшествующие символьные типы | hasSymType(sym('x')+1,'expression') |
| логические выражения |
'or' - логический оператор OR |
'and' - логический оператор И &
'not' - логический оператор NOT ~
'xor' - логический оператор исключающее ИЛИ xor
'logicalconstant' - символьные логические константы symtrue и symfalse
'logicalexpression' - логические выражения, в том числе 'or', 'and', 'not', 'xor', symtrue и symfalse
|
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')
hasSymType(symtrue,'logicalconstant')
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' - неподдерживаемые символьные типы
| |
