using hasSymType(expression, 'constants') returns true when no constants

2 次查看(过去 30 天)
When trying to find if my expression has constants, hasSymType() always returns true. For example
syms s;
hasSymType(s*2,'constant')
returns true.
children() seems to separate out the terms into it's components as well. I would expect the following code to return [s*2] but it returns [s 2].
syms s;
children(s*2)
What am I missing?

采纳的回答

Paul
Paul 2023-9-29
Hi Andrew,
Both of those examples seem to be in accordance with doc hasSymType and children, except that children returns a cell array, not an array of sym.
syms s
hasSymType(s*2,'constant')
ans = logical
1
syms s
children(s*2)
ans = 1×2 cell array
{[s]} {[2]}
What is the reason expect different results?
  2 个评论
Andrew
Andrew 2023-9-29
编辑:Andrew 2023-9-29
Well clearly I misinterpreted the docs. My next question would be how might I figure out if there is a constant term in my expression?
For example, I have the polynomial expression f(s)=as^n+bs^(n-1)...cs+d (where n is the order of the polynomial, and a,b,c,d are constants) How would I find out if d is zero or not. Or in other words how would I find out if there is a non-zero s^0 term?
Paul
Paul 2023-9-29
编辑:Paul 2023-9-29
For polynomials we can use coeffs
syms a b c d s
f(s) = a*s^3 + b*s^2 + c*s + d
f(s) = 
[cfs,term] = coeffs(f(s),s,'all') % make sure to use 'all'
cfs = 
term = 
cfs(end)
ans = 
d
f(s) = a*s^3 + b*s^2 + c*s
f(s) = 
[cfs,terms] = coeffs(f(s),s,'all') % make sure to use 'all'
cfs = 
terms = 
cfs(end)
ans = 
0

请先登录,再进行评论。

更多回答(1 个)

Walter Roberson
Walter Roberson 2023-9-29
Internally, inside the symbolic engine, s*2 is coded as a data structure
_mult(DOM_IDENT('s'), DOM_INT(2))
and taking children() of that strips off the
_mult
layer, resulting in the multiple outputs DOM_IDENT('s') and DOM_INT(2) . The interface layer knows to wrap the multiple outputs into a cell array. So the output is {s sym(2)}
2*s is not an atomic entity: it is an expression that can be decomposed into its parts. One of those parts is a constant, which is why hasType() succeeds.
  4 个评论
Walter Roberson
Walter Roberson 2023-9-29
移动:Walter Roberson 2023-9-29
In the case where all of the coefficients are numeric (or convertable to double) you can use sym2poly and then look at the last entry.

请先登录,再进行评论。

类别

Help CenterFile Exchange 中查找有关 Number Theory 的更多信息

标签

产品


版本

R2023a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by