Quick question, why doesn't the following return a~?

> define(g, g(a::realcons) = a);
> assume(a::realcons);
> g(a);
                              g(a~)

How do I get it to do so?

Thanks!

Hi. I am very new to Maple and there is something I can't find an answer on.

I would like to perform symbolic manipulation to help me simplify some equations. I was trying to define E to be a generic function operator, (expectation in statistics)

I have a equation y = a + b + c*d + e*f +..... something really long

I am to say R(y) = E(p*y)

How do I go about teaching Maple that my function is commutative and there are sets of rules which can be used? e.g.: