Dear all,
The big cleanup of combinat is moving forward. I'd like again to have a wide
vote about some names... One of our central concept in combinatorics is:
finite or countable set together with a canonical enumeration of its
elements; the related operations are:
cardinality, __iter__, list, rank, unrank, first, next...
Given such a set S, the "position" of an element in the enumeration is called
it's rank. So that S.unrank(n) returns the n-th element of S and S.rank(el)
returns it's rank in S.
We need a name for this concept. So far in *-Combinat, we have been using
CombinatorialClass, but this name is indeed not good because of:
- confusion with the object oriented concept of class;
- confusion with the specific setup as in Molinero's thesis;
- opaqueness for non combinatorialist.
We have a good occasion to change this name in the short run, with our
abstract class CombinatorialClass which will become a category. Suggestions of
name for this category are VERY welcome!
IterableSets ?
CombinatorialSets ?
EnumeratedSets?
... ?
rank and unrank are relatively standard in this context. If anyone has a
remark about it, please tell us.
Cheers,
Florent
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
