--Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>The bug triggered by fourier_elim( [a[1]>1], [a[1]] ) appears to be
>somewhere downstream from GENSYM-READABLE.
Maxima compiled with Clozure CL handles this example OK:
(%i3) fourier_elim( [a[1]>1], [a[1]] );
(%o3) [1 < a[1]]
(%i4) build_info();
(%o4) ?%build_info("5.26.0","2012-03-06 05:48:14","i686-pc-mingw32","Clozure Common Lisp","Version 1.7-r14925M (WindowsX8664)")