Re: [open-axiom-devel] [fricas-devel] Re: Axiom interface

2008-09-13 Thread Martin Rubey
Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > bottomUp t == > >-- bottomUp takes an attributed tree, and returns the modeSet for it. > >-- As a side-effect it also evaluates the tree. > > @@ -258,6 +263,11 @@ > > argModeSetList:= [bottomUp x for x in argl] > > > > ms :

Re: [open-axiom-devel] [fricas-devel] Re: Axiom interface

2008-09-13 Thread Ralf Hemmecke
> bottomUp t == >-- bottomUp takes an attributed tree, and returns the modeSet for it. >-- As a side-effect it also evaluates the tree. > @@ -258,6 +263,11 @@ > argModeSetList:= [bottomUp x for x in argl] > > ms := bottomUpForm(t,op,opName,argl,argModeSetList) > +--

Re: [open-axiom-devel] [fricas-devel] Re: Axiom interface

2008-09-13 Thread Martin Rubey
Dear Gaby, Waldek, I tried today to port from open-axiom the feature that allows an ordinary function to return a type, but failed. I.e.: --- )abbrev package EXPORT ExportType ExportType(x: Ring): with baseRing: () -

Re: [open-axiom-devel] Applying patches

2008-09-13 Thread Aleksej Saushev
Ralf Hemmecke <[EMAIL PROTECTED]> writes: >> I just saw that open-axiom uses sed to modify the sources. What do you >> prefer? >> >> Martin >> >> edit = sed \ >> -e 's|@[EMAIL PROTECTED]|$(open_axiom_installdir)|g' \ >> -e 's|@[EMAIL PROTECTED]|$(axiom_optimize_options)|g' \ >>