Summary
libsemigroups is a C++14 library containing implementations of several algorithms for computing finite, and finitely presented, semigroups and monoids. Namely: * the Froidure-Pin algorithm for computing finite semigroups; * the Todd-Coxeter algorithm for finitely presented semigroups and monoids; * the Knuth-Bendix algorithm for finitely presented semigroups and monoids; * the Schreier-Sims algorithm for permutation groups; * a preliminary implementation of the Konieczny and Lallement- McFadden algorithm for computing finite semigroups which act on sets; * an implementation of the Radoszewski-Rytter algorithm for testing equivalence of words in free bands; * an implementation of the algorithm for solving the word problem for small overlap monoids, and for computing normal forms in such monoids; * a version of Sims low index subgroup algorithm for computing one-sided congruences of a semigroup or monoid; * a version of Stephen's procedure for finitely presented semigroups and monoids (for a given word w this procedure is for determining words equivalent to w or that are left divisors of w).
Versions
v2.7.3-r1 :: 0/2 :: gentoo
- Modified
- License
- GPL-3+
- Keywords
- ~amd64 ~riscv ~x86
USE flags
cpu_flags_x86
- popcnt
- Enable popcnt instruction support ([abm] or [popcnt] in cpuinfo)
Depending packages
dev-gap / semigroups : GAP package for semigroups and monoids
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/libsemigroups: keyword 2.7.3-r1 for ~riscv
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/libsemigroups: backport gcc-15 build fix
Closes: https://bugs.gentoo.org/936564 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/libsemigroups: add 2.7.3, drop 2.7.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/libsemigroups: new package, add 2.7.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>