Martin Rubey <[EMAIL PROTECTED]> writes: | Dear Gaby, | | Gabriel Dos Reis <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
