Ralf Hemmecke <[EMAIL PROTECTED]> writes:

> I made it two functions for some reasons.

Thanks for all the good reasons.

I'm off to Lyon now, I just checked in what I have so far (it's not much,
though).

I checked Subst from combstruct, but I couldn't really find out what it
does. It seems that the arguments are in different order, and the results do
not always coincide. Maybe you can find out more:

with(combstruct);

f := {B=Union(Z, Prod(B, B)), F = Subst(Set(Z, card >= 1), B), T = Subst(B,
Set(Z, card >= 1))};

> seq(count([F, f, labeled], size=i), i=1..10);
    1, 3, 19, 207, 3211, 64383, 1581259, 45948927, 1541641771, 58645296063

-- this agrees with Compose(B, NonEmpty SetSpecies)

> seq(count([F, f, unlabeled], size=i), i=1..10);
                 1, 2, 5, 15, 51, 188, 731, 2950, 12235, 51822

-- this agrees with Compose(B, NonEmpty SetSpecies)


> seq(count([T, f, labeled], size=i), i=1..10);
     1, 3, 19, 193, 2721, 49171, 1084483, 28245729, 848456353, 28875761731

-- this agrees with Compose(SetSpecies, B)

> seq(count([T, f, unlabeled], size=i), i=1..10);
                 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796

-- surprise! I expected 
--                1,1,2,4,10,26,77,235,758,2504

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