Added test to verify division works

sagemath · Jun 29, 2018 · 989c4fc · 989c4fc
1 parent 010ba97
commit 989c4fc
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/sage/rings/polynomial/multi_polynomial_element.py b/src/sage/rings/polynomial/multi_polynomial_element.py
@@ -306,6 +306,15 @@ def _div_(self, right):
             sage: S.<x,y>=PolynomialRing(R)
             sage: x/S(2)
             1/2*x
+
+        Ensure that :trac:`17638` is fixed.::
+
+            sage: R.<x,y> = PolynomialRing(QQ,order = "neglex")
+            sage: f = 1+y
+            sage: g = 1+x
+            sage: h = f/g
+            sage: print(h*g == f)
+            True
         """
         if right in self.base_ring():
             inv = self.base_ring().one()/self.base_ring()(right)