-----maxima-bounces at math.utexas.edu wrote: -----
>Thanks Barton. Is 'elim' documented anywhere?
No, it's not. The function 'eliminate' is documented. The source code file
'topoly.lisp' lists five things I don't like about 'eliminate.' There is
also
a function 'elim_allbut' defined in topoly.
(%i1) load("topoly")$
(%i2) p : to_poly(sqrt(x) - x = 6);
(%o2) [[-x+%g0-6,x=%g0^2],[-%pi/2<carg(%g0),carg(%g0)<=%pi/2]]
The second list returned by elim is a list of the pivots.
(%i4) elim(first(p),[%g0]);
(%o4) [[x^2+11*x+36],[x-%g0+6]]
The function 'eliminate' is the standard Maxima function:
(%i5) eliminate(first(p),[%g0]);
(%o5) [-x^2-11*x-36]
The function 'elim_allbut' is defined in topoly:
(%i6) elim_allbut(first(p),[x]);
(%o6) [[x^2+11*x+36],[x-%g0+6]]
Barton