Groebner basis package under Maxima 5.30.0? Errors when loading.
Subject: Groebner basis package under Maxima 5.30.0? Errors when loading.
From: Alasdair McAndrew
Date: Sat, 8 Jun 2013 20:45:28 +1000
OK, you're going to have to copy and paste this:
eqs:[-(w+v+u+3*t+3*s+3*r-4)/8,
-(3*w^2+(6*v+6*u)*w+3*v^2+6*u*v+3*u^2+9*t^2+18*s*t+9*s^2+9*r^2-8)/48,
-((3*t+3*s)*w+3*r*v+9*r*t-4)/24,
-(w^3+(3*v+3*u)*w^2+(3*v^2+6*u*v+3*u^2)*w+v^3+3*u*v^2+3*u^2*v+u^3
+3*t^3+9*s*t^2+9*s^2*t+3*s^3+3*r^3-2)/48,
-((t+s)*w^2+((t+s+r)*v+(t+s)*u)*w+r*v^2+r*u*v+3*r*t^2+3*r*s*t-1)/8,
-((3*t^2+6*s*t+3*s^2)*w+3*r^2*v+9*r^2*t-2)/48,-(3*r*t*w-1)/24,0,
-(w+v+u+3*t+3*s+3*r-4)/8,
-(3*w^2+(6*v+6*u)*w+3*v^2+6*u*v+3*u^2+9*t^2+18*s*t+9*s^2+9*r^2-8)/24,
-((3*t+3*s)*w+3*r*v+9*r*t-4)/24,
-(w^3+(3*v+3*u)*w^2+(3*v^2+6*u*v+3*u^2)*w+v^3+3*u*v^2+3*u^2*v+u^3
+3*t^3+9*s*t^2+9*s^2*t+3*s^3+3*r^3-2)/16,
-((3*t+3*s)*w^2+((3*t+3*s+3*r)*v+(3*t+3*s)*u+3*t^2+6*s*t+3*s^2)*w
+3*r*v^2+(3*r*u+3*r^2)*v+9*r*t^2+(9*r*s+9*r^2)*t-5)
/24,-(3*r*t*w-1)/24,
-((t+s)*w^2+((t+s+r)*v+(t+s)*u)*w+r*v^2+r*u*v+3*r*t^2+3*r*s*t-1)/8,
-(3*w^2+(6*v+6*u)*w+3*v^2+6*u*v+3*u^2+9*t^2+18*s*t+9*s^2+9*r^2-8)/48,
-(w^3+(3*v+3*u)*w^2+(3*v^2+6*u*v+3*u^2)*w+v^3+3*u*v^2+3*u^2*v+u^3
+3*t^3+9*s*t^2+9*s^2*t+3*s^3+3*r^3-2)/16,
-((6*t+6*s)*w^2+((6*t+6*s+6*r)*v+(6*t+6*s)*u+3*t^2+6*s*t+3*s^2)*w
+6*r*v^2+(6*r*u+3*r^2)*v+18*r*t^2+(18*r*s+9*r^2)*t-8)/48,
-(w^3+(3*v+3*u)*w^2+(3*v^2+6*u*v+3*u^2)*w+v^3+3*u*v^2+3*u^2*v+u^3
+3*t^3+9*s*t^2+9*s^2*t+3*s^3+3*r^3-2)/48];
poly_grobner(eqs,[r,s,t,u,v,w]);
This produces the error
--
> Maxima encountered a Lisp error:
> The value NIL is not of type SB-KERNEL:INSTANCE.
--
There's nothing wrong with the equations themselves; if I copy them into
Sage and use Sage's algebra, I can obtain a Groebner basis very easily.
However, I don't want to chop and change between systems, and I'd prefer
to stick with Maxima, if I could.
Thanks,
Alasdair
On Sat, Jun 8, 2013 at 7:38 PM, Rupert Swarbrick <rswarbrick at gmail.com>wrote:
> Alasdair McAndrew <amca01 at gmail.com> writes:
> > Hello,
> >
> > When I load the "grobner" package, the following warnings are returned:
>
> I've just pushed a trivial fix for the warnings that were emitted, but
> this won't change anything significant about how the package works. In
> particular, the warnings were harmless so (unless you're getting really
> annoyed by them), you needn't bother getting the newer version of the
> file.
>
> I don't know much algebraic geometry, so I'm not sure how to use the
> grobner package. Can you give us an example of something that triggers
> the lisp error so we can fix it?
>
> Rupert
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>
--
Blog: http://amca01.wordpress.com
Web: http://sites.google.com/site/amca01/
Facebook: http://www.facebook.com/alasdair.mcandrew