Hi,

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

template <template <class T, class = std::allocator<T>> class C>
container<C> & container<C>::prepend(const ex & 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()

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

Jan Rheinländer