Dear Ralf, I just merged (locally) trunk into axiom-port. I.e., I kept trunk as it is, but merged the changes you made since rev 70 into branch.
(I couldn't resist the temptation of trying out svn merge. Thus, if I'm unable to finish my article in time, I can blame svn) Using psvn it worked quite well. I encountered major problems only merging the code chunks related to structures in the Times constructor, since I fixed a bug there and you modified Trunk to use SetSpecies instead of Set. (By the way, are you absolutely sure that SetSpecies is necessary?) However, I finished this now, and did some very basic testing in Axiom. make check succeeds, but, of course, we still have noAldorUnit for Axiom, and there are still no tests for structures. I didn't check it in yet. If you want me to, please tell me, but I'd rather see the current version of axiom-port working on your computer. Already in the version you can currently get I described the reason why structures failed for Plus(SingletonSpecies, Times(Self, Self)) and provided a fix. I really should stop now. All the best, Martin ------------------------------------------------------------------------- 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
