No problem. BTW, I'm almost certain its the dynamic scoping issue. I think
that either this has to be changed or otherwise solver/ValuationSolver has
to deal with it properly.
Did you look at the other 1 1/2 bugs? Can you reproduce the results on
your Maxima and/or your Macsyma?
Thanks, Martin
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$
(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) load("algebra/solver/solver")$
(C8) display2d:false$
(C9) trace(solve)$
(C10) solver([u-t*(u^(k1+1)+1)=0,1-(k1+1)*t*u^k1=0],[u,t],[k1]);
1 Enter SOLVE [(-k1-1)*t*u^k1+1,t]
1 Exit SOLVE [t = 1/((k1+1)*u^k1)]
1 Enter SOLVE [(k1*u^(k1+1)-1)/((k1+1)*u^k1),u]
Is k1 an integer?
y;
1 Exit SOLVE [u = 1/k1^(1/(k1+1))]
(D10) [[u = 1/k1^(1/(k1+1)),t = k1^(k1/(k1+1))/(k1+1)]]