Macaulay2 » Documentation
Packages » GKMVarieties :: compose(EquivariantMap,EquivariantMap)
next | previous | forward | backward | up | index | toc

compose(EquivariantMap,EquivariantMap) -- computes the composition of two equivariant morphisms

Description

This method computes the composition of two equivariant morphisms. The following example constructs the composition of two projection maps between standard flag varieties.

i1 : R = makeCharacterRing 4;
 
i2 : X = generalizedFlagVariety("A",3,{1,2,3},R);
 
i3 : Y = generalizedFlagVariety("A",3,{2,3},R);
 
i4 : Z = generalizedFlagVariety("A",3,{2},R);
 
i5 : f = flagMap(X,Y); --the projection of Fl(1,2,3;4) onto Fl(2,3;4)
 
i6 : g = flagMap(Y,Z); --the projection of Fl(2,3;4) onto Gr(2;4)
 
i7 : h = compose(g,f)

o7 = an "equivariant map" of GKM varieties 

o7 : EquivariantMap
 
i8 : h === flagMap(X,Z)

o8 = true

See also

Ways to use this method:

The source of this document is in GKMVarieties/Documentation_GKMVarieties.m2:928:0.