algebra.ring.Semiring conflicts with Wikipedia Semiring definition in that it lacks a `one` element
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 5.5k
- Forks
- 1.2k
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 5
Description
The term Semiring is overloaded in Mathematics. . Cats uses an older terminology, where what Cats calls rig many people call Semiring.
NLab: "nowadays the primary definition of semiring used is the fourth [ie wikipedia] definition"
If there was ever a rebuild of Cats, I argue it should align with Wikipedia and nLab terminology. I also personally prefer this formulation which makes Semiring more powerful since it gives access to the one element.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading algebra-core/src/main/scala/algebra/ring/Rig.scala and the linked Cats and Wikipedia/NLab definitions to understand the terminology conflict. The issue does not specify a concrete implementation or acceptance criteria; a completed effort would need an agreed terminology change and scope for a Cats rebuild.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100