[Axiom-math] Decomposition of rationnal fractions

[Nicolas FRANCOIS]

Hi.

Is there any way to obtain the decomposition in simple elements (don't
know exactly how to say this in english) of a fraction of the form :

          1
  -------------------
  (1-X)(1-X^2)(1-X^5)

(to obtain its formal series equivalent \sum a_nX^n, a_n being the
number of ways to pay n€ using 1, 2 and 5€ corners (no, there
is no such thing as a 5€ corner, but there's a 5€ banknote !)).

I'd like to obtain the C-decomposition, what do I have to do ?

More precisely : is there a way to force the use of an extension of
Q(X), by adding roots like exp(2*I*PI/5) or sqrt(2) ?

\bye

PS : clearly I'm not very good at using Axiom documentation !

-- 

Nicolas FRANCOIS                      |  /\ 
http://nicolas.francois.free.fr       | |__|
                                      X--/\\
We are the Micro$oft.                   _\_V
Resistance is futile.               
You will be assimilated.         darthvader penguin