inline void order( OrdinalVector & v ) { OrdinalVector::iterator ev = v.end(); OrdinalVector::iterator iv = v.begin(); std::sort( iv , ev ); iv = std::unique( iv , ev ); v.erase( iv , ev ); }