[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] (no subject)
From: |
m.rubey |
Subject: |
[Axiom-developer] (no subject) |
Date: |
Thu, 3 Jun 2004 17:03:32 +0200 (CEST) |
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...~
- [Axiom-developer] (no subject),
m.rubey <=