added prodsetof in c++