Groebner basis package under Maxima 5.30.0? Errors when loading.



Hello,

When I load the "grobner" package, the following warnings are returned:

--

> ; ; caught STYLE-WARNING:
> ;   The definition has three fixed args, but proclamation has zero.
> ;
> ; caught STYLE-WARNING:
> ;   The definition has two optional args, but proclamation has zero.
> ;
> ; caught STYLE-WARNING:
> ;   The definition doesn't have &KEY arguments, but proclamation does.
> ;
> ; compilation unit finished
> ;   caught 3 STYLE-WARNING conditions

--
and my attempts to use it result in such errors as:
--

> Maxima encountered a Lisp error:
>  The value NIL is not of type SB-KERNEL:INSTANCE.

--
I suspect it has something to do with the lisp I'm using (sbcl) not playing
nicely with the old code of grobner.  Any ideas as to how I can make old
code work with a new lisp?

Thanks,
Alasdair

PS.  Here is the complete message returned when I attempt to load grobner:
--

> Loading maxima-grobner $Revision: 1.6 $ $Date: 2009-06-02 07:49:49 $
> ; file: /usr/local/share/maxima/5.30.0/share/contrib/Grobner/grobner.lisp
> ; in: DEFUN MAKE-TERM-VARIABLE
> ;     (DEFUN MAXIMA::MAKE-TERM-VARIABLE
> ;            (MAXIMA::RING MAXIMA::NVARS MAXIMA::POS
> ;             &OPTIONAL (MAXIMA::POWER 1)
> ;             (MAXIMA::COEFF (FUNCALL (MAXIMA::RING-UNIT MAXIMA::RING)))
> ;             &AUX
> ;             (MAXIMA::MONOM
> ;              (MAXIMA::MAKE-MONOM MAXIMA::NVARS :INITIAL-ELEMENT 0)))
> ;       (DECLARE (FIXNUM MAXIMA::NVARS MAXIMA::POS MAXIMA::POWER))
> ;       (INCF (MAXIMA::MONOM-ELT MAXIMA::MONOM MAXIMA::POS) MAXIMA::POWER)
> ;       (MAXIMA::MAKE-TERM MAXIMA::MONOM MAXIMA::COEFF))
> ; --> PROGN SB-INT:NAMED-LAMBDA
> ; ==>
> ;   #'(SB-INT:NAMED-LAMBDA MAXIMA::MAKE-TERM-VARIABLE
> ;         (MAXIMA::RING MAXIMA::NVARS MAXIMA::POS &OPTIONAL (MAXIMA::POWER
> 1)
> ;          (MAXIMA::COEFF (FUNCALL (MAXIMA::RING-UNIT MAXIMA::RING))) &AUX
> ;          (MAXIMA::MONOM (MAXIMA::MAKE-MONOM MAXIMA::NVARS
> :INITIAL-ELEMENT 0)))
> ;       (DECLARE (FIXNUM MAXIMA::NVARS MAXIMA::POS MAXIMA::POWER))
> ;       (BLOCK MAXIMA::MAKE-TERM-VARIABLE
> ;         (INCF (MAXIMA::MONOM-ELT MAXIMA::MONOM MAXIMA::POS)
> MAXIMA::POWER)
> ;         (MAXIMA::MAKE-TERM MAXIMA::MONOM MAXIMA::COEFF)))
> ;
> ; caught STYLE-WARNING:
> ;   The definition has three fixed args, but proclamation has zero.
> ;
> ; caught STYLE-WARNING:
> ;   The definition has two optional args, but proclamation has zero.
> ;
> ; caught STYLE-WARNING:
> ;   The definition doesn't have &KEY arguments, but proclamation does.
> ;
> ; compilation unit finished
> ;   caught 3 STYLE-WARNING conditions

--
I know basically nothing about lisp, and so I'm a bit in the dark here.

-- 
Blog: http://amca01.wordpress.com
Web:  http://sites.google.com/site/amca01/
Facebook: http://www.facebook.com/alasdair.mcandrew