Dear all,
I just checked in (somewhat late) a new branch enabling us to generate the
isomorphismtypes of compositions.
There are some rather large changes in the design, and currently the test cases
do not reflect that change. I hope to be able to fix this soon.
There is a major problem with axiom, but currently I cannot even give a short
self contained program displaying the bug. I included a way to reproduce it and
a workaroung in the changelog though. I guess, at the current point it is a
waste of time to try and fix it.
With the design as in this branch it is almost trivial to include derivative
and pointing. Of course, I don't have a clue about cartesian product and
functorial composition...
There are many many things to fix, of course. But I really think it is time for
a (physical) meeting, Ralf, to discuss further directions.
Martin
Here is a new branch (from trunk 110) to integrate the generation
of isomorphismtypes of compositions. Rough tests indicate that it
works, although, so far no test cases have been written.
There is a major problem unfortunately for Axiom: stepping the
generator produced by isomorphismTypes makes Axiom crash in many
cases. For example:
F ==> Interpret([parse "Compose(SetSpecies,
Plus(SingletonSpecies, SingletonSpecies))"], ACINT)
IF ==> ACIsomorphismType(ACINT, F)
l := [coerce(1::ACINT,3)]::List Multiple ACINT::MultiSet ACINT
g := isomorphismTypes(l)$IF
next! g
does not return. Curiously, replacing the first macro with
F ==> Interpret([parse "Compose(SetSpecies,
DropEmpty(Plus(SingletonSpecies, SingletonSpecies)))"], ACINT)
does work correctly.
-------------------------------------------------------------------------
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
