axiom-developer
[Top][All Lists]

## [Axiom-developer] RE: integration server

 From: Bill Page Subject: [Axiom-developer] RE: integration server Date: Mon, 7 Nov 2005 14:24:54 -0500

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 MathAction pseudo-environment:

\begin{tilu}
sin x
\end{tilu}

in parallel with the way {axiom} and {reduce} are handled, is
one thing (probably not too very difficult). 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.

And yes, I am also planning someday to provide

\begin{maxima}
...
\end{maxima}

on the MathAction web site but so far there has not been much
interest expressed in this and no one who knows Maxima well
has come forward to offer to help, so I have given it a low
priority for now.

Regards,
Bill Page.

On November 7, 2005 2:09 PM you wrote:
>
> 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 the proper place to extend the system.
>
> maxima will probably be one of the math systems that gets added
> to the mathaction site at some point, running locally. i've also
> been pondering the thought of running it "under" axiom (since
> they are both in common lisp on gcl) to provide a testing /
> debugging mechanism for my automated builds. besides the type
> issue the only nit left is solving the zero-equivalence problem
> :-)
>
> t
>
>