Hello,
we are now at revision 122. You should also update the allprose part
since I have modified some minor details.
Basically, I have implemented the underlying structure for
CycleIndexSeries. However there is still a lot of stuff missing.
Next steps:
Connect the series world with the species. There is probably need to add
more series operations. For example, a computation of the exponential
and isomorphism type series from the cycle index series.
Composition and d/dx1 of CIS is also still missing, but should be
relatively simple if done in a naive way. I'll do this in the next few days.
Ah, before you argue why I have implemented my own polynomial domain:
The polynomial domain in LibAlgebra is probably broken and has a lot of
requirements that would have caused trouble for running AC inside Axiom.
So don't take the poly directory too seriously. It should become an
extra library that is merged with libalgebra.
Comments are welcome.
Ralf
From the ChangeLog...
2007-02-02 Ralf Hemmecke <[EMAIL PROTECTED]>
* src/series.as.nw, test/series.as.nw:
Implemented differentiation, integration, exponentiation of formal
power series.
2007-01-29 Ralf Hemmecke <[EMAIL PROTECTED]>
* src/poly/, test/poly:
Implementation of generic monoid rings, power products, and
polynomials in arbitrarily many variables. Distributed and sparse
representation.
2007-01-23 Ralf Hemmecke <[EMAIL PROTECTED]>
* combinat.sty.nw:
Definitions for \fix, \Fix, \supp.
* combinat.bib.nw:
Kerber:AlgebraicCombinatorics:1991
* src/series.as.nw, src/gseries.as.nw, test/series.as.nw,
test/gseries.as.nw, combinat.as.nw:
Code for FormalPowerSeries stayed in src/series.as.nw. The
exponential and ordinary generating series code moved to
src/gseries.as.nw. And new code for the cycle index series has
been added.
2007-01-21 Ralf Hemmecke <[EMAIL PROTECTED]>
* src/axiom-compatibility/axcompat.as.nw,
src/axiom-compatibility/axcompat2.as.nw:
From now on coerce: % -> OutputForm is by default implemented via
the function <<: (TextWriter, %) -> % and not the other way round
as it was before.
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
