2012/2/23, Nicolas M. Thiery :
> On Wed, Feb 22, 2012 at 03:12:39PM +, 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
On Wed, Feb 22, 2012 at 03:12:39PM +, 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...
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...
--
You received this message because you are subscribed to the Google Groups
2012/2/22, Florent Hivert :
> On Wed, Feb 22, 2012 at 01:55:01PM +, Vincent Delecroix wrote:
>> Hello,
>>
>> .cardinality() method of InfiniteEnumeratedSets is not implemented in
>> ParentMethods of the corresponding category. Is there a reason for
>> that ?
>
> ???
>
> infinite_enumerated_sets
On Wed, Feb 22, 2012 at 01:55:01PM +, Vincent Delecroix wrote:
> Hello,
>
> .cardinality() method of InfiniteEnumeratedSets is not implemented in
> ParentMethods of the corresponding category. Is there a reason for
> that ?
???
infinite_enumerated_sets.py line 56-120:
class ParentMetho
