rectification; Abhyankar-Sathaye embedding problem; variable Stanley-Reisner ring; straightening law; standard bitableaux; Abhyankar formula; Hilbert polynomial; determinantal ideals; nonintersecting lattice paths; Hilbert series; Hilbert function; Schubert varieties 