Unfortunately my mail from 16:09:00 today did not get through due to
problem with my provider. :-( So here it comes again.
-----------------------------------------------------------
I've just read about linear species.
They don't look like a big deal from the design point of view.
The only thing that bothers me that there is a (ordinari) species of
permutation and a linear one and it would be a pity to call them by
different names.
Anyway, being now mildly familiar with the introction to multisorted and
linear species, I think that the best choice for structures is
structures: SetSpecies L -> Generator %.
However, in order to make ranking/unranking corresponding to the
generation of structures, I like to introduce an order on the set L of
labels, ie.,
define LabelType: Category == TotallyOrderedType with {
...
}
Using this order, it is straightforward to say that
structures set [1,2,3]
and
structures set [2,1,3]
generate the same structures in the same order.
If someone gets head aches with this (it basically says that SetSpecies
is a "sorted set"), then give some better suggestions. I would be happy
if someone finds the time to respond to my thoughts anyway. -- I feel
soo alone. ;-)
Ralf
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
