-----maxima-bounces at math.utexas.edu wrote: ----- >The problem is that $hipow doesn't know about mquotient - is there a >nice way to do the transformation above? (which I did by hand!) Send the expression to simplify (%i2) :lisp(simplify '((MQUOTIENT) 2 $x))); ((MTIMES SIMP) 2 ((MEXPT SIMP) $X -1)) Barton