On Wed, Feb 22, 2012 at 01:55:01PM +0000, 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 ParentMethods:
def is_finite(self):
"""
Returns ``False`` since self is not finite.
EXAMPLES::
sage: C = InfiniteEnumeratedSets().example()
sage: C.is_finite()
False
"""
return False
def cardinality(self):
"""
Counts the elements of the enumerated set.
EXAMPLES::
sage: NN = InfiniteEnumeratedSets().example()
sage: NN.cardinality()
+Infinity
"""
from sage.rings.infinity import infinity
return infinity
def random_element(self):
"""
Returns an error since self is an infinite enumerated set.
EXAMPLES::
sage: NN = InfiniteEnumeratedSets().example()
sage: NN.random_element()
Traceback (most recent call last):
...
NotImplementedError: infinite set
TODO: should this be an optional abstract_method instead?
"""
raise NotImplementedError, "infinite set"
def list(self):
"""
Returns an error since self is an infinite enumerated set.
EXAMPLES::
sage: NN = InfiniteEnumeratedSets().example()
sage: NN.list()
Traceback (most recent call last):
...
NotImplementedError: infinite list
"""
raise NotImplementedError, "infinite list"
_list_default = list # needed by the check system.
...
Florent
--
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.
