The set {0, 2, 4} equipped with the addition and multiplication modulo 6 is a proper sub-ring of the ring Z6 (the element 4 behaves as a unity element for the multiplication modulo 6 in {0, 2, 4}). View chapterExplore book MODULATED SPACE GROUPS A. Janner, in Group Theoretical Me...
Collaborator ben-clayton commented Mar 21, 2023 • edited @stegu - would the addition of a new modulo builtin, while preserving the existing modf alleviate your concerns? 👍 2 stegu commented Mar 21, 2023 via email The main issue in terms of what you can do with the language (wit...