I agree. In fact to take best advantage of this knowledge, perhaps we might seriously consider the possibility of writing "new Aldor" in a language like Ocaml. I think Ocaml might be a better choice
Thank you very much for taking the time to offer a thorough answer. [...] Indeed. But the positive side of it is that those are now part of common knowledge and it is not like everything has to be re
Hi Bill! I looked at the code, and the only problem I see is that Record wont satisfy BasicType. IIRC, the primitive structured types in aldor do not export equality operations, let alone play into t
Bill, Peter, As a practical matter we can't expect axiom users to upgrade both make and java just to build Axiom. I'm following the directions you put on the AldorForAxiom page just to verify that I
Peter, Ok, I followed step 2. from Martin's web page: http://www.axiom-developer.org/zope/mathaction/AldorForAxiom and created axiom.as in $ALDORROOT/include Now the compile of rr.as completes succes
William, Yes, I realize that this is already possible in axiom. My apologies, I miss-wrote the the RESCLASS example. I hope what I write below will be a bit clearer. I know :) I wonder this too. Just
Dear Peter, Tim, I tried that, but it won't work. Tim, is there a way to trace what's happening? Note that both $ALDORROOT and $AXIOM were set correctly. In other words, the link above produced a dir
Dylan, Bill, re: Aldor rewrite. Many people, including myself, have tried to reconstruct and/or rewrite the Axiom type system in Aldor. This is unlikely for at least 4 reasons. First, the type system
I don't understand the technical issues and I agree that, in most cases, choice is a good thing. However, in the case of pan-axiom there already seems to be far too much choice (i.e. fragmentation).
I have a long term interest in making Aldor be literate when it becomes part of Axiom. If the code had been released under the modified BSD I'd already be working on it. I can tell you some features
I reported them just a few mails ago: http://groups.google.at/group/fricas-devel/msg/83992b708f7e549e I'd be grateful if somebody could post an *exact* setup that works - especially with friCAS, i.e.
Le vendredi 14 mars 2008 à 09:02 +0100, Martin Rubey a écrit : [...] That is strange I can not reproduce it on a mix of Axiom/FriCAS/OpenAxiom. Something is wrong on your side. The output bug track
What is does is clear -- this code computes a hash. However, the real question is different. Namely, to cooperate Axiom and Aldor need to compute this hash in the same way. So the question is which v
Dear Franz, MANY MANY thanks for your instructions! They just worked! (except that I don't have lndir, but I did for f in ../../src/algebra/*; do ln -s $f; done; instead) They should definitively rep
Peter, Thank you very much for sending the revised version of src_aldor3.tgz! I think eliminating the Java dependency is a very important thing if we are to eventually include this as an optional par
Finally got round to looking at this. The code attached can be used to build the axiom/aldor interopability library (libaxiom.al). New features: Less abuse of make features (though I've only used a r
No. subdomain is already part of Spad. Spad implements things this way but Aldor does not. If I am discussing changing anything it would be Aldor not Spad. Bill, I hope I can convince you otherwise d
... Yes. See the example at: http://wiki.axiom-developer.org/address@hidden "The important thing is to escape the keyword generator by prefix with _." Regards, Bill Page.
/home/lehner/usr/local/src/axiom/ax-build/src/aldor/x86_64-unknown-linux/bin/ looks rather broken -- it seems that - /src/aldor should rather be /build However, I am a little afraid that some variabl
Hello since apparently there is no amd64 binary package I tried to compile one myself and started with wh-sandbox. It finished after 12 hours (with --enable-checking). Then I tried to follow the inst