Comment #4 on issue 2032 by asmeurer: Ability to work with K[x, 1/x] in Polys
http://code.google.com/p/sympy/issues/detail?id=2032
Well, there's no guarantee about what the input expression will look like, whether it needs to be factored at level 1, or needs to be expanded and canceled, or what. All we know is that it *will* be an element of K[z, 1/z] if we rewrite it correctly (or else there is a bug in my code).
Surely determining if an element of K(z) is an element of K[z, 1/z] is decidable. After all, it's only a rational function.
-- 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.
