Groebner basis package under Maxima 5.30.0? Errors when loading.
Subject: Groebner basis package under Maxima 5.30.0? Errors when loading.
From: Michel Talon
Date: Sun, 9 Jun 2013 16:35:49 +0000 (UTC)
Alasdair McAndrew wrote:
?.
> This produces the error
> --
>
>> Maxima encountered a Lisp error:
>> The value NIL is not of type SB-KERNEL:INSTANCE.
I get the same error. However using the other grobner package in maxima
i get a result quickly:
load(affine);
?.. lots of compilations
(%o9) /usr/local/share/maxima/5.25.1/share/affine/affine.lisp
(%i10) grobner_basis(eqs);
............
. 5 . 13 . 20 . 17 . 15 . 10 . 15 . 12
. 5 . 13 . 20 . 17 . 15 . 21 . 21 . 12 . 22
. 1 . 1 . 1 . 1 . 1 . 1(%o10)/R/ [- w + 3 r, - 4 v + 15 r - 9, - 4 u - 27 r +
13, - 4 t - 9 r + 7,
- 4 s + 5 r - 3, - 9 r + 9 r - 2]
I have not checked that your polys generate the same ideal than these very
simple ones, but it may be that the case is so degenerate that it triggers a
bug in the other algorithm.
--
Michel Talon