GKMVarieties : Index

• affineToricRing -- computes the toric ring associated to a monomial map
• affineToricRing(List) -- computes the toric ring associated to a monomial map
• affineToricRing(Matrix) -- computes the toric ring associated to a monomial map
• ampleKClass -- the class of an ample line bundle
• ampleKClass(GKMVariety) -- the class of an ample line bundle
• ampleKClass(GKMVariety,KClass) -- the class of an ample line bundle
• bases(FlagMatroid) -- compute the bases of a flag matroid
• bruhatOrder -- computes the Bruhat order on a generalized flag variety
• bruhatOrder(GKMVariety) -- computes the Bruhat order on a generalized flag variety
• cellOrder -- the poset of a stratification of a GKM variety
• cellOrder(GKMVariety) -- the poset of a stratification of a GKM variety
• cellOrder(MomentGraph) -- the poset of a stratification of a GKM variety
• cellOrder(MomentGraph,Poset) -- define a cell order on a moment graph
• charts -- outputs the torus-invariant affine charts of a GKM variety
• charts(GKMVariety) -- outputs the torus-invariant affine charts of a GKM variety
• charts(GKMVariety,List) -- outputs the torus-invariant affine charts of a GKM variety
• compose(EquivariantMap,EquivariantMap) -- computes the composition of two equivariant morphisms
• diagonalMap -- constructs the diagonal morphism
• diagonalMap(GKMVariety) -- constructs the diagonal morphism
• EquivariantMap -- the class of all equivariant morphisms between GKM varieties
• EquivariantMap ** EquivariantMap -- computes the product of two equivariant morphisms
• euler(KClass) -- computes the equivariant Euler characteristic of an equivariant K-class
• Example: generalized flag varieties
• Example: smooth toric varieties
• flagGeomTuttePolynomial -- computes the flag-geometric Tutte polynomial of flag matroids
• flagGeomTuttePolynomial(FlagMatroid) -- computes the flag-geometric Tutte polynomial of flag matroids
• flagMap -- creates equivariant maps between generalized flag varieties
• flagMap(GKMVariety,GKMVariety) -- creates equivariant maps between generalized flag varieties
• FlagMatroid -- the class of all flag matroids
• flagMatroid -- construct a flag matroid
• flagMatroid(List) -- construct a flag matroid
• flagMatroid(Matrix,List) -- construct a flag matroid
• generalizedFlagVariety -- makes a generalized flag variety as a GKM variety
• generalizedFlagVariety(String,ZZ,List) -- makes a generalized flag variety as a GKM variety
• generalizedFlagVariety(String,ZZ,List,Ring) -- makes a generalized flag variety as a GKM variety
• generalizedSchubertVariety -- create a generalized Schubert variety
• generalizedSchubertVariety(GKMVariety,Thing) -- create a generalized Schubert variety
• GKMVarieties -- computations with GKM varieties and moment graphs
• GKMVariety -- the class of all GKM varieties
• GKMVariety ** GKMVariety -- product of GKM varieties
• isWellDefined(FlagMatroid) -- check if a flag matroid is well-defined
• isWellDefined(KClass) -- whether the input is a well-defined equivariant K-class
• KClass -- the class of all equivariant K-classes
• KClass * KClass -- computes the product of two equivariant K-classes
• KClass + KClass -- computes the sum of two equivariant K-classes
• KClass ^ ZZ -- computes powers of an equivariant K-classes
• latticePoints(FlagMatroid) -- lattice points of a base polytope of a flag matroid
• lieType -- outputs the Lie type of a generalized flag variety
• lieType(GKMVariety) -- outputs the Lie type of a generalized flag variety
• makeCharacterRing -- constructs the character ring of a torus
• makeCharacterRing(ZZ) -- constructs the character ring of a torus
• makeGKMVariety -- constructs a GKM variety
• makeGKMVariety(KClass) -- constructs a GKM variety
• makeGKMVariety(List,List,Ring) -- constructs a GKM variety
• makeGKMVariety(List,Ring) -- constructs a GKM variety
• makeGKMVariety(MomentGraph) -- constructs a GKM variety
• makeGKMVariety(MomentGraph,Ring) -- constructs a GKM variety
• makeGKMVariety(NormalToricVariety) -- constructs a GKM variety
• makeGKMVariety(NormalToricVariety,Ring) -- constructs a GKM variety
• makeKClass -- constructs an equivariant K-class
• makeKClass(GKMVariety,FlagMatroid) -- the equivariant K-class of a flag matroid
• makeKClass(GKMVariety,List) -- constructs an equivariant K-class
• makeKClass(GKMVariety,ToricDivisor) -- create the KClass from a ToricDivisor
• map(GKMVariety,GKMVariety,List) -- creates a EquivariantMap
• MomentGraph -- the class of all moment graphs
• momentGraph -- creates a moment graph
• MomentGraph ** MomentGraph -- the product of two moment graphs
• momentGraph(GKMVariety) -- view the moment graph of a GKM variety
• momentGraph(GKMVariety,MomentGraph) -- define a moment graph for a GKM variety
• momentGraph(List,HashTable,Ring) -- creates a moment graph
• normalToricVariety(GKMVariety) -- converts a GKM variety back into a toric variety
• orbitClosure -- computes the equivariant K-class of a torus orbit closure of a point in a generalized flag variety
• orbitClosure(...,RREFMethod=>...) -- computes the equivariant K-class of a torus orbit closure of a point in a generalized flag variety
• orbitClosure(GKMVariety,Matrix) -- computes the equivariant K-class of a torus orbit closure of a point in a generalized flag variety
• projectiveSpace -- constructs projective space as a GKM variety
• projectiveSpace(ZZ) -- constructs projective space as a GKM variety
• projectiveSpace(ZZ,Ring) -- constructs projective space as a GKM variety
• pullback(EquivariantMap) -- computes the pullback map of equivariant K-classes of an equivariant map
• pushforward -- computes the pushforward map of equivariant K-classes of an equivariant map
• pushforward(EquivariantMap) -- computes the pushforward map of equivariant K-classes of an equivariant map
• setIndicator -- computes the signed indicator vector of an admissible set
• setIndicator(Set,ZZ) -- computes the signed indicator vector of an admissible set
• trivialKClass -- the equivariant K-class of the structure sheaf
• trivialKClass(GKMVariety) -- the equivariant K-class of the structure sheaf
• underlyingGraph(MomentGraph) -- the underlying (undirected) graph of a moment graph