"Bill Page" <[EMAIL PROTECTED]> writes:
> But integrating this kind of lookup into Axiom itself is quite another. I am
> not sure it would be a good idea unless done in the context of a major
> re-evaluation of the way Axiom does integration.
I recently had to understand the pattern matcher in Ax
I forgot an important paragraph: the implementation of the Risch algorithm
seems to be quite up to date however. Furthermore, it appears that the SumIt
library by Manuel will be released under a free license, and it should be
possible to link it to Axiom. This would probably be state of the art. -
re: maxima.
i know Jim Amundson. He's a good guy. We can ask him if he or someone
else would like to help. probably just crossposting a request to the
maxima mailing list would likely get a response also.
re: integration integration
more on this later. i'm lagged at the moment.
t
___
Tim,
Could you explain a little more about what you have in mind
with the TILU site/database
http://torte.cs.berkeley.edu:8010/tilu
Mirroring this site on MathAction and maybe adding something
like Axiom-style input and LaTeX output or something like that,
e.g. adding the following kind of MathA
i'd like to make the integration by lookup opaque to the user
so the various math systems "just work".
for axiom this is going to take a bit of work due to the type issue.
i don't know about reduce as i haven't looked at the code.
axiom already does some pattern-match lookup so i expect that is
t
Dan,
You may remember me as we've crossed paths in the past but it
has been a while. My last email for you was as world.std.com.
Richard Fateman has a TILU server which contains a database of
integrals that can be accessed from common lisp.
Bill Page has a website (page.axiom-developer.org) whe
I checked the interface.
If you do the same as Ron Avitzur, you open a socket and
send a string in prefix form, like
(integrate (sin x) x)
and you get a response like (-1)*cos(x)
Even easier would be (* -1 (cos x))
but that is not what Ron wanted.
The socket is at tilu/integrateGC2
I could se
Dan,
You may remember me as we've crossed paths in the past but it
has been a while.
Richard Fateman has a TILU server which contains a database of
integrals that can be accessed from common lisp.
Bill Page has a website (page.axiom-developer.org) where he's
been building up a mathematics web s