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

Fri Jan 23 20:03:06 UTC 2026

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.

A possible extension here is to add "OrderedFoo" interface too, at least for a subset of the structures. Per wikipedia, "Finite fields cannot be ordered." so at least ordered fields would be skipped.

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

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