Status: Accepted
Owner: asmeurer
CC: mattpap
Labels: Type-Enhancement Priority-High Polynomial

New issue 2031 by asmeurer: Add field option to Poly.operation() functions
http://code.google.com/p/sympy/issues/detail?id=2031

I mentioned this in comment 5 of issue 2010, and have also talked about it in the mailing list. Poly can differ in it's behavior whether the input polys have a field domain or ring domain. Examples of Poly methods that differ in output for this are

div - Completely different results (see http://groups.google.com/group/sympy/browse_thread/thread/3ddfc2f64bd29fb2#). I recently fixed a bug with ratint() because it was calling div on Polys with ring coefficients expecting the field variant.

quo - Fails for things like Poly(x, x).quo(Poly(2, x))

rem - The same as div

mul_ground - (polys11 only). The same issue as quo(). See issue 2010, comment 5.

So I recommend that an option be added to each of these functions, so that I can just do

Poly(x, x).quo(Poly(2, x), field=True)

and it will just work.  Otherwise, right now, I have no easy way to do

<Poly with very complex ground coefficient>/<complex ground coefficient>

without doing

Poly(a.as_basic()/b.as_basic(), x)

which takes forever due to calling of expand on the ground coefficients.

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

Reply via email to