On 11/19/2006 11:14 AM, Martin Rubey wrote: > Dear Ralf, > it seems, that you are a workaholic, too.
Isn't 200km west of you another time zone? > For example, you cannot say > > structures([1,2,3]) > > instead you have to say > > structures([1,2,3]$List(IntegerLabel)) Then that seems to be a problem with the interpreter. It seems to interpret too much. And doesn't follow what is given explicitly by the library. I sometimes don't like how Axiom guesses for the user (and gets it wrong). >> OK, it seems you want me to write the layer. > No, I want you to work on combinat. That's the same thing. ;-) > The LinearSpecies stuff needs some > thinking. BTW, meanwhile I think that unrank has nothing to do with > LinearSpecies. With LinearSpecies, I have an order on the elements of the > argument of the functor, not on the set of structures... We'll come to that later. > But before all, I want you to be happy :-) Very kind. ;-) >> I don't argue. Everything should merge anyway. But I would rather start from >> zero and use things from here and there as they fit instead of building on >> the >> Axiom library where one doesn't even know which domain depends on another. >> The >> ground domains are too much interrelated still. > I think (as you know) that starting from zero is quite unrealistic. Axiom > currently has one of the best implementations of the Risch algorithm. It has a > very nice RealClosure package. etc. etc. It will take a very long time to > recreate this. Yes it'll probably take quite a long time. But now that stuff is not properly documented anyway and someone has to go through it. One could use Bronstein's work. So I am not actually saying to really start from zero. Basically, the axiom and libaldor code should be merged not completely programmed anew. But that is something for the axiom-dev list not aldor-combinat. >> Would you allow me to commit to axiom-port? First thing that I'll do... > Of course I "allow" you. For me, that is *our* project. And I guess that you > want to have Combinat running in Axiom as well, meanwhile. Otherwise, why > would > you bother. Because, I had never thought that the connection to Axiom could be done so fast. I would not have been able to do it. But now it works, I want to see that stuff integrated in AC, but I don't want "#if Axiom" in the code. > Just one suggestion: when you modify stuff, please check that it still runs in > Axiom. Unfortunately, make check does not work for that, one has to try out > some things. Does output work, does coercion work, does the "Interpret" domain > work. Could you think of a good way to have an equivalent to "make check" in the Axiom case? > Another suggestion: We have many interesting species in test/species.as.nw > meanwhile. I just added a few yesterday. I think we should have a package that > exports these species, i.e., binary trees, binary forests, fiwords,... I am not so sure to do that now. We should rather document what we have. What you suggest can be done in just one day. > Finally, I created a file combinat.input.nw. It doesn't get untangled > currently, I don't know why... I've realized that, but it seems not totally trivial to explain ALLPROSE to do it. Since .input files are not expected. But it is not vitally important to do it now. > In any case, I like your ideas (although I don't always agree), and I think > that we created something very pretty already. (I say "we", hoping that you > agree that I have contributed a bit, too, meanwhile.) I agree on the "we", of course. You caused lots of trouble meanwhile. *big smile*. 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
