Ask Your Question

Revision history [back]

I think that Maxima (which handles simplification and assumptions) is correct insofar that

sage: assume(x,"real")
sage: (abs(sin(x))^2).simplify_full()
sage: (abs(x)^2).simplify_full()

because it can't assume sin(x) to be real. But trying that gives an error, so, even if Maxima doesn't know by itself that sin(x) is real, there should be a means to specify it.