[GiNaC-devel] Mysterious push_front()

2 Mar 2022

      Hi,

sometimes GiNaCs templates are a mystery to me. In container.h there is 
the code

template<template<classT, class= std::allocator<T>> classC>
container<C> & container<C>::prepend(constex & b)
{
        ensure_if_modifiable();
this->seq.push_front(b);
return*this;
}

but AFAIK the STL does not have any push_front() method. And GiNaC does 
not seem to define it either. How can this work?

Same applies for pop_front() and sort()

voidsort_(std::input_iterator_tag)
{
this->seq.sort(ex_is_less());
}

Jan Rheinländer