Zulip Chat Archive

Stream: maths

Topic: has_continuous_smul

Yury G. Kudryashov (Mar 22 2021 at 20:56):

I want to have Haar measure on homogeneous spaces, so I want continuous actions. I'm refactoring topological_semimodule/topological_algebra to use a single class has_continuous_smul.

Scott Morrison (Mar 22 2021 at 21:47):

Okay. I have some branches that touch those files, but hopefully they'll be easy to update, and I agree this sounds a better design!

Yury G. Kudryashov (Mar 22 2021 at 22:06):

WIP: #6823

Yury G. Kudryashov (Mar 23 2021 at 13:58):

Now it's ready for review.

Last updated: Dec 20 2023 at 11:08 UTC