Zulip Chat Archive

Stream: triage

Topic: issue #1866: Move `module` below `group_power` in the `im...


Random Issue Bot (Mar 09 2021 at 14:26):

Today I chose issue 1866 for discussion!

Move module below group_power in the import hierarchy
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: RFC, needs-refactor

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

Random Issue Bot (Oct 16 2021 at 14:18):

Today I chose issue 1866 for discussion!

Move module below group_power in the import hierarchy
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: RFC, needs-refactor

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

Eric Wieser (Oct 16 2021 at 16:40):

At this point I'd almost argue the reverse, we have npow and npow_zero' as a field of monoid now, yet have no non-protected way of accessing those proofs until group_power is imported

Random Issue Bot (Nov 10 2021 at 14:19):

Today I chose issue 1866 for discussion!

Move module below group_power in the import hierarchy
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: RFC, needs-refactor

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

Yury G. Kudryashov (Nov 10 2021 at 14:20):

Closed.


Last updated: Dec 20 2023 at 11:08 UTC