理想中的常数：Macaulay2 中的“stdio:4:11:(3): error: can't promote number to ring”答案

【问题标题】：Constants in terms of ideal: "stdio:4:11:(3): error: can't promote number to ring" in Macaulay2理想中的常数：Macaulay2 中的“stdio:4:11:(3): error: can't promote number to ring”
【发布时间】：2016-08-02 14:22:16
【问题描述】：

我正在尝试用 Macaulay2 演示 Handelman 定理和示例 1here。我无法理解为受间隔限制的多面体定义理想值时的错误。

R=QQ[x1,x2,x3,MonomialOrder=>Lex];
I=ideal(x1-0.2,-x1+0.5,x2,-x2+1,x3-1,-x3+1)

stdio:2:11:(3): error: can't promote number to ring

错误是什么？我应该如何定义常量？

【问题讨论】：

标签： runtime-error macaulay2

【解决方案1】：

由于某种原因，Macaulay2 只接受带有RR 而不是QQ 的多项式环的计算：

i1 : R=RR[x1,x2,x3,MonomialOrder=>Lex]

o1 = R

o1 : PolynomialRing

i2 : I=ideal(x1-0.2,-x1+0.5,x2,-x2+1,x3-1,-x3+1)

o2 = ideal (x1 - .2, - x1 + .5, x2, - x2 + 1, x3 - 1, - x3 + 1)

o2 : Ideal of R

【讨论】：

【解决方案2】：

您收到错误是因为 M2 将小数视为实数而不是有理数：

i1 : .2

o1 = .2

o1 : RR（精度为 53）

所以 .2 不在你的基础环中。使用分数表示法（而不是十进制表示法）输入您的理想，您就会成功。

i2 : R=QQ[x1,x2,x3, MonomialOrder => Lex];

i3 : I=理想(x1-1/5,-x1+1/2,x2,-x2+1,x3-1,-x3+1)

o3 = 理想 (x1 - 1/5, - x1 + 1/2, x2, - x2 + 1, x3 - 1, - x3 + 1)

o3 : R 的理想

【讨论】：