I have a non-empty set S
and every s in S
has an attribute s.x
which I know is independent of the choice of s
. I'd like to extract this common value a=s.x
from S
. There is surely something better than
s=S.pop()
a=s.x
S.add(s)
-- maybe that code is fast but surely I shouldn't be changing S
?
Clarification: some answers and comments suggest iterating over all of S
. The reason I want to avoid this is that S
might be huge; my method above will I think run quickly however large S
is; my only issue with it is that S
changes, and I see no reason that I need to change S
.