Hi,
RR in Sage *is* countable and *is not* the set of real numbers.
Nevertheless it is not iterable (I do not know why).
Currently there is only finite versus infinite for sets. I agree with
you, it would be nice to have a category to deal with by essence non
iterable sets such as Words(2).
Best
Vincent
2013/12/3, Nathann Cohen <nathann.co...@gmail.com>:
> 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.
>
--
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.
