[Axiom-mail] Re: [Axiom-developer] book

[Martin Rubey]

Camm Maguire writes:
 > Greetings!
 > 
 > 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?

It depends a little on your goals.

1. you can translate any given algorithm into a spad package.

2. you could learn more about all this stuff by looking at the work of the
   people at RISC, especially Carsten Schneiders

http://www.risc.uni-linz.ac.at/research/combinat/publications/#cschneid

and Axel Rieses

http://www.risc.uni-linz.ac.at/research/combinat/publications/#ariese

and Markus Schorn

http://www.risc.uni-linz.ac.at/research/combinat/publications/#mschorn

and ...

(difficult)

3. You might simply ask those people (maybe Peter Paule is appropriate) what
   makes sense. Maybe somebody there volunteers to do some work.

4. if you are more interested in providing a framework within Axiom for all
this stuff, you might want to look at 

http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9217

The files involved are combfunc.spad and sum.spad, the latter implements
Gospers Algorithm.

There are certainly other useful possibilities.

Martin