Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Hi Martin,
>
> thanks for checking in the axiom-related stuff. Do you think axiom-port can
> now
> be removed?
Nearly, well, yes.
> As always, I have some comments, but I have not much time so the stuff comes
> in pieces.
You have no idea how happy this mail renders me.
> I was first wondering about axcompat2.as.nw because I somehow don't like the
> name so much, but I appreciate your idea of separating code that does not
> directly build on libaxiom. Unfortunately, you are not consequent. How else
> should I interpret a line like
>
> if S has SetCategory then SetCategory;
>
> in the definition of Partial
> (trunk/combinat/src/axiom-compatibility/axcompat2.as.nw r109)?
>
> If you really want to be independent of libaxiom then SetCategory should not
> be visible in that file.
Thanks for the compliment. I don't know how to make
if S has SetCategory then SetCategory;
superfluous. There is a (stupid) comment in axcompat about this:
Furthermore, for some reason \xAxiom{} does not realize that a domain
exporting \adname{OutputType} and \adname{PrimitiveType} should also export
\adname{SetCategory}. Thus we have to provide the export explicitely.
I guess axiom/aldor should not draw the conclusion. But libaldor does not have
a SetCategory equivalent, and some axiom code relies on it (by mistake, in
fact, but still).
> Also I don't understand the line
>
> if S has PrimitiveType or S has SetCategory then {
> (x:%) = (y:%):Boolean == {
>
> As you know, in Axiom we have
>
> SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with
>
> and in axcompat.as.nw as well as include/combinat.as there is the macro
>
> PrimitiveType == BasicType, so the "or S has SetCategory" is superfluous.
This might be a leftover of my trying desperately to get the code to work. It
took me a *very* long time to realize that certain exports, like
ListExtendCategory, make axiom crash.
This interface is quite "sensitive"...
All the best,
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
