The task of a theory of Schubert polynomials is to produce explicit representatives for Schubert classes in the cohomology ring of a flag variety, and to do so in a manner that is as natural as possible from a combinatorial point of view. To explain more fully, let us review a special case, the Schubert calculus for Grassmannians, where one asks for the number of linear spaces of given dimensio...