By the way: Maxima 5.22 has a documented user-level interface to the Common Lisp function gensym: (%i8) gensym(); (%o8) g34292 The to_poly_solver has the function new_variable. This function calls the (deprecated) Common Lisp function gentemp. --Barton