2012/2/23, Nicolas M. Thiery <nicolas.thi...@u-psud.fr>: > On Wed, Feb 22, 2012 at 03:12:39PM +0000, Vincent Delecroix wrote: >> Actually the methods are removed in >> >> trac_10963-more_functorial_constructions-nt.patch >> >> But then, I get a problem when I build a parent which is an infinite >> enumerated set as it does not inherit the cardinality method... > > The above patch moves this implementation of cardinality to > Sets().Infinite() where it belongs (see Sets.Infinite in sets_cat.py). > This category did not exist before. In principle, your parent should > still inherit it. Doesn't it? >
I'm not able to reproduce the example where .cardinality() was lost... Hence, everything seems to work. Thanks, Vincent -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. 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.