Helloooooooooooooo everybody !
For once I come here to ask something about categories ! There is an
alternative patch for #12867 which is waiting for a review, and modifies
the object "Words(2)", i.e. the set of all (finite or infinite) binary
words.
There was an __iter__ method on that, while this set is... uncountable.
Which the patch removes. Aaaaand so I wondered if there was some category
for "uncountable" sets, from which could be inherited the function that I
am about to write :
def __iter__(self):
raise ValueError("This set is uncountable")
Or something like that. I also wondered if it would make sense to
differentiate NN, RR for cardinalities. It would be coooooooool if
.cardinality() could also differentiate between countable and uncountable.
Oh. And of course I guess that you will also have an advice on whether we
should be able to iterate over uncountable sets. My opinion on the matter
is that we shouldn't, unless somebody wants to implement a __iter__ method
for RR :-P
Nathann
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/groups/opt_out.
