Dear all, We have exvector and exmap in GiNaC, so why not have an exset too? I added it and also provided support for printing them. These containers are now be printed as: exvec: [a,b,c] exset: <a,b,c> exmap: {a==b,c==d} Best wishes, Chris