Ring_of_symmetric_functions loading ...