Ralf Hemmecke <[EMAIL PROTECTED]> writes:

> Why can't we use
> 
>    Subsets = SetSpecies * SetSpecies

because "Times" needs "Subsets".  Does this contradict your design, that
generating series do not need to know about species?  (I didn't understand this
design concept, so I might have the wording wrong)
 
> and
> 
>    Combinations(2) = RestrictedSpecies(SetSpecies, 2) * SetSpecies

oh, I think I missed that one.  I'll give it a look.

> PS: I'll have the same question for CartesianProduct tomorrow, but then I
> guess I also need a test for the cycle index series. ... ooops there is one
> in BLL, but we don't have oriented cyles yet. :-(

> PS2: Are you documenting your code?

I was going to document Subsets and Combinations today.  But if you think they
are unnecessary, I won't.  I simply have too much work to do.  What I'll
definitively do is look at the excercise for FunctorialComposition

Martin


-------------------------------------------------------------------------
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

Reply via email to