Skip to content

Refactor monoid.py to remove class structure#661

Merged
eb8680 merged 15 commits into
staging-weightedfrom
jf-weighted-class-refactoring
May 12, 2026
Merged

Refactor monoid.py to remove class structure#661
eb8680 merged 15 commits into
staging-weightedfrom
jf-weighted-class-refactoring

Conversation

@jfeser
Copy link
Copy Markdown
Contributor

@jfeser jfeser commented May 12, 2026

No description provided.

jfeser added 13 commits May 6, 2026 16:21
* add monoid module

* clean up

* fix doctest

* fix

* wip

* remove incorrect rule

* add disjoint set tests and fix bug

* lint

* drop jax monoid defs

* drop incorrect comment

* add assert

* reduce nondeterminism and add assertions

* fix inconsistent stream numbering and missing constant factors
@jfeser jfeser changed the base branch from master to staging-weighted May 12, 2026 17:31
@jfeser jfeser requested a review from eb8680 May 12, 2026 20:21
@eb8680 eb8680 merged commit 557777d into staging-weighted May 12, 2026
29 of 30 checks passed
@eb8680 eb8680 deleted the jf-weighted-class-refactoring branch May 12, 2026 20:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants