Ralf, and other Aldor experts; 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 co
I can't help wondering if the material in the Reference section of the Aldor Users Guide might be enough for us to define at least a basic Aldor compiler in Lisp, and build on that. I am strongly aga
Changes http://wiki.axiom-developer.org/FreeAldor/diff -- Having Aldor being a vibrant language would be wonderful. Right now, I find myself in the position where I do my math hacking in Maple, but m
Changes http://wiki.axiom-developer.org/FreeAldor/diff -- The Aldor and Axiom communities need to cooperate. The current license restrictions on Aldor make this cooperation extremely difficult. There
Well, I sent him an email (I think - tried the address on his university website for variety). Hmm. What about the other option, to go "back to the source" so to speak - NAG? Or does Stephen now have
For a perhaps overly abstract discussion of this see: http://wiki.axiom-developer.org/RepAndPer Just one comment to this website. I don't think that rep: % -> Rep could be seen as a forgetful functor
I'd say it does, at least for some definitions of the term. I'd very quickly follow up by saying 'but who cares', since it's obvious that they occasionally have their uses (as Tim suggests, system le
Actually, perhaps I should simply concede that the above article is not particularly good, and I will be glad to do so if you can recommend a better alternative that defines these terms more accurate
[Allprose snipped - not had time to look at it] In theory it ought to. The .asy symbol file loaded by the interpreter contains the +++ documentation strings, and these are read by the )lib command, a
Hi, "as someone who shared his office for a few years with Knut Wolf, who had been working for about a year on A# (aldor), I can say" ;-) : The old code was difficult to maintain. There was (is) litt
Peter, Yes, I think you are right. I changed the short name (abbreviation= file name?) of my Aldor category from upper case to lower case and now it **sometimes** works. See: http://wiki.axiom-develo
Hi Tim, I've been doing a bit more work on the aldor interface (it will now compile 90% of the axiom library for use against aldor). I'm at the point of pampletising the source files, and should be d
I am not following your example. RESCLASS is already a domain constructor and dependent types for domain constructor is not a problem in Axiom. Since RESCLASS is a categorical construct, the implemen
William, I think these are great examples with which to examine some fundamental ideas in Axiom! limitation" in Axiom is natural and that Aldor goes too far in allowing a construction like g(n:Intege
Dear Peter, I just tried another example, which is in fact the reason why I would love to have Aldor working. I did not expect it to work, and it does not, but it works *almost*. The code is as follo
I've been playing with the aldor/axiom stuff a little, and the following patch may help get things going(I used to work on it, and thought it'd be fun to get it going again). There are further proble
Can also be found here... http://physics.bu.edu/~youssef/homepage/talks/categories/categories.html This seems to be an article related to these slides. http://atlas.bu.edu/~youssef/papers/math/aldor/
Le vendredi 14 mars 2008 à 08:03 +0000, Peter Broadbery a écrit : Ok, it will not fix the bug previously mentioned but will allow to switch and test the new build procedure, many thanks for your wo
But I used that extensively in axiom-combinat! How come it is broken now? And how come I cannot get any aldor to work together with my fricas currently? I'm a little desperate. Martin