Thanks, corrected.

On Wed, Mar 27, 2013 at 3:39 AM, Christopher Smith <notifications@github.com
> wrote:

> In sympy/polys/polyroots.py:
>
> > @@ -485,7 +485,27 @@ def _quintic_simplify(expr):
> >
> >
> >  def _integer_basis(poly):
> > -    """Compute coefficient basis for a polynomial over integers. """
> > +    """Compute coefficient basis for a polynomial over integers.
> > +
> > +    Returns the integer ``div`` such that substituting ``y = div*x``
>
> I think you mean x = div*y and it allows p(x) = 0 to be rewritten as
> m*q(x) where the coefficients of q are smaller than p:
>
> >>> eq=x**5 + 512*x + 1024
> >>> eq.subs(x,y/4)
> y**5/1024 + 128*y + 1024
> >>> factor(_)
> (y**5 + 131072*y + 1048576)/1024
> >>> eq.subs(x,y*4)
> 1024*y**5 + 2048*y + 1024
> >>> factor(_)
> 1024*(y**5 + 2*y + 1)
>
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/sympy/sympy/pull/1938/files#r3544361>
> .
>