Re: [Axiom-developer] Formal Power Series

[Gabriel Dos Reis]

Martin Rubey <address@hidden> writes:

| Dear Gaby,
| 
| Gabriel Dos Reis <address@hidden> writes:
| 
| > One group is working on formal power series,
| 
| this group should definitively get into touch with Ralf, Antoine and me.

I'm CC:ing them.  

Please, be "gentle" with them, they are CS grad students, not math
grad students and they are new to Axiom. (I'm not sure they are
very familiar with Aldor).  They have been reading (if my recollection
is right) on the holonomic series and the work done in Maple and
Mathematica.  They are working with SPAD  -- I have no plan to
have them work in Aldor at this time; and they have about a month to
complete their work.  

| Ralf and myself have (toghether with extreme support from Christian and
| Nicolas) an implementation of Combinatorial Species. This is a combinatorial
| model for Formal Power Series.
| 
| Antoine has started to implement GFUN and MGFUN in Axiom. THis is for dealing
| with dfinite (also known as holonomic) formal power series. These satisfy
| wonderful closure properties and allow testing for zero, i.e., are
| computable. I have somee ideas to generalize to formal power series that
| satisfy an ADE. Although you cannot test for zero in general, they satisfy 
very
| very nice closure properties. 

I, myself, have a particular interest in power series and ADE as this
came out of my work on constant mean curvature surfaces.

[...]

| Don't you have a spare student who would be willing to make Axiom understand
| dependent types? 

Not yet, but I have a colleague who is just as interested as I'm -- I
suspect I already mentioned him in the past.

| You noticed the price I set?

Yes.  I cannot take it personnaly, but once I have a student for that
topic, I'll contact you.  Next spring, I'm giving a class on
runtime systems, so I don't know yet.

-- Gaby