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. 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
