Schläfli_symbol loading ...