Add regression test

Closes sympy/sympy#24948
diofant · Mar 21, 2023 · d4c7e98 · d4c7e98
1 parent 5207ae1
commit d4c7e98
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/diofant/tests/core/test_assumptions.py b/diofant/tests/core/test_assumptions.py
@@ -922,3 +922,9 @@ def test_sympyissue_23086():
     e = 180*acos(Rational(7823207, 7823209))/pi
     assert e.is_zero is False
     assert e.simplify()
+
+
+def test_sympyissue_24948():
+    a = acos(-3*sqrt(10)/10)
+    b = acos(2*sqrt(5)/5)
+    assert (b - a + 3*pi/4).is_positive is None
diff --git a/docs/release/notes-0.14.rst b/docs/release/notes-0.14.rst
@@ -128,3 +128,4 @@ These Sympy issues also were addressed:
 * :sympyissue:`6822`: Multivariate Order()
 * :sympyissue:`24477`: Expand before integrate gives different results with big O
 * :sympyissue:`24928`: simplify(asinh(2)-oo)->0
+* :sympyissue:`24948`: .is_positive returns None when it should be False