Zulip Chat Archive

Stream: maths

Topic: dead integral code


view this post on Zulip Patrick Massot (Aug 24 2020 at 19:13):

What's going on here? There is more than 100 lines of commented code. @Yury G. Kudryashov is this forgotten or you plan to uncomment it?

view this post on Zulip Bryan Gin-ge Chen (Aug 24 2020 at 19:16):

There's an explanation in a TODO in the module doc here.

view this post on Zulip Yury G. Kudryashov (Sep 02 2020 at 06:10):

Most of the code should be deleted now. I'll look into this tomorrow.

view this post on Zulip Yury G. Kudryashov (Sep 02 2020 at 06:12):

The exceptions are tendsto_integral_on_of_monotone, tendsto_integral_on_of_antimono, and integral_on_Union.


Last updated: May 11 2021 at 15:12 UTC