Hello. I'm new to maxima and am trying to use the solve function
(output appears below). I feed solve a list of polynomial equations $L$
and I get some solutions. Then I remove the obviously redundant
equations and I get more solutions. Is this a bug? When should I expect
the set of solutions given by solve to be exhaustive?
Any assistance is greatly appreciated.
Thanks,
Tobias Hagge
me$ maxima -b maxima.mac
STACK depth: 16367
Maxima 5.9.3 http://maxima.sourceforge.net
Using Lisp CLISP 2.32 (2003-12-29)
...
(%i1) batch(maxima.mac)
batching .../maxima.mac
(%i2) display2d : false
(%i3) L:[a^3+b*c = a^2,a*c = a*c,a^2*c+c*d = c,a*b = a*b,d = b*c,b*c =
d,
a^2*b+b*d = b,b*c = d,a*b*c+d^2 = 0]
(%i4) solve(L,[a,b,c,d])
(%o4) [[a = 1,b = 0,c = %r1,d = 0],[a = 1,b = %r2,c = 0,d = 0],
[a = 0,b = 0,c = 0,d = 0]]
(%i5) L:[a^3+b*c = a^2,a^2*c+c*d = c,d = b*c,a^2*b+b*d = b,a*b*c+d^2 =
0]
(%i6) solve(L,[a,b,c,d])
(%o6) [[a = 1,b = 0,c = %r3,d = 0],
[a = -(sqrt(5)-1)/2,b = (sqrt(5)-1)/(2*%r4),c = %r4,d =
(sqrt(5)-1)/2],
[a = (sqrt(5)+1)/2,b = -(sqrt(5)+1)/(2*%r5),c = %r5,
d = -(sqrt(5)+1)/2],[a = 1,b = %r6,c = 0,d = 0],
[a = 0,b = 0,c = 0,d = 0]]