Random Issue Bot (Feb 07 2021 at 14:18):
Today I chose PR 3635 for discussion!
WIP: Remove the requirement from
ideal that the underlying ring is commutative
Created by @Eric Wieser (@eric-wieser) on 2020-07-30
Labels: WIP, merge-conflict, please-adopt
Is this PR still relevant? Any recent updates? Anyone making progress?
Eric Wieser (Feb 07 2021 at 18:43):
I have little interest in continuing with this
Mario Carneiro (Feb 07 2021 at 18:46):
it's marked as please-adopt, that should be fine
Bryan Gin-ge Chen (Feb 07 2021 at 18:50):
For anyone who wants to pick this up and stumbles on this thread later, there was some discussion about non-commutative ideals in this thread.
Last updated: May 18 2021 at 22:15 UTC