You either append the appropriate directory to file_search_lisp, or you
need to use a full path name.
I don't know where the files are on your machine. The user documentation
is in the file grober.demo.
On my machine I can:
(%i20) load("C:/Program
Files/Maxima-5.10.0/share/maxima/5.10.0/share/contrib/Grobner/grobner.lisp")$
Loading maxima-grobner $Revision: 1.1 $ $Date: 2006/02/07 04:49:49 $
Evaluation took 0.17 seconds (0.17 elapsed)
(%i21) demo("C:/Program
Files/Maxima-5.10.0/share/maxima/5.10.0/share/contrib/Grobner/grobner.demo");
batching #pC:/Program
Files/Maxima-5.10.0/share/maxima/5.10.0/share/contrib/Grobner/grobner.demo
At the _ prompt, type ';' followed by enter to get next demo
(%i22) showtime:true
Evaluation took 0.00 seconds (0.00 elapsed)
(%o22) true
_
(%i23) poly_monomial_order:'lex
Evaluation took 0.00 seconds (0.00 elapsed)
(%o23) lex
_ ;
(%i24) poly_expand(x,[x,y])
Evaluation took 0.00 seconds (0.00 elapsed)
(%o24) x
Barton
Fabrizio Caruso <caruso at dm.unipi.it> wrote on 11/27/2006 08:05:00 AM:
> Hi,
>
> I am using Ubuntu (Dapper) and Maxima 5.9.3.99rc4
> (which is almost identical to Maxima 5.9.10).
>
> I can't find the manual in the folder .../share/contrib/Grobner
> I just found a README file with
> some instructions on how to load the package but it
> seems to be outdated because I can't load that way.
>
> load(grobner) loads something and produces
> a lot of message and no error message:
> "
> ...
> ; due to type uncertainty:
> ; The second argument is a SEQUENCE, not a VECTOR.
> ;
> ; compilation unit finished
> ; printed 2 notes
> STYLE-WARNING: redefining $POLY_DEPENDS_P in DEFUN
> STYLE-WARNING: redefining $POLY_ELIMINATION_IDEAL in DEFUN
> STYLE-WARNING: redefining $POLY_COLON_IDEAL in DEFUN
> STYLE-WARNING: redefining $POLY_IDEAL_INTERSECTION in DEFUN
> STYLE-WARNING: redefining $POLY_LCM in DEFUN
> STYLE-WARNING: redefining $POLY_GCD in DEFUN
> STYLE-WARNING: redefining $POLY_GROBNER_EQUAL in DEFUN
> STYLE-WARNING: redefining $POLY_GROBNER_SUBSETP in DEFUN
> STYLE-WARNING: redefining $POLY_GROBNER_MEMBER in DEFUN
> STYLE-WARNING: redefining $POLY_IDEAL_SATURATION1 in DEFUN
> STYLE-WARNING: redefining $POLY_SATURATION_EXTENSION in DEFUN
> STYLE-WARNING: redefining $POLY_POLYSATURATION_EXTENSION in DEFUN
> STYLE-WARNING: redefining $POLY_IDEAL_POLYSATURATION1 in DEFUN
> STYLE-WARNING: redefining $POLY_IDEAL_SATURATION in DEFUN
> STYLE-WARNING: redefining $POLY_IDEAL_POLYSATURATION in DEFUN
> "
>
> but nothing seems to have been loaded:
> The example shown by the command demo(grobner)
> does not produce anything:
> grobner_basis ([3*x^2+1, y*x])$
> polysimp (y^2*x + x^3*9 + 2)
>
> What am I doing wrong?
>
>
> Fabrizio
>
>
> On Thu, 16 Nov 2006, Barton Willis wrote:
>
> > maxima-bounces at math.utexas.edu wrote on 11/16/2006 10:40:56 AM:
> >
> > > Hi all,
> > >
> > > are the commands "grobner_basis" and
> > > "polysimp" still available in the
> > > latest maxima?
> > >
> > > load("grobner") does not make them available.
> >
> > Yes, there is a grobner package in 5.10.0. It is in the folder
> > /share/contrib/Grobner. Of load("grobner") doesn't work, use the
> > full pathname. Also in this folder, you'll find user documentation.
> > The functions you asked about have different names -- try
> > poly_reduced_grobner for one.
> >
> > Barton
> >
>