i1 : R = makeCharacterRing 4;

i2 : FlGr = generalizedFlagVariety("A",3,{1,2},R)
o2 = a "GKM variety" with an action of a 4dimensional torus
o2 : GKMVariety

i3 : Gr24 = generalizedFlagVariety("A",3,{2},R)
o3 = a "GKM variety" with an action of a 4dimensional torus
o3 : GKMVariety

i4 : f = flagMap(FlGr,Gr24)
o4 = an "equivariant map" of GKM varieties
o4 : EquivariantMap

i5 : O1 = ampleKClass Gr24
o5 = an "equivariant Kclass" on a GKM variety
o5 : KClass

i6 : (pullback f)(O1)
o6 = an "equivariant Kclass" on a GKM variety
o6 : KClass
