Zulip Chat Archive

Stream: maths

Topic: has_continuous_smul


view this post on Zulip 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.

view this post on Zulip 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!

view this post on Zulip Yury G. Kudryashov (Mar 22 2021 at 22:06):

WIP: #6823

view this post on Zulip Yury G. Kudryashov (Mar 23 2021 at 13:58):

Now it's ready for review.


Last updated: May 14 2021 at 18:28 UTC