Skip to content

Update rpo and rev_rpo - #485

Merged
james-d-mitchell merged 2 commits into
libsemigroups:mainfrom
Joseph-Edwards:consistent-rev-orders
Aug 28, 2026
Merged

Update rpo and rev_rpo#485
james-d-mitchell merged 2 commits into
libsemigroups:mainfrom
Joseph-Edwards:consistent-rev-orders

KnuthBendix: register missing types

fe32261
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ubuntu-latest Python 3.13
succeeded Aug 28, 2026 in 8m 52s