Hello,
Just a progress report...
I've now worked quite a bit on the compatibility layer that emulates the
libaldor+libalgebra features with the help of types from libaxiom.
It's quite a lot of work and every now and then I stumble over something
that does not work as I expect.
I guess, it would be quite straightforward if I could 'extend' existing
Axiom domains like Integer, String, List, etc. However, since that does
not work, I have to introduce ACInteger, ACString, ACMachineInteger,
ACCharacter. And now I also think about providing ACList.
Their implementation is pretty simple, but they belong to other
additional categories from Aldor-Combinat and that calls for the
AC-prefixed new domains. Unfortunately, I cannot "extend". :-(
So my current idea is to implement new domains with prefix AC and then have
macro {
PrimitiveType == BasicType;
TextWriter == OutputForm;
String == ACString;
Character == ACCharacter;
Integer == ACInteger;
MachineInteger == ACMachineInteger;
PrimitiveArray == ACPrimitiveArray;
ArithmeticType == Ring;
numerator x == numer x; -- Fraction X
denominator x == denom x; -- Fraction X
TRACE(msg, val) == {}
}
in include/combinat.as. Up to now that works pretty well. I currently do
the compilation with (more or less) unmodified trunk code. So there is
hope to get most of the #if Axiom things eventually removed from axiom-port.
Hopefully, I get trunk compiled against libaxiom at the end of the week,
but as I said, it seems that I also have to introduce ACList. Once
"extend" works for Axiom then all the AC-domains can be replaced by an
extension mechanism and no _new_ domains would be needed.
Good night.
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
