-- -*- M2-comint -*- hash: 14632014100612352154

i1 : PP3 = projectiveSpace 3

o1 = a "GKM variety" with an action of a 4-dimensional torus

o1 : GKMVariety

i2 : isWellDefined ampleKClass PP3 --the O(1) class on PP3 is well-defined

o2 = true

i3 : badC = makeKClass(PP3, reverse gens PP3.characterRing) --reverse the order of Laurent polynomials defining the O(1) class

o3 = an "equivariant K-class" on a GKM variety 

o3 : KClass

i4 : isWellDefined badC --no longer well-defined
incompatible edges {{set {1}, set {3}}, {set {0}, set {1}}, {set {2}, set {3}}, {set {0}, set {2}}}
o4 = false

i5 : 
