?iga Lenar?i? wrote: > So I propose we implement a 'simplify' command into Maxima. I'm not > very experienced with maxima expression transforming capabilities, but > as far as I know there is no simple way to transform > 1 + a*b + a*c + a*d -> 1 + a*(b + c + d) factorsum(1 + a*b + a*c + a*d) -> a*(b + c + d) + 1 Ray