<div dir="ltr">Convert to a vector (that should be efficient since I understand that it is the underlying representation anyway), then use the sort algorithms available in the vector-algorithms package then convert back. You'll need to use modify to apply the sort (since it works on MVector).<div>
<br></div><div>I don't think there's a simpler or better solution right now.</div><div>-- </div><div>Jedaï</div><div class="gmail_extra"><br></div></div>