No idea what's happening here, could somebody please test!
GCL (GNU Common Lisp) Version(2.5.0) Sun Nov 17 15:58:09 CET 2002
Licensed under GNU Library General Public License
Contains Enhancements by W. Schelter
Maxima 5.9.0rc3 http://maxima.sourceforge.net
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
This is a development version of Maxima. The function bug_report()
provides bug reporting information.
(C1) EquationP(e):=if part(e,0)="=" then true else false$
(C1)
(C2) load("/usr/labri/rubey/maxima/src/binary-gcl/comm.o")$
(C3) load("/usr/labri/rubey/maxima/src/binary-gcl/mutils.o")$
(C4) load("/usr/labri/rubey/maxima/src/binary-gcl/set.o")$
(C5) load("algebra/solver/misc")$
(C6) load("algebra/solver/solver")$
(C7) solver([u-t*(u^(k+1)+1)=0,1-(k+1)*t*u^k=0],[u,t],[k]);
4 k
---
3
SQRT(3) %I - 1 2
(D7) [[u = --------------, t = ---------------------------------------],
1/3 k k
2 2 (SQRT(3) %I - 1) k + (SQRT(3) %I - 1)
4 k
---
3
SQRT(3) %I + 1 2
[u = - --------------, t = -------------------------------------------],
1/3 k k
2 2 (- SQRT(3) %I - 1) k + (- SQRT(3) %I - 1)
k/3
1 2
[u = ----, t = -----]]
1/3 k + 1
2
(C8) solver([u-t*(u^(l+1)+1)=0,1-(l+1)*t*u^l=0],[u,t],[l]);
Is l an integer?
y;
l
-----
l + 1
1 l
(D8) [[u = ------, t = ------]]
1 l + 1
-----
l + 1
l
(C9)
It seems that it is thinking k=2...
Martin