With some Help of Dan I got solver to work as follows:
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([x+y+x^2=a,x-y=b],[x,y],[a,b]);
(D7) [[x = - SQRT(b + a + 1) - 1, y = - SQRT(b + a + 1) - b - 1],
[x = SQRT(b + a + 1) - 1, y = SQRT(b + a + 1) - b
- 1]]
Maybe you don't need to load the .o files manually anymore with 5.9.0.
When using solver, be aware of
http://sourceforge.net/tracker/index.php?func=detail&aid=681613&group_id=4933&atid=104933
in short: don't use i,j,k as variable names (not sure about j), this is
the 'dynamic scope problem' discussed at length on the list.
Martin