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