You can already get a set from a dictionary's keys in an efficient manner:
>>> l = dict.fromkeys(range(10))
>>> set(l)
Set([0, 1, 2, 3, 4, 5, 6, 7, 8, 9])

Jeff

Attachment: pgplWRjKoPA4t.pgp
Description: PGP signature

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

Reply via email to