In 5.10.0 (compiled from the source) and Fedora Core 4, I get
%i23) load(grobner);
Loading maxima-grobner $Revision: 1.1 $ $Date: 2006/02/07 04:49:49 $
Evaluation took 00.40 seconds (0.14 elapsed)
(%o23) /usr/local/share/maxima/5.10.0/share/contrib/Grobner/grobner.lisp
-sen
On Mon, 27 Nov 2006, Fabrizio Caruso wrote:
> 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
>>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
--
---------------------------------------------------------------------------
| Sheldon E. Newhouse | e-mail: sen1 at math.msu.edu |
| Mathematics Department | |
| Michigan State University | telephone: 517-355-9684 |
| E. Lansing, MI 48824-1027 USA | FAX: 517-432-1562 |
---------------------------------------------------------------------------