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.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.