Of course one can try to analyze the generated code, but if the definition of the language is adequate there should never be a need to do this. Better, one might review the internal source code of th
I've also started looking at this again - also not got very far, as time seems to be a bit limited at the moment. Feel free to ask questions though. Apologies for the ATTREG rule - a better method wo
Hi, Le mercredi 19 avril 2006 à 11:23 +0200, Ralf Hemmecke a écrit : [...] I agree Yes you're right, thanks, I read too quickly the libaxiom.mk (I built Axiom and the Aldor interface in the backgro
I do not understand what you mean by "compilation take over 3 minutes". I have compiled many domains in Aldor and no compilation I ever did took more than a few seconds. We regularly compile Aldor do
Thank you Antoine, Since -Mno-AXL_W_WillObsolete is just related to message output and does not change the behaviour of the compiler (hopefully -- you know, we cannot look inside the Aldor compiler),
Hello, ** Problem : When compiling using aldor the defaults compiler args emit a warning : * Ex : Compiling AXIOM source code from file dfinite.as using AXIOM-XL compiler and options -O -Fasy -Fao -F
http://www.dcs.st-andrews.ac.uk/~mnd/publications/thesis/mnd-sep99-thesi s.pdf It seems that the axiom-developer list on long delay again This works for me now. Do you want me to send a copy or uploa
Complex (Gaussian) integers? Is it that clear that it will become open source? It may be that it just takes a while, but is it possible that it's taking a while because there are roadblocks that we a
Hi Cliff, Agreed. Am I correct that the logical starting point is to identify where the compiler ends and the math begins (whether it is set/category theory or Axiom's domain and cagetory implementat
Changes http://wiki.axiom-developer.org/FreeAldor/diff -- It would be very educational to discover what was changed from Spad to Aldor, and why that makes Aldor a better language... (assuming that it
I'm not sure how to freeze text; perhaps it needs to be done by an administrator. It wasn't a server error and there wasn't an error message. My browser simply kept trying without success. (I use Fir
I think there's a misunderstanding here. There is a big difference between one person waiting and a community of people waiting for something. Letting Steven Watt know that there is a community waiti
Aldor is a conceptual heir of SPAD, and fixes some known problems with the SPAD language. Since part of Axiom's philosophy is to do things RIGHT, it makes sense to want to use the most advanced form
I would be very glad if you could write something. I am not sure whether a formal petition is really necessary (although I have it very interesting to learn that websites devoted to the purpose actua
Would it help to have more people write? I don't understand this. If it isn't open source for everyone, it isn't open source. (I'm guessing open source will also mean free.) So what would the individ
Ralf, I'm installing the necessary software from your site www.hemmecke.de/aldor to build the AllProse environment. It would be useful to modify your Makefile to use symbolic names for the notangle p
Hello, I want to build axiom--main--45 with native FreeBSD ports gcl (=2.6.6), following the instructions on http://page.axiom-developer.org/zope/mathaction/AldorForAxiom Axiom builds fine (with some
Most lisp compilers are written in lisp: the famous Maclisp compiler, for example and the CMU Common Lisp Compiler Python. In my opinion, a drawback of the current implementation of AXIOM in BOOT/LIS
Hello, great that you pop in -- you are not at RISC-Linz anymore, are you? currently, i am still at RISC. on some parse This is great news! I suppose, however, that it parses only the nopile syntax,
With apologies to Camm, there is one sense in which arriving at ocaml is neither full circle nor unattractive, and that is the coq theorem prover. If there is indeed serious interest in backing Axiom