[Axiom-developer] (no subject)

[m.rubey]

I'm about to finish a package that guesses - given the first few terms of 
a sequence of numbers - a function that might be generating these numbers. 
In principle it's a port of Christian Krattenthaler's program rate.m for 
MMA. See http://igd.univ-lyon1.fr/~webeuler/home/kratt/rate/rate.html 
for more information.

Although my package works in principle, I encountered some problems - some 
of which were easy to solve, but some remain.

In principle, I'd need to write to extend the domain EXPR to fields. 
However, this appears to me to be a bit too complicated for the 
moment, so I'd be content with the following:

given a field which has OrderedSet, say FRAC POLY INT, how can my program 
find out that the "correct" expression space is EXPR INT? (because, 
unfortunately, EXPR FRAC POLY INT is not a valid type...)

Thanks in advance,

Martin

PS: While writing the patch for dvdsum -- axiom assumes at the moment that 
d/dx sum_i=1^x f(i) equals f(x) -- I ran across some new problems, that's 
the reason why the patch is not yet submitted

PPS: more bugs tomorrow :-( 
I have a handwritten list in my former office...~