Hi Richard,

here are two patches: One for push_front() / pop_front(), the other for sort().

Jan

Am 05.03.22 um 12:49 schrieb Richard B. Kreckel:
Hi Jan,

On 04.03.22 17:54, Jan Rheinländer wrote:

Why not change the code of prepend() in container.h to use insert()
instead of push_front()? Then I think it will work for all STL containers.

We always welcome suggestions and we welcome patches which have been
tried out successfully even more!

  -richy.
_______________________________________________
GiNaC-devel mailing list
GiNaC-devel@ginac.de
https://www.ginac.de/mailman/listinfo/ginac-devel