Am I right in thinking that FiniteSets() and InfiniteSets() have not yet
been implemented? It seems that FinitenumeratedSets() and
InfinitenumeratedSets() do both exist.
Btw, Nicolas, I had a quick look at trac #12955 but it wasn't clear to me
what had been done and what was left.
Andrew
On Monday, 20 August 2012 20:25:21 UTC+10, Nicolas M. Thiery wrote:
>
> On Mon, Aug 20, 2012 at 06:12:49AM +0200, Vincent Delecroix wrote:
> > if my_set in FiniteSets():
> > # some stuff for finite sets
> > ...
> > elif my_set in InfiniteSets():
> > # some stuff for infinite sets
> > ...
> > elif my_set in Sets():
> > # some stuff for finite or infinite sets
> > ...
> > else:
> > raise ValueError("this is not a set!")
> >
> > I think that the above code is enough clear to get rid of a is_finite
> method.
>
> See also the recent discussion we had with Martin about the difference
> between X in FiniteSets() and X.is_finite().
>
> (calling is_finite may possibly trigger an expensive/undecidable
> calculation to decide whether the set is finite or not).
>
> Cheers,
> Nicolas
> --
> Nicolas M. Thi�ry "Isil" <[email protected] <javascript:>>
> http://Nicolas.Thiery.name/
>
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/sage-combinat-devel/-/IBDkjJgdxA8J.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
