Re: [Axiom-math] Decomposition of rationnal fractions

[Raymond Rogers]

I don't know about a specialized solution (outside of Taylor series),
but as I recall making change and counting such is the first example in:
http://www.msri.org/communications/vmath/special_productions/production1/index_html
Sturmfel's excellent elementary introduction to Grobner Bases; which
Axiom does have support for.

Ray

Nicolas FRANCOIS wrote:
> 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 !
>
>