Comment #1 on issue 3254 by [email protected]: Problem with complex domain
and primitive part of complex polys.
http://code.google.com/p/sympy/issues/detail?id=3254
We don't really have complex domains at this point. They are just treated
as expressions, which don't have much implemented. If you want the
primitive part of all the coefficients, you can define the Poly with
respect to t and I, like:
In [898]: Poly(pt, z, I).primitive()
Out[898]: (2, Poly(98*z**2 - 49*z*I - 5, z, I, domain='ZZ'))
but beware that it won't work correctly for many operations if you do this,
because it doesn't expect the generators to be algebraic.
The correct way would be to use an algebraic field, but unfortunately, that
doesn't really give you what you want:
In [906]: Poly(pt, z, domain=ZZ.algebraic_field(I)).primitive()
Out[906]: (1, Poly(196*z**2 - 98*I*z - 10, z, domain='QQ<I>'))
Actually, I don't know if the primitive can be defined with complex
coefficients, as it's not a UFD if I recall correctly.
Does any of that answer your question?
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
