Elementary_symmetric_polynomials loading ...