Re: [Axiom-developer] book

[root]

Camm,

>Downloaded this and gave it a quick look.  Might be an interesting
>entry point into learning about extending axiom to translate this into
>spad.  Should time for this arise, what would be the most useful way
>to proceed?

Well, first thought is to try to figure out Zielberger's algorithm.
This seems to be the most complete. Axiom already implements Gosper's
algorithm so a useful place to start is to see what was done in that
instance and try to implement something similar.

I've been working my way thru the first few chapters which has required
a lot of background reading on my part because I'm not really up-to-speed
on the various identities. it's been educational but so far has produced
no code from me.

Ideally you'd work on the algorithm as a literate program and I could
learn what you did from the document. But that's only my measure of
a useful way to proceed. Your path may vary :-)

Tim