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