Zulip Chat Archive

Stream: triage

Topic: issue #3975: remove the coercion from zmod n to other rings


view this post on Zulip Random Issue Bot (Mar 04 2021 at 14:21):

Today I chose issue 3975 for discussion!

remove the coercion from zmod n to other rings
Created by @Johan Commelin (@jcommelin) on 2020-08-29
Labels: needs-refactor

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

view this post on Zulip Random Issue Bot (Apr 18 2021 at 14:22):

Today I chose issue 3975 for discussion!

remove the coercion from zmod n to other rings
Created by @Johan Commelin (@jcommelin) on 2020-08-29
Labels: needs-refactor

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


Last updated: May 09 2021 at 16:20 UTC