wolfram-mathematica - 减少具有实数(非整数)系数的多项式的错误结果

Question

在 Mathematica 中，我尝试检查多项式的某些条件，该多项式的参数在一个范围内变化。我的计算是 5 阶，但我做了一个简单的计算来显示我的需求。

当我创建一个以整数作为参数的多项式时，我使用 Reduce它给了我正确的答案。

但是当我在多项式中使用实数时，Reduce不起作用并出现此错误:

Reduce was unable to solve the system with inexact coefficients. The answer was obtained by solving a corresponding exact system and numericizing the result.

任何人都可以帮忙吗？

Answer 1

Reduce::ratnz消息是 不是 一个错误，但一条警告消息。如果您点击 More链接或 >> ，无论您的系统显示什么，它都会带您到 documentation ，其中说:

This message is often generated when the first argument in Reduce includes inexact numbers. [...] The warning message can be avoided by using only exact numbers in the input to Reduce

现在，如果您对这条消息感到恼火，可以使用以下命令关闭该消息

Off[Reduce::ratnz]

这将关闭所有进一步使用 Reduce 的警告。或者您可以简单地使用

Quiet@Reduce[...]

如果您想避免该消息，那么正如文档所说，您必须使用确切的数字。一种方法是使用 Rationalize .例如:

x = 1.391 + 0.771 a;
Reduce[Rationalize[x] > 0 && 1 <= a <= 80, {a}]

Out[1]= 1 <= a <= 80

它给你你想要的输出，没有警告。可能还有其他方法，具体取决于您在做什么，但在不知道您的确切表达的情况下很难说。希望这有帮助。