Zulip Chat Archive

Stream: triage

Topic: PR #3635: WIP: Remove the requirement from `ideal` that t...


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

view this post on Zulip Eric Wieser (Feb 07 2021 at 18:43):

I have little interest in continuing with this

view this post on Zulip Mario Carneiro (Feb 07 2021 at 18:46):

it's marked as please-adopt, that should be fine

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