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.

I had initially intended to use "AlgebraicFoo" as the naming convention for the 
various Foo algebraic structures. However, "algebraic group" has a distinct 
meaning so "AlgebraicGroup" would be a confusing name to someone with 
familiarity with abstract algebra terms.

As a placeholding, I went with "MathFoo" instead, but I'm open to a different 
naming convention. This was intended to evoke with Wikipedia-style 
"Ring_(mathematics)" name.

I avoid the simple terms like "Group", "Ring", and "Field", since types with 
those names included in java.lang would conflict with existing types with those 
names.

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

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

Reply via email to