1 | initial version |
I think that Maxima (which handles simplification and assumptions) is correct insofar that
sage: assume(x,"real")
sage: (abs(sin(x))^2).simplify_full()
abs(sin(x))^2
sage: (abs(x)^2).simplify_full()
x^2
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.