Siegel_modular_variety loading ...