Add regression test

Closes sympy/sympy#26577
skirpichev · May 9, 2024 · d401ab6 · d401ab6
1 parent 5219d2b
commit d401ab6
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/diofant/tests/polys/test_polytools.py b/diofant/tests/polys/test_polytools.py
@@ -3403,3 +3403,9 @@ def test_sympyissue_26497():
 
     assert expr.factor() == expr2
     assert expr.subs({a_n: 1, m: 1}) == expr2.subs({a_n: 1, m: 1}) == 12*I
+
+    # issue sympy/sympy#26577
+    assert expr.cancel().factor() == expr2
+    expr3 = -(a_n - I)**2*(a_n**2 + m**2 + 2*m + 2)
+    assert expr.cancel(extension=True).factor(extension=True) == expr3
+    assert expr.factor(extension=True) == expr3
diff --git a/docs/release/notes-0.15.rst b/docs/release/notes-0.15.rst
@@ -106,3 +106,4 @@ These Sympy issues also were addressed:
 * :sympyissue:`25931`: Possible improvements in gruntz
 * :sympyissue:`26566`: wrong result integrating sin(a*(x+pi))**2
 * :sympyissue:`26571`: integrate((x**8+1)**(-1/2),x) raises _CoeffExpValueError
+* :sympyissue:`26577`: factor should use the same domain for numerator and denominator