a problem with variables in real domains

asked 2017-06-02 12:12:44 -0500

daniele gravatar image

updated 2017-06-02 12:13:31 -0500

Hi,

I have a problem with setting the domains of definition of variables.

For example, typing

var("y") ; assume(y, "real")
conjugate(y + I)

I get the result y + I. The same with var("y", domain="real").

Where I'm wrong?

thanks!

edit retag flag offensive close merge delete

Comments

I am afraid you are not wrong. If we set z = y + I then conjugate(z.subs(y=5)) gives the result -I + 5 in contradiction to conjugate(z).subs(y=5) which results to I + 5

ndomes gravatar imagendomes ( 2017-06-02 17:55:52 -0500 )edit
1

reported on trac #23135

mforets gravatar imagemforets ( 2017-06-03 15:40:26 -0500 )edit