-- -*- M2-comint -*- hash: 897298579602769740

i1 : X = toricProjectiveSpace 3;

i2 : D = toricDivisor({1,0,0,0},X) -- the class of O(1) on P^3

o2 = X
      0

o2 : ToricDivisor on X

i3 : Y = makeGKMVariety X; -- The torus is C^3 not C^4

i4 : C = makeKClass(Y,D)

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

o4 : KClass

i5 : assert(isWellDefined C)

i6 : peek C

o6 = KClass{variety => a "GKM variety" with an action of a 3-dimensional torus}
                                                    -1
            KPolynomials => HashTable{{0, 1, 2} => T  }
                                                    2
                                                    -1
                                      {0, 1, 3} => T
                                                    1
                                                    -1
                                      {0, 2, 3} => T
                                                    0
                                      {1, 2, 3} => 1

i7 : 
