> If (f pleth g) is defined as sum_{k=0}^\infty g_k*f(z^k) I also get 1
> since the only non-zero term is for k=0.
For k=0, you get g_0 ( f_1 z^(1*0) + f_2 z^(2*0) + ...) = \infty as well.
> Another question. Is for (arbitrary power series) f and g always
> f(g) = (f pleth g) = sum_{k=0}^\infty g_k*f(z^k)?
No!
> If plethysm corresponds to substitution then there is something I don't
> understand.
To substitution of *combinatorial classes*. Not of power series.
> Where does the plethysm of _univariate_ series come into play in
> Mupad-Combinat?
It's the basic tool to get the generating series for unlabelled Set(A)
/ multiset(A) / Cycle(A) / Lyndon(A) knowing the generating series for
A. See those functions in countingFunctions. It's should be used at
some point in combinat::decomposableObjects.
> I reloaded the page
> http://www.sciface.com/support/doc/40/en/combinat/countingFunctions.html
> nothing has changed. Also not on
> http://mupad-combinat.sourceforge.net/doc/en/combinat/countingFunctions.html
> :-(
Sure, we put on the web the documentation of the stable version. The
latest version is fetchable from our CVS.
Nicolas
--
Nicolas M. Thiéry "Isil" <[EMAIL PROTECTED]>
http://Nicolas.Thiery.name/
-------------------------------------------------------------------------
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
