FlagBundle -- the class of all flag bundles

Functions and methods returning an abstract flag bundle :

• abstractProjectiveSpace -- make a projective space
• abstractProjectiveSpace' -- make a projective space
• flagBundle -- make a flag bundle
• projectiveBundle -- make a projective bundle from an abstract sheaf
• projectiveBundle' -- make a projective bundle from an abstract sheaf

Methods that use an abstract flag bundle :

• "bundles(FlagBundle)" -- see bundles -- get the list of tautological line bundles on a flag bundle
• "incidenceCorrespondence(FlagBundle,FlagBundle)" -- see incidenceCorrespondence -- build containment correspondence between two Grassmannians
• map(FlagBundle,AbstractVariety,AbstractSheaf) -- maps to projective bundles
• "map(FlagBundle,AbstractVariety,List)" -- see map(FlagBundle,AbstractVarietyMap,List) -- make a map from an abstract variety to a flag bundle
• map(FlagBundle,AbstractVarietyMap,List) -- make a map from an abstract variety to a flag bundle
• map(FlagBundle,FlagBundle) -- forgetful maps of flag varieties
• "schubertCycle(List,FlagBundle)" -- see schubertCycle -- compute Schubert Cycles on a Grassmannian, Fulton-style
• "schubertCycle(Sequence,FlagBundle)" -- see schubertCycle -- compute Schubert Cycles on a Grassmannian, Fulton-style
• "FlagBundle _ List" -- see schubertCycle' -- compute Schubert Cycles on a Grassmannian, Grothendieck-style
• "FlagBundle _ Sequence" -- see schubertCycle' -- compute Schubert Cycles on a Grassmannian, Grothendieck-style
• "schubertCycle'(List,FlagBundle)" -- see schubertCycle' -- compute Schubert Cycles on a Grassmannian, Grothendieck-style
• "schubertCycle'(Sequence,FlagBundle)" -- see schubertCycle' -- compute Schubert Cycles on a Grassmannian, Grothendieck-style
• "schubertRing(FlagBundle)" -- see schubertRing -- get the Schubert ring of a Grassmannian
• "tautologicalLineBundle(FlagBundle)" -- see tautologicalLineBundle -- get the tautological line bundle of a flag bundle or abstract variety

For the programmer

The object FlagBundle is a type, with ancestor classes AbstractVariety < MutableHashTable < HashTable < Thing.