开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

社区首页 >问答首页 >在z3py中设置单项式次数

问在z3py中设置单项式次数
EN

Stack Overflow用户

提问于 2015-02-28 09:21:09

回答 1查看 60关注 0票数 0

当推理多项式不等式时，Z3似乎必须首先将多项式转换为单项式形式。我想知道在求解器中是否有一个设置，可以让我定义我想要将多项式转换为的单项式次？

我正在使用z3py界面，但我无法通过在线搜索找到它。

EN

回答 1

Stack Overflow用户

发布于 2015-03-02 08:59:38

不，Z3没有此设置。

票数 0

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/28776975

复制

相似问题