If you specify the generators explicitly like Poly(x + I, x) it chooses the domain EX. You have to manually do domain=ZZ[I] to get the complex domain. I think ideally it would use the extension domain automatically, but support for such things is still limited.
Aaron Meurer On Fri, Jan 31, 2020 at 4:25 AM S.Y. Lee <[email protected]> wrote: > > I'm not sure why it's treated as an polynomial over integers generated by `I, > x` rather than a polynomial over complexes generated by `x`, but surely there > can be some limited supports for this. > > On Sunday, January 19, 2020 at 7:24:54 PM UTC+9, Risubh Jain wrote: >> >> What is the correct way of checking if a polynomial has complex coefficients? > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/5bd66930-28dd-40a8-bc83-bf0b5e942f8e%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6LdzaZqHvJ9aS4oNP1V-BQZESnaa%3DAZHWdevnfWT5Ah4Q%40mail.gmail.com.
