Advanced Search

Question: Problem with define and assume

Question:Problem with define and assume

MobiusPizza 0
define
February 23 2011
0

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!
Please Wait...