如何解决从 Sympy 表达式中消除不必要的分段项
Sympy 经常产生像
这样的表达式Sum(Piecewise((2**(-N)*exp(-_k*beta)*binomial(N,_k),_k <= N),(0,True)),(_k,N))
其中 Piecewise
的第一个条件总是满足,因为它是由求和范围保证的。
在这个例子中,我可以使用
消除分段X.refine(Q.le(X.bound_symbols[0],N))
之所以有效,是因为我知道表达式的形式。
我想找到一个通用的解决方案,可以在最合理的情况下消除表达式中任何地方的冗余 Piecewise
情况,而无需事先知道表达式的结构,因为它需要应用于其他简化的结果.类似于“通过对绑定变量的隐式约束进行优化”。没有一个简化功能似乎能够做到这一点。
请注意,summation 变量是由 Sympy 引入的,因此我无法控制其创建。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。