STL algorithms and GiNaC::lst