On Fri, 23 Jan 2026 19:50:49 GMT, Joe Darcy <[email protected]> wrote:
> First cut at adding modeling interfaces for the algebraic structures of > rings, groups, and fields. I wonder if a `MathField` should provide an accessor for a `MathAbelianGroup multiplicativeGroup()`; also what happens if a group etc. contains some but not all elements of a type? ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1957#issuecomment-3792388409
