pishleback / pishleback/Algebraeon
groupoids
Open
Nobody has claimed this yet.
enhancement
- Dominant language
- Rust
- Stars
- 82
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
- rank: number of neutral elements of the groupoid (if finite)
- groupoid cardinality: https://mathoverflow.net/a/1147
Examples:
- Brandt groupoid (Section 19.4 https://jvoight.github.io/quat-book.pdf)
- The groupoid of finite sets and bijections between them
- The 15-puzzle groupoid
- Mathieu groupoid
Contributor guide
No contributing guide indexed for this repository
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
The issue lists groupoid concepts and examples, including Brandt groupoids, finite sets and bijections, the 15-puzzle, and Mathieu groupoids. Start by reviewing the Rust project structure and existing computational-algebra abstractions, then clarify the intended scope and acceptance criteria. Done would require an agreed implementation plan before coding can begin.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100