Dear all, It is quite useful to be able to print exvectors and exmaps without any fuss. Therefore I defined std::ostream & operator<<(std::ostream & os, const exvector & e); std::ostream & operator<<(std::ostream & os, const exmap & e); You find them in CVS. Best wishes, Chris