Zulip Chat Archive
Stream: triage
Topic: issue #1858: Define Banach algebras
Random Issue Bot (Nov 19 2021 at 14:19):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Yury G. Kudryashov (Nov 19 2021 at 15:03):
Not relevant anymore. We have docs#normed_algebra + docs#complete_space
Yury G. Kudryashov (Nov 19 2021 at 15:04):
And we have exponential in banach algebras.
Yury G. Kudryashov (Nov 19 2021 at 15:12):
Though we still need some glue code about formal series with terms made from docs#continuous_multilinear_map.mk_pi_algebra
Random Issue Bot (Jun 15 2022 at 14:24):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jul 29 2022 at 14:13):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 07 2022 at 14:13):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 22 2022 at 14:27):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 11 2023 at 14:09):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 23 2023 at 14:08):
Today I chose issue 1858 for discussion!
Define Banach algebras
Created by @Yury G. Kudryashov (@urkud) on 2020-01-06
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC