[Axiom-math] [ANN] guessing formulas for sequences

[Martin Rubey]

Finally I was able to compile my guessing package...

Install: (I deleted less interesting messages from the system)

address@hidden Axiom]$ cp ~/axiom/mnt/linux/src/algebra/combfunc.spad .

address@hidden Axiom]$ patch combfunc.spad patches/sumprod.patch 
patching file combfunc.spad

address@hidden Axiom]$ patch combfunc.spad patches/combfout.patch 
patching file combfunc.spad
Hunk #1 succeeded at 233 (offset 3 lines).

address@hidden Axiom]$ cp pamphlet/rinterp.alternativ.spad.pamphlet .

address@hidden Axiom]$ document rinterp.alternativ.spad.pamphlet 
This is TeX, Version 3.14159 (Web2C 7.4.5)
--- lots of messages deleted ---

address@hidden Axiom]$ cp pamphlet/guess.spad.pamphlet .

address@hidden Axiom]$ document guess.spad.pamphlet 
This is TeX, Version 3.14159 (Web2C 7.4.5)
for some reason you will have to press enter twice to appease TeX
--- lots of messages deleted ---

--- if you want to, you can now read the documentation, with your favorite dvi
    reader: 

address@hidden Axiom]$ kdvi guess.spad.dvi &

address@hidden Axiom]$ kdvi rinterp.alternativ.spad &

address@hidden Axiom]$ axiom
                        AXIOM Computer Algebra System 
               Version of Wednesday June 9, 2004 at 15:38:25 
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
 
   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) -> )co combfunc.spad )co COMBF

--- hundreds of messages deleted ---

(1) -> )co rinterp.alternativ.spad

--- some messages deleted ---

(1) -> )co guess.spad

--- some messages deleted ---

(1) -> guess([(i+q^i) for i in 0..3])$GUESS(n,FRAC POLY INT,i+->q^i,FRAC POLY 
INT, EXPR INT, i+->i, i+->i)


--- some messages deleted ---

                         s
          n - 1           4
           --+   (q - 1)q   + q
   (1)  [( >     --------------) + 1]
           --+          q
          s = 1
           4
                                                Type: List Expression Integer

Can somebody explain the following error message???

(2) -> guess([i for i in 0..3])$GUESSINT(n,i+->i)
   Loading /home/rubey/martin/Axiom/GUESSINT.NRLIB/code for package 
      GuessInteger 
 
   >> System error:
   The function NIL is undefined.

protected-symbol-warn called with (NIL)
(2) -> 


Comments very welcome!

Happy guessing,

Martin