Dear Ralf, *
I just checked in the first of a series of three merges into trunk. Here is the
ChangeLog for version 107:
* src/axiom-compatibility/axcompat.as.nw, src/species.as.nw,
test/setpart.as.nw, test/species.as.nw
This is the first of a series of merges to merge axiom-port into
trunk. In this step I modified axcompat.as.nw to support Axiom a
little better, most notably ACList. Partial and Generator were
merged from axiom-port.
Concerning species, I enabled isomorphismTypes and their
generatingSeries. I added tests that check whether structures and
isomorphismTypes produce the correct number of elements.
All tests succeed. I hope to be able to check in number 2 (spexpr) and number 3
(parse) tomorrow. They should be much easier. It took me roughly two hours to
make trunk work in axiom, could you please look at subsubsection ACList in
axcompat.as.nw...
There are many to-do-s now...
Merry Christmas and Happy New Year (with exactly one wish concerning
Aldor. Guess which one :-) )
By the way: did you know what 2^-1 equals in libAldor? I guess,
NonNegativeInteger was quite a good design choice, really.
Martin
-------------------------------------------------------------------------
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
