Ralf Hemmecke
2007-03-08 16:28:03 UTC
Since I have to extract the coefficient from a cycle index series
corresponding to a cycle type, the question is, who to encode "cycle type".
Since the CIS is in fact a formal power series whose "coefficients" are
Polynomials from P = Q[x1,x2,x3,...], I thought that a good
representation for "cycle type" is a power product from P. Let's call
the domain of these power products T.
Feels someone unhappy if I implement in CIS two functions
coefficient: (%, T) -> Q
count: (%, T) -> Z
where the second function is just a multiplication by this funny factor
z_t we talked about recently (or aut(t) speaking in terms of BLL).
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
corresponding to a cycle type, the question is, who to encode "cycle type".
Since the CIS is in fact a formal power series whose "coefficients" are
Polynomials from P = Q[x1,x2,x3,...], I thought that a good
representation for "cycle type" is a power product from P. Let's call
the domain of these power products T.
Feels someone unhappy if I implement in CIS two functions
coefficient: (%, T) -> Q
count: (%, T) -> Z
where the second function is just a multiplication by this funny factor
z_t we talked about recently (or aut(t) speaking in terms of BLL).
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