Thanks, but I did try it. At that page I see: Step 3. Select your OS: Linux version 1.0.3 (glibc2.3) Linux version (glibc2.2) Linux x86 64-bit DEC/OSF1 version 1.0.2 Solaris version 1.0.2 Linux vers
I read the excellent aldor user's guide and neglected the fact, that it is written for the standalone version of aldor rather than the axiom version. Is there a similar manual for axiom+aldor other t
Thanks. Maybe we should start planning the next Axiom meeting real soon. I would love to have a chance to work on Axiom in an intensive coding sprint such as was organized for Sage Days. I think it w
Dear Peter, Ralf I just deleted the src/aldor directory and replaced it with a fresh one. (make clean doesn't seem to work....) Now I get a different error message. The build stops with Output writte
Dear all, especially Peter, I'm trying to get my aldor interface running again -- new computers, I hate them. However, make in src/aldor stops with make[1]: Entering directory `/home/martin/GoldenAxi
You are correct that there is a potential inconsistency. We avoid Russel's paradox by limiting the operations for constructing and testing membership in type categories. Note that many programming la
Do you think it would be a bad idea to produce a symbolic library for Axiom and make it available to C programmers by simply targetting C as the Aldor output? No, if it is indeed as simple as that. I
Hmmm... in Aldor values do not have types. "A add {...}" is an "add expression". The concept of inheritance in Aldor is obviously very important. In an add-expression the domain appearing to the left
Great! I am very happy you are looking into this. See: http://wiki.axiom-developer.org/SandBoxAldorForeign The first section containing (defentry |myprintf| (string) (int "printf")) is compiled as a
Hello, Due to that I want to call external library functions from within Aldor/Axiom I did some trials with Aldors "Foreign" and GCL "defentry" commands. First of all, an example that work (partly),
Dear Christian et al, I've been following your discussion with interest. The way things are intended to be in the Aldor *language* is as follows. Expressions in type context (e.g. T in a: T := ...) m
Hello, Do you really want a type system whose language is not functional? Actually, I haven't thought about this. I somehow have the feeling that the Aldor compiler implements such a functional type
was more recent than attrib.as.head. Humm it's strange since I did not modify ATTREG.spad and I decompressed src_ador2.tgz after the full build of Axiom. I hope this all goes away soon. I have alrea
Note that Aldor is constructed so that a domain is only a member of a named category if it explicitly inherits from the category -- not if it merely exports the same collection of (explicit) declarat
Yes. But what exactly is mystical to you? Everything starts in catdef.spad, and in fact the code is very easy to read, I find. The polynomial hierarchy should probably be taken from Aldor, I believe
Thanks! Having never actually seen the "source license" for Aldor, I can not answer this question directly, but the rational for the binary license for Aldor http://www.aldor.org/license-rationale.ht
Dear Stephen Watt, It's been more than two months since your email concerning the possible open source license for Aldor. I have not heard any news of any sort about Aldor since then. When you have a
I would be interested to learn of any examples where this sort of use of 'pretend' was essential, i.e. where it can not be replaced with some operations defined on the underlying domains. My reaction
I have read quickly through the 225 pages of documentation of ALLPROSE and I have to agree with Martin. A short concise summary in 1 or 2 pages that gives the basic ideas, motivation and a few **very