Problem with factor and imag.

lfc
21 ●2

I'm new to SageMath, and I'm not sure what's going wrong.

Here are the commands I enter and results I get:

sage: a, b, z = var('a, b, z')
sage: P = a*x - b*x
sage: Q = a*imag(z) - b*imag(z)
sage: P.factor()
(a - b)*x
sage: Q.factor()
0

Why is Q factoring to 0?

Comments

Weird. assume(z, 'complex') seems to help.

rburing ( 2020-10-18 02:16:40 +0100 )edit

Also

sage: Q.simplify_full()                                                         
0

FrédéricC ( 2020-10-18 09:33:42 +0100 )edit

Possible serious bug. Advice requested on sage-devel.

Emmanuel Charpentier ( 2020-10-18 14:54:13 +0100 )edit

Your Answer

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