a problem with variables in real domains

First time here? Check out the FAQ!

asked 7 years ago

daniele
231 ●3 ●6 ●19

updated 2 years ago

tmonteil
27483 ●32 ●205 ●519 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!

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 ( 7 years ago )

reported on trac #23135

mforets ( 7 years ago )

add a comment

1 Answer

Sort by » oldest newest most voted

answered 7 years ago

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

link

Comments

Great, fixed_bug tag added.

tmonteil ( 7 years ago )

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: 7 years ago

Seen: 658 times

Last updated: Sep 06 '17

a problem with variables in real domains savecancel

Comments

1 Answer

Comments