[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: How to use ALDOR within AXIOM

Subject: [Axiom-developer] Re: How to use ALDOR within AXIOM
Date: Sat, 02 Oct 2004 21:18:16 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7) Gecko/20040616

Hi Martin,

I replied to exactly that message. I just wanted to document how to put the compiler into the right place.

And as you see from my message. There is a problem (at least on my site). How did you compile the file (which I called

Simply, saying )compile within axiom did not work in my case.
So you must have a slightly different setup.


Martin Rubey wrote:
Dear Ralf,

In fact, "fact" can be compiled using aldor 1.0.2 and axiom libraries: see

(this mail should really have gone to axiom-developer, sorry.)

Unfurtunately, I did not yet succeed with domains or packages. Maybe you do :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]