[Axiom-developer] Re: integration server

[root]

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