  Edelman and Greene generalized the Robinson--Schensted--Knuth correspondence
to reduced words in order to give a bijective proof of the Schur positivity of
Stanley symmetric functions. Stanley symmetric functions may be regarded as the
stable limits of Schubert polynomials, and similarly Schur functions may be
regarded as the stable limits of Demazure characters for the general linear
group. We modify the Edelman--Greene correspondence to give an analogous,
explicit formula for the Demazure character expansion of Schubert polynomials.
Our techniques utilize dual equivalence and its polynomial variation, but here
we demonstrate how to extract explicit formulas from that machinery which may
be applied to other positivity problems as well.
