Hello, I also played a bit with your code, but I cannot quite give the same reasoning as Martin. I can only guess... --BEGIN strange.as FPI ==> Fraction Polynomial Integer; tfpi1(d:Polynomial Integer
Since you want to work with Axiom, I guess you are right here. well, there is also axiom-math and axiom-mail ... anyways the people who answer seem to be the same:) Right. There are not so many peopl
Ok. I want to reply to one technical point so I will shift to axiom-developer. variable factorisation Are you referring to the discussion of dependent types in Aldor function definitions such as g(p:
Does this mean that one would need to modify the Aldor compiler? I.e., we would need access to the sources? So, is there any way to make this happen? Money? Martin
If you say then axiom then )lib blah it should work. I guess that in this case the lisp is interpreted rather than compiled. But usually, that doesn't matter anyway, at least not for development. Unf
we just do it. :-) Whether we convert to Aldor or some other language, we still need to know the semantics of the SPAD language. After all, the algebra files have meanings (with bugs or not). if we d
I believe I need more explanations than the vague allusion to co-inductive formalism. Epigram, for example, faces the same issue, and I don't think it is just mirage: http://www.mail-archive.com/addr
I agree. I do not see any reason to want to replace the current run-time environment of Axiom with anything else. Axiom's algebra library depends strongly on the S-expressions and other lisp data str
Now let's make things a bit more complicated. Would you be able to guess the output of the following program? --BEGIN aaa7.as define CatA: Category == with; define CatX: Category == with; A: Join(Cat
On July 24, 2006 3:38 AM Christian Aistleitner I agree with you and that was precisely my point. Perhaps I did not explain myself clearly. Yes, howerver originally I believed that Aldor could resolve
Hi Camm and the Axiom developers, I want to summarize my attempts to load external C libraries/functions from within Aldor/Axiom. I hope a lisp/gcl guru can give me some advice - especially on 2.3 ;-
Looks ok, aside from the fact that you assume that axiom's representation of SI and String are the same as lisp's - probably true, but it may be better to uniformly use SExpression as the argument a
Hello, OK, I see now. It could be -- in the non functional setting -- that a: NonFunctionalDomainConstructor Integer := something b: NonFunctionalDomainConstructor Integer := otherthing and NonFuncti
I should have been more precise: with "equal in some sense" I meant "not exactly equal". In german it is easier: I meant "nicht dasselbe sondern nur das gleiche". if x and y are "dasselbe" yes, other