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

[Brian Goetz]

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 think we'll find that the return on modeling the algebraic structures directly is less than we might think, because real-world numeric types like Integer and Float aren't actually rings or fields.   (Haskell has these classes, but it keeps their operations separate from the mathematical operators; while `Num` declares `(+)` and `(*)`, `Monoid` declares `mzero` and `mappend`.  But the logical conclusion of this is that they are not all that useful to numerics at all, and I expect they will not carry their weight in the end.)

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/1957#issuecomment-3792264998