/sagemath_docker_build/sage$ git status
On branch t/32184/derivative_of_symbolic_integration_with_infinity_limit_fails
Your branch is up to date with 'trac/u/gh-daju1/derivative_of_symbolic_integration_with_infinity_limit_fails'.

Untracked files:
  (use "git add <file>..." to include in what will be committed)

	test.sage
	test.sage.py

nothing added to commit but untracked files present (use "git add" to track)
/sagemath_docker_build/sage$ sage -t --long src/sage/symbolic/integration/integral.py
bash: sage: command not found
drozole@513cda320c31:/usr3/articles/sagemath_docker_build/sage$ ./sage -t --long src/sage/symbolic/integration/integral.py
too few successful tests, not using stored timings
Running doctests with ID 2021-07-26-13-15-25-32b680b2.
Git branch: t/32184/derivative_of_symbolic_integration_with_infinity_limit_fails
Using --optional=build,debian,dochtml,pip,sage,sage_spkg
Doctesting 1 file.
sage -t --long --random-seed=0 src/sage/symbolic/integration/integral.py
    [221 tests, 33.23 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 33.3 seconds
    cpu time: 28.5 seconds
    cumulative wall time: 33.2 seconds
Pytest is not installed, skip checking tests that rely on it.
/sagemath_docker_build/sage$ git log
commit 78e4c1ef4f48d6d89b13f8c411628f8655f87bcd (HEAD -> t/32184/derivative_of_symbolic_integration_with_infinity_limit_fails, trac/u/gh-daju1/derivative_of_symbolic_integration_with_infinity_limit_fails)
Author: Alexey Drozdov <daju@yandex.ru>
Date:   Thu Jul 22 17:50:04 2021 +0300

    Trac: #32184 replacing b.diff(diff_param) != 0 by not b.diff(diff_param).is_trivial_zero() fixes the example

commit c1f1d15eeeb3b2acb6c905a3cd4e9dd8fab2a45e
Author: Alexey Drozdov <daju@yandex.ru>
Date:   Mon Jul 19 16:54:27 2021 +0300

    Trac: #32184 testable example fixed

commit 42fccb26b37b5f7abb4a0f60953df07add5a4f0f
Author: Alexey Drozdov <daju@yandex.ru>
Date:   Thu Jul 15 23:18:17 2021 +0300

    Trac: #32184 testable example added

commit c5dce368cf6156f8bd336e422a9ab2343af06f31
Author: Alexey Drozdov <daju@yandex.ru>
Date:   Mon Jul 12 14:35:30 2021 +0300

    Trac #32184: derivative of symbolic integration with Infinity limit fails
    
    {{{
    sage: x,y = var("x,y")
    sage: f = integrate(-2*(2*(x - floor(x))^3 - 3*(x - floor(x))^2 + x - floor(x))*(8*x^3/(x^2 + y^2)^5 - 3*x/(x^2 + y^2)^4), x, 1, +Infinity, hold=True)
    sage: f
    integrate(-2*(2*(x - floor(x))^3 - 3*(x - floor(x))^2 + x - floor(x))*(8*x^3/(x^2 + y^2)^5 - 3*x/(x^2 + y^2)^4), x, 1, +Infinity)
    sage: assume(y>0)
    sage: f.diff(y)
    }}}
    
    {{{
    ---------------------------------------------------------------------------
    RuntimeError                              Traceback (most recent call last)
    
    sage/local/lib/python3.9/site-packages/sage/symbolic/integration/integral.py in _tderivative_(self, f, x, a, b, diff_param)
        294             ans = SR.zero()
        295         if hasattr(b, 'diff'):
    --> 296             ans += f.subs(x == b) * b.diff(diff_param)
        297         if hasattr(a, 'diff'):
        298             ans -= f.subs(x == a) * a.diff(diff_param)
    
    RuntimeError: indeterminate expression: 0 * infinity encountered.
    }}}
    
    Using this commit I have successful derivative of symbolic integration with Infinity limit
    
    {{{
    sage: f.diff(y)
    16*integrate((2*(x - floor(x))^3 - 3*(x - floor(x))^2 + x - floor(x))*(10*x^3*y/(x^2 + y^2)^6 - 3*x*y/(x^2 + y^2)^5), x, 1, +Infinity)
    }}}

commit 473cd41f19ec23df7e207391cfb0cf41c7c4ef46 (tag: 9.4.beta4, develop)
Author: Release Manager <release@sagemath.org>
Date:   Thu Jul 1 22:47:24 2021 +0200

    Updated SageMath version to 9.4.beta4

commit 06ec5d949d4ac37fffbebba5ab2ad5294cb141e1
Merge: a8a5110e9a 5351ebbfdd
Author: Release Manager <release@sagemath.org>
Date:   Wed Jun 30 23:14:38 2021 +0200

    Trac #31987: Adding category options to Representations
    
    Add the option to give a specific choice of category for the
    `Representation` class.
    
    URL: https://trac.sagemath.org/31987
    Reported by: tkarn
    Ticket author(s): Trevor K. Karn
    Reviewer(s): Travis Scrimshaw

commit a8a5110e9aeb0bdb4625edea0514f2ea7718864f
Merge: c6eb54e107 3d0726c72e
Author: Release Manager <release@sagemath.org>
Date:   Wed Jun 30 01:12:49 2021 +0200

    Trac #31978: E701, E702 for databases
    
    Part of #31966.
    
    Address code style errors E701 and E701:
    multiple statements on same line (with colon or semicolon).
    
    - https://pycodestyle.pycqa.org/en/latest/intro.html#error-codes
    
    URL: https://trac.sagemath.org/31978
    Reported by: gh-kliem
    Ticket author(s): Jonathan Kliem
    Reviewer(s): Matthias Koeppe

commit c6eb54e107fb29d2fe5a50bc37ddfa937174b3f7
Merge: 3b60a97925 a93d8f414b
Author: Release Manager <release@sagemath.org>
Date:   Wed Jun 30 01:12:44 2021 +0200

    Trac #31977: E701, E702 for groups
    
: