Skip to content

bipart: error when trying to multiply bipartitions of diff. degree#1185

Merged
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:error-prod-bipart-diff-deg
May 17, 2026
Merged

bipart: error when trying to multiply bipartitions of diff. degree#1185
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:error-prod-bipart-diff-deg

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Collaborator

Fixes #1183

@james-d-mitchell james-d-mitchell added bug-fix A label for PRs that fix a bug. backport-to-stable labels May 17, 2026
@reiniscirpons reiniscirpons self-requested a review May 17, 2026 12:34
Copy link
Copy Markdown
Collaborator

@reiniscirpons reiniscirpons left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for the fix!

@james-d-mitchell james-d-mitchell merged commit 3283a86 into semigroups:main May 17, 2026
38 checks passed
@james-d-mitchell james-d-mitchell deleted the error-prod-bipart-diff-deg branch May 17, 2026 12:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug-fix A label for PRs that fix a bug.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Multiplying bipartitons of distinct degree causes wrong result

2 participants