Konstanten in Bezug auf ideal: "stdio: 4: 11: (3): Fehler: kann nicht die Nummer zu klingeln" in Macaulay2

Question

Ich versuche, Händelman Theorem und das Beispiel 1 here mit Macaulay2 zu demonstrieren. Ich kann den Fehler nicht verstehen, wenn ich das Ideal für das durch die Intervalle beschränkte Polytop definiere.

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 

und für was ist der Fehler? Wie sollte ich die Konstanten definieren?

Answer 1

Aus irgendeinem Grund Macaulay2 akzeptiert nur die Berechnung für Polynomrings mit RR nicht 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

Sie erhalten den Fehler, da M2 Ansichten Dezimalstellen als reelle Zahlen zu rationals Gegensatz:

i1 : .2

o1 = .2

o1 : RR (of precision 53)

So ist .2 nicht in Ihrem Basisring. Verwenden Sie die Bruchschreibweise (im Gegensatz zur Dezimalschreibweise), um Ihr Ideal einzugeben, und Sie werden im Geschäft sein.

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