16516: Better primitive part

sagemath · May 19, 2017 · df27d49 · df27d49
1 parent 2a96eb2
commit df27d49
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/sage/rings/integer_ring.pyx b/src/sage/rings/integer_ring.pyx
@@ -1318,9 +1318,11 @@ cdef class IntegerRing_class(PrincipalIdealDomain):
         # should be corrected. See
         # <https://groups.google.com/forum/#!topic/sage-devel/DP_R3rl0vH0>
         if p.parent().is_sparse():
-            p = p.parent()(p/(p.content().gen()))
+            cont = p.content().gen()
         else:
-            p = p.parent()(p/p.content())
+            cont = p.content()
+        if not cont.is_unit():
+            p = p.map_coefficients(lambda c:c//cont)
 
         cdef list roots = []