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
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
