Schubert_variety loading ...