Schubert_varieties loading ...