MATLAB的答案

如何做符号式否定?

3次浏览(过去30天)
显示旧的注释
沃尔特·罗伯森
沃尔特·罗伯森 2021年7月12日
  • 0
评论道: 沃尔特·罗伯森 2021年7月12日
跑:
如何进行符号类型呢 否定 ？(允许高级方法!!)
例如
信谊X n m
Y = symsum(1/(x-n)，n,1,m)
y =
注意到 ——也就是说，如果x是整数。这就引出了一个问题:你如何设定一个假设，使得x是a 非 整数吗?
可以使用assume()将x设置为整数，但assume()不支持否定。万博1manbetx对我来说，内部MuPAD例程并不明显 假设 要么;您可以通过使用读取它的代码
regexprep (char (evalin (symengine暴露(假设))),' \ \ n ', ' \ n ')
你可以在MuPAD级别构造一个合适的类型:
S1 = evalin(symengine，'Dom:: true而不是Dom::Integer'）
S1 =
S2 = evalin(symengine，~(x的整数)）
S2 =
但是如何将该类型与符号变量关联起来呢?
我知道在这种特殊情况下，您可以使用children()提取分段()的第三个分支，然后从那里继续，跳过这个问题:但如果您希望MATLAB能够推理出一个变量是非整数的事实呢?

登录回答这个问题。

接受的答案

保罗
保罗 2021年7月12日
根据假设()的文档页面，可能是这样
假设(~ (x,“整数”）)
会做你想做的事?我无法测试它，因为我的版本(2019a)只返回
(1 - x) - (m - x + 1)
作为symsum的输出，没有任何条件。

更多答案(0)

类别

标签

s manbetx 845


释放

R2021a

社区寻宝

在MATLAB Central中找到宝藏，并发现社区如何帮助您!

开始狩猎!