Zulip Chat Archive
Stream: Is there code for X?
Topic: IsDivisionRIng
Edison Xie (Aug 30 2025 at 01:36):
We have IsField that correspond to Field, do we also have IsDivisionRIng? If not should we have this?
(this seemed pretty necessary when I'm putting an DivisionRing structure on some thing I've already showed is a ring)
Edison Xie (Aug 30 2025 at 15:18):
@Eric Wieser @Yaël Dillies @Junyan Xu
Yaël Dillies (Aug 30 2025 at 15:47):
Does docs#IsField assume commutativity?
Edison Xie (Aug 30 2025 at 15:48):
Last updated: Dec 20 2025 at 21:32 UTC