if x*(y+z)=x*y+x*z then print(true) else print(false); yields false



Hello,

I'm just getting started with Maxima, so maybe my confusion is a result of my lack of familiarity with the system, but it seems to me that the statement:

if x*(y+z)=x*y+x*z then print(true) else print(false);

ought to return true.  Is Maxima just trying to be extremely general by not assuming that the "+" operator is normal addition, or is this a bug?

--Paul Breen