a problem with variables in real domains

asked 2017-06-02 19:12:44 +0200

daniele
231 ●2 ●6 ●19

updated 2023-01-10 00:01:11 +0200

tmonteil
27333 ●31 ●203 ●514 http://wiki.sagemath.o...

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 ( 2017-06-03 00:55:52 +0200 )edit

reported on trac #23135

mforets ( 2017-06-03 22:40:26 +0200 )edit

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2017-09-06 13:50:54 +0200

mforets
1413 ●9 ●27 ●44 http://marcelo-forets.fr/

FYI: this has been fixed in the development branch (to appear in the next v8.1),

$ ./sage
sage: version()
'SageMath version 8.1.beta4, Release Date: 2017-09-05'
sage: x.is_real()
False
sage: conjugate(x+45*I)
conjugate(x) - 45*I
sage: assume(x, 'real')
sage: assumptions()
[x is real]
sage: conjugate(x+45*I)
x - 45*I

edit flag offensive delete link

Comments

Great, fixed_bug tag added.

tmonteil ( 2017-09-06 16:02:30 +0200 )edit

add a comment

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-06-02 19:12:44 +0200

Seen: 530 times

Last updated: Sep 06 '17

a problem with variables in real domains edit

Comments

1 Answer

Comments