RFR: 8376223: Add modeling interfaces for algebraic structures: groups, rings, and fields

[Chen Liang]

On Fri, 23 Jan 2026 19:50:49 GMT, Joe Darcy <darcy at openjdk.org> 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