理想的な定数：Macaulay2の "stdio：4：11：（3）：エラー：番号を呼び出すことができません"

Question

私はHandelmanの定理とMacaulay2の例1 hereをデモしようとしています。私は間隔で制限されたポリトープの理想を定義する際のエラーを理解できません。

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 

とは何ですか？どのように定数を定義すればよいですか？何らかの理由で

Answer 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 

Answer 2

有理数とは対照的に、あなたは実数としてM2ビューの小数ため、エラーを取得：

i1 : .2

o1 = .2

o1 : RR (of precision 53)

だから.2はあなたのベースリングにはありません。 あなたの理想を入力するための小数点表記法（十進表記法とは対照的に）を使用すれば、ビジネスにつながります。

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

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

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

o3 : Ideal of R