Wolfram mathematica 减少实数（非整数）系数多项式的误差

在Mathematica中，我试图检查多项式的一些条件，其参数在一定范围内变化。我的计算是五阶的，但我做了一个简单的来显示我的需要

当我创建一个以整数为参数的多项式时，我使用了

Reduce

，它给出了正确的答案

但当我在多项式中使用实数时，

Reduce

不起作用，并给出以下错误：

Reduce无法求解系数不精确的系统。答案是通过求解相应的精确系统并对结果进行数值计算得到的

有人能帮忙吗

---

该

Reduce:：ratnz

消息不是一条错误，而是一条警告消息。如果您单击

More

链接或

>

，无论系统上显示什么，它都会将您带到，其中显示：

当

Reduce

中的第一个参数包含不精确的数字时，通常会生成此消息。[…]通过在

Reduce

现在，如果您对该消息感到恼火，可以使用

Off[Reduce::ratnz]

这将关闭所有进一步使用

Reduce

的警告，或者您可以使用

Quiet@Reduce[...]

如果你想避免这个消息，那么正如文档所说，你必须使用准确的数字。一种方法是使用

合理化
。例如：

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

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

x=1.391+0.771安；
Reduce[Rationalize[x]>0&&1在我看来很好……您期望的答案是什么？我希望不会看到“Reduce:ratnz”错误。这让我对结果感到好奇。