On 2/10/23 01:39, Marko Riedel wrote: > Also, I found that exset is sufficient for my purposes, so that is one > fewer type to implement. I suggest having a look at find_symbols_map in factor.cpp and how's it used there. (Maybe GiNaC should expose something like this if it's useful?) -richy.