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 _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
