>> with the right implementation of cis in Subset, the test now runs in
>> reasonable time.

> Yes, that's not so surprising.  However, as I said before, I do not think that
> this is the right cure.

Oh, but Subset is somehow as reasonable as Partition (which is 
E\circ(E_+)) because Subset (which is E*E) is actually needed in the 
definition of Times.

> In fact, it also implies that I should pursue my idea of "bundling" power
> series with "expressions".

Wasn't that our plan from the beginning? Of course, we should analyse 
the grammar that builds the species in order to determine a better 
formula for the series than the generic one. Another big and interesting 
project, because that involves writing symbolic solvers, ie, turning the 
grammar into good recursion formulas for the series.

But I somehow don't like your SpeciesExpression implementation. The 
reason is simple. If a couple of species is defined by a set of 
definitions like in

     A(L: LabelType): CombinatorialSpecies L == (E + X*B*B*B)(L) add;
     B(L: LabelType): CombinatorialSpecies L == (E + X*A*A)(L) add;

then the data structures of A and B already contain the knowledge about 
the equation. One "simply" has to extract it. What I want to say is that 
the domain "SpeciesExpression" is completely superfluous.

> The reason that your implementation of the CIS of
> Subset is fast is, that you do the multiplication "symbolic", albeit not using
> the capabilities of a CAS...

Hmm, unfortunately, we cannot do better at the moment, since SetSpecies 
doesn't actually "know" that its series is exp(something). That's a pity 
and should and must be changed in the future. I'm sure you remember that
there was a reason to make the series stuff external. From the beginning 
we wanted a series to be the stream of coefficients *and* a "closed" 
formula. We just haven't implemented it. But using the power of Aldor we 
would just have to write a new coupled series domain that knows about 
its closed form (if that is know or can be computed).

>> You see, the problem is the multiplication of species.

> I think that this is only one part of the problem.  It would be really nice
> (and probably something one could "sell") to have a power series package where
> the timings of the two variants would be nearly the same...

As you said above that involves some "symbolic" stuff. So let the fun 
begin. What we have done up to now was more or less setting the ground 
for the hard stuff. So there is a good reason to make a first release 
before we go on.

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

Reply via email to