Skip to content

order: add rev_* orders - #473

Open
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:rev-orders
Open

order: add rev_* orders#473
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:rev-orders

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

This PR adds the "rev_" versions of the reduction orders. This PR shouldn't be merged until the other order PRs are first.

@james-d-mitchell james-d-mitchell added the libsemigroups-feature-not-yet-supported Label for issues and PRs related to features of libsemigroups not yet supported here label Aug 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

libsemigroups-feature-not-yet-supported Label for issues and PRs related to features of libsemigroups not yet supported here

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants