Ask Your Question
0

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

asked 2013-01-29 03:07:09 -0600

jllb gravatar image

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?

edit retag flag offensive close merge delete

Comments

1

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.

jllb gravatar imagejllb ( 2013-01-29 21:00:32 -0600 )edit

1 answer

Sort by ยป oldest newest most voted
0

answered 2015-01-26 11:12:24 -0600

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.

edit flag offensive delete link more

Comments

Upstream it? Esp. if this used to work, as I can confirm in 5.2.

kcrisman gravatar imagekcrisman ( 2015-01-27 08:22:47 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

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

Seen: 145 times

Last updated: Jan 26 '15