I would say that I am not a specialist of categories. There are many
enhancements introduced by #10963. In particular, when you create a
category you can do Sets().Finite() or Sets().Infinite() in a cleaner
way. I guess we would like something like InfiniteCountable() (as a
synonym of Infinite()) a
Yoo !
> RR in Sage *is* countable and *is not* the set of real numbers.
> Nevertheless it is not iterable (I do not know why).
sage: RealField()
Real Field with 53 bits of precision
Oh. Right. Precision.
:-P
> Currently there is only finite versus infinite for sets. I agree with
> you,
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
Helloo 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 th
