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
>