# (abs(sin(x))^2).simplify_full()

I think (abs(sin(x))^2).simplify_full() should render sin(x)^2. This is not the case in sage 5.6 even with the assumption assume(x, 'real'). Is this a [known] bug?

(abs(sin(x))^2).simplify_full()

0

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.

Asked: **
2013-01-29 03:07:09 -0600
**

Seen: **160 times**

Last updated: **Jan 26 '15**

simplifying ( x^beta )^( (mu - Lambda) / ( mu -2)) * x ^ ( alpha - beta + 4) is not satisfactory

Problem with find_local_maximum when expression has an abs() function

Taking derivative of a solution

.simplify_full() doesn't simplify an obvious trigonometric expression

simplify_full - is the mistake in the documentation or the source code?

Can't solve equation with abs in the terms

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.

Here, using Ubuntu 12.04, it consistently yields abs(sin(x))^2. Please note that the similar input abs(sin(x)^2).simplify_full() produces the right answer. Version 5.5 does not have this problem.