Zulip Chat Archive

Stream: triage

Topic: PR #4458: feat(analysis/calculus): define a smooth bump f...


view this post on Zulip Random Issue Bot (Dec 05 2020 at 14:22):

Today I chose PR 4458 for discussion!

feat(analysis/calculus): define a smooth bump function
Created by @Yury G. Kudryashov (@urkud) on 2020-10-06
Labels: WIP, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Dec 15 2020 at 14:25):

Today I chose PR 4458 for discussion!

feat(analysis/calculus): define a smooth bump function
Created by @Yury G. Kudryashov (@urkud) on 2020-10-06
Labels: WIP, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Yury G. Kudryashov (Dec 15 2020 at 19:05):

I'm using this PR as an excuse to prove that all standard functions are CC^\infty


Last updated: May 09 2021 at 16:20 UTC