And that the "extra-memory" operation I've given above is expensive, I
believe. Is there an efficient way to do it?

-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to