On Fri, 23 Jan 2026 20:54:28 GMT, Chen Liang <[email protected]> wrote:
> 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? As a minor API note, the design of the group interface was assuming group would be used in the context of rings and fields. For that reason, the method on group is named "zero" rather than "identity". So while I acknowledge the request here is mathematically valid, I think it is at a finer level of details and refinement than is currently being discussed in this PR. Thanks. ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1957#issuecomment-3792845857
