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

[Kevin Bourrillion]

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.

Oh: I said all that because it came up _twice_; the other was:

> so at least ordered fields would be skipped.

But the real numbers are an ordered field and a type like `Double` (setting aside the special values) IS modeling the real numbers. The fact that it's an imperfect *representation* of the type it models, that suffers from saturation/overflow, imho does not change its nature. imho we should not think of `Double` as having anything to do with algebraic "finite fields" even though as a representation it is hopelessly finite.

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

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