>>> It is not needed. I introduced a function construct: Generator S -> % in
>>> ACList
>>> that allows one to use [g]$ACList S
>>> for a generator g in Axiom, too.
>> OK. I think you meant the function "bracket" (which is the Aldor name of
>> "construct"). And this function I have provided already in revision 106.

> NO. I provide construct. For axiom, bracket is just any name, but construct is
> special: [] is syntactic sugar for construct.

I see that you use "construct" in AC, but I don't see that you define 
it. Could you point me to the exact place. Or do you actually mean that 
unnecessary function "makeAxiomList"?

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

Reply via email to