(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?
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?
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.
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2013-01-29 10:07:09 +0100
Seen: 402 times
Last updated: Jan 26 '15
simplify_full sometimes does not like abs and I
Is there a way to simplify_full and trig_reduce a matrix?
possible bug involving absolute value of sin function and assume
simply_full for expressions with exponents
simplify_full() and symbolic vectors
simplification errors in simple expressions
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.