On Fri, 23 Jan 2026 19:50:49 GMT, Joe Darcy <[email protected]> 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
