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" <nth...@users.sf.net <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 sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.